diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-10-14 10:50:34 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-10-14 10:50:34 +0200 |
| commit | c59a26be1b4ae5c0ecf963d0ff2436dc73e72123 (patch) | |
| tree | 58060b4a1f54f2879aa967d1319783c9971bf3bd /cparser | |
| parent | 263a8d93cfabcec746c06d4abdcd06a0e8ec6d14 (diff) | |
| download | compcert-kvx-c59a26be1b4ae5c0ecf963d0ff2436dc73e72123.tar.gz compcert-kvx-c59a26be1b4ae5c0ecf963d0ff2436dc73e72123.zip | |
Explicitly naming SP_split_args for easier grepping
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/StructPassing.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/StructPassing.ml b/cparser/StructPassing.ml index 5c6454f0..060a4848 100644 --- a/cparser/StructPassing.ml +++ b/cparser/StructPassing.ml @@ -68,7 +68,7 @@ let classify_param env ty = match !struct_passing_style with | SP_ref_callee -> Param_unchanged | SP_ref_caller -> Param_ref_caller - | _ -> + | SP_split_args -> match sizeof env ty, alignof env ty with | Some sz, Some al -> Param_flattened ((sz + 3) / 4, sz, al) |