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 /backend | |
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 'backend')
0 files changed, 0 insertions, 0 deletions