diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-08 17:23:31 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-16 18:33:34 +0200 |
commit | 06d846bd517cb0e47ab7b55cdbc912939524ca26 (patch) | |
tree | 3c6bd22e229b58d8a5ea2235837c9070e0f385a5 /backend/CleanupLabelsproof.v | |
parent | 5cee733c33bd53c0f58e9896f238ab862e224e46 (diff) | |
download | compcert-06d846bd517cb0e47ab7b55cdbc912939524ca26.tar.gz compcert-06d846bd517cb0e47ab7b55cdbc912939524ca26.zip |
Reworked range entries.
The fist changes changes the offset for range entries to used labels
instead of integer constants, leaving the computation to the
assembler.
The second part of the change the address changes the way ranges
entries of scopes are printed. They need to be relative to the start
address of the code in the section they are included.
Bug 26234
Diffstat (limited to 'backend/CleanupLabelsproof.v')
0 files changed, 0 insertions, 0 deletions