diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 11:06:24 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 11:06:24 +0200 |
| commit | 0ffd562ae1941e37471ac0c2b8f93bed1de26441 (patch) | |
| tree | 2ac8382fa3a37568f32d27dbc3291c8cd97f13e2 /ia32 | |
| parent | f0a5038b4e4220300637d3e9e918d9ec31623108 (diff) | |
| download | compcert-0ffd562ae1941e37471ac0c2b8f93bed1de26441.tar.gz compcert-0ffd562ae1941e37471ac0c2b8f93bed1de26441.zip | |
Filled in the rest of the funciton needed for thte debug info under arm.
The name_of_section function no returns the correct name for the
debug sections, the prologue and epilogue directives are added and
the labels for the live ranges are introduced in the Asmexpand pass.
Diffstat (limited to 'ia32')
| -rw-r--r-- | ia32/TargetPrinter.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index 19b4b10a..371be558 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -104,6 +104,7 @@ module Cygwin_System : SYSTEM = s (if ex then "xr" else if wr then "d" else "dr") | Section_debug_info _ | Section_debug_loc + | Section_debug_line _ | Section_debug_abbrev -> "" (* Dummy value *) let stack_alignment = 8 (* minimum is 4, 8 is better for perfs *) @@ -153,7 +154,8 @@ module ELF_System : SYSTEM = sprintf ".section \"%s\",\"a%s%s\",@progbits" s (if wr then "w" else "") (if ex then "x" else "") | Section_debug_info _ - | Section_debug_loc + | Section_debug_loc + | Section_debug_line _ | Section_debug_abbrev -> "" (* Dummy value *) let stack_alignment = 8 (* minimum is 4, 8 is better for perfs *) @@ -207,6 +209,7 @@ module MacOS_System : SYSTEM = (if ex then "regular, pure_instructions" else "regular") | Section_debug_info _ | Section_debug_loc + | Section_debug_line _ | Section_debug_abbrev -> "" (* Dummy value *) let stack_alignment = 16 (* mandatory *) |