diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-12-08 15:47:00 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-12-08 15:47:00 +0100 |
| commit | 9a1d53cd56e21dfca27818d715d527e867f2d68d (patch) | |
| tree | eb4fd7e2d0a09d33a03801aa6439f87f259859a4 /backend/LICMaux.ml | |
| parent | 6eeb88eb448485b0649d58628c5a890c927003ec (diff) | |
| download | compcert-kvx-9a1d53cd56e21dfca27818d715d527e867f2d68d.tar.gz compcert-kvx-9a1d53cd56e21dfca27818d715d527e867f2d68d.zip | |
The last fix for get_loop_info was giving false positives. Fixing that.
Diffstat (limited to 'backend/LICMaux.ml')
0 files changed, 0 insertions, 0 deletions