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 /x86 | |
| 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 'x86')
0 files changed, 0 insertions, 0 deletions