diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-24 20:11:48 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-24 20:11:48 +0200 |
| commit | fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0 (patch) | |
| tree | 446c0bcebad15584f77cf139f81e816403c3bf88 /debug/DwarfPrinter.mli | |
| parent | dccd211b1be1fd80f3804b0586286566c874d523 (diff) | |
| download | compcert-kvx-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.tar.gz compcert-kvx-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.zip | |
Added placing labels for live ranges etc.
In order to avoid the usage of too many labels we replace the
debug statements during the Asmexpand phase.
Diffstat (limited to 'debug/DwarfPrinter.mli')
0 files changed, 0 insertions, 0 deletions