diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-12-04 12:00:26 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-12-04 12:00:26 +0100 |
commit | 718a7da96aa18c278cde43fbc77a50135cd71e94 (patch) | |
tree | a74c97be2d6a65f185b4042576e7379fb1da2a63 /arm | |
parent | 2bbb2af733b98913a66a196cd985fef61b4eb594 (diff) | |
download | compcert-kvx-718a7da96aa18c278cde43fbc77a50135cd71e94.tar.gz compcert-kvx-718a7da96aa18c278cde43fbc77a50135cd71e94.zip |
Less aggressive tail duplication
In some cases of two imbricated loops, we would tail-duplicate too much,
because of the input trace traversing both loop headers.
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions