diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-27 12:31:07 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-10-29 10:03:30 +0200 |
| commit | a1dabb4792446538cce24eb87bcd3ccb3c09f18b (patch) | |
| tree | b74523469addfab9db6afc5ced3564ce267da4d7 /driver/CommonOptions.ml | |
| parent | dfc6b66ec21e148d29b2a6e8b5d77873a0a47511 (diff) | |
| download | compcert-a1dabb4792446538cce24eb87bcd3ccb3c09f18b.tar.gz compcert-a1dabb4792446538cce24eb87bcd3ccb3c09f18b.zip | |
Handle unstructured 'switch' statements such as Duff's device
- New elaboration pass: SwitchNorm
- recognizes structured 'switch' statements and puts them in a
normalized form;
- if selected, transforms unstructured 'switch' statements into a
structured switch with goto actions + the original switch body
with appropriate labels and gotos.
- C2C treatment of 'switch' statements is simplified accordingly.
- New language support option `-funstructured-switch`.
- Some tests were added (test/regression/switch3.c).
Diffstat (limited to 'driver/CommonOptions.ml')
| -rw-r--r-- | driver/CommonOptions.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml index 2a3bd740..773c5c7d 100644 --- a/driver/CommonOptions.ml +++ b/driver/CommonOptions.ml @@ -35,7 +35,7 @@ let version_options tool_name = let all_language_support_options = [ option_flongdouble; option_fstruct_passing; option_fvararg_calls; option_funprototyped; - option_fpacked_structs; option_finline_asm + option_fpacked_structs; option_finline_asm; option_funstructured_switch ] let f_opt name ref = @@ -65,6 +65,7 @@ let language_support_options = @ f_opt "struct-passing" option_fstruct_passing @ f_opt "vararg-calls" option_fvararg_calls @ f_opt "unprototyped" option_funprototyped + @ f_opt "unstructured-switch" option_funstructured_switch @ f_opt "packed-structs" option_fpacked_structs @ f_opt "inline-asm" option_finline_asm @@ -78,6 +79,7 @@ let language_support_help = -fstruct-return Like -fstruct-passing (deprecated) -fvararg-calls Support calls to variable-argument functions [on] -funprototyped Support calls to old-style functions without prototypes [on] + -funstructured-switch Support non-structured 'switch' statements [off] -fpacked-structs Emulate packed structs [off] -finline-asm Support inline 'asm' statements [off] -fall Activate all language support options above |