diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-16 12:20:54 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-16 12:20:54 +0200 |
commit | 0471c08b0aabf48f80a3b20939cff5a864149d88 (patch) | |
tree | bf1b7c17a70621d0890c7c31e5f4f3b8d1317b05 | |
parent | b0d9d7bea68ee9443d2cd6d887e433575c2aed10 (diff) | |
download | compcert-kvx-0471c08b0aabf48f80a3b20939cff5a864149d88.tar.gz compcert-kvx-0471c08b0aabf48f80a3b20939cff5a864149d88.zip |
Comment update
-rw-r--r-- | backend/Duplicateaux.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index e5b36710..08d0e1f2 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -15,6 +15,7 @@ (* Oracle for Duplicate pass. * - Add static prediction information to Icond nodes * - Performs tail duplication on interesting traces to form superblocks + * - Unrolls a single iteration of innermost loops * - (TODO: perform partial loop unrolling inside innermost loops) *) |