diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 13:12:20 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 16:29:38 +0100 |
| commit | 1099583341e3a218accf80391202a7e5390f54cc (patch) | |
| tree | ea108305f673f6d8d65fdf4693116260133ff67e /cparser/StructReturn.ml | |
| parent | 455b3384f85a23923001741d6b04deb88e997fd2 (diff) | |
| download | compcert-1099583341e3a218accf80391202a7e5390f54cc.tar.gz compcert-1099583341e3a218accf80391202a7e5390f54cc.zip | |
Move struct passing/return style to Machine.
Since the used configuration for passing and returning values
struct values is pretty much static it can be hardwired into the
machine settings.
Diffstat (limited to 'cparser/StructReturn.ml')
| -rw-r--r-- | cparser/StructReturn.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/cparser/StructReturn.ml b/cparser/StructReturn.ml index 11fa39ca..3de05e19 100644 --- a/cparser/StructReturn.ml +++ b/cparser/StructReturn.ml @@ -18,7 +18,6 @@ - passed by value as function parameters. *) open Machine -open Configuration open C open Cutil open Transform @@ -582,11 +581,11 @@ let program p = struct_passing_style := if !Clflags.option_interp then SP_ref_callee - else Configuration.struct_passing_style; + else !Machine.config.struct_passing_style; struct_return_style := if !Clflags.option_interp then SR_ref - else Configuration.struct_return_style; + else !Machine.config.struct_return_style; Transform.program ~decl:transf_decl ~fundef:transf_fundef |