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 /backend/SelectDiv.vp | |
parent | dccd211b1be1fd80f3804b0586286566c874d523 (diff) | |
download | compcert-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.tar.gz compcert-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 'backend/SelectDiv.vp')
0 files changed, 0 insertions, 0 deletions