diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-12-16 16:55:40 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-12-16 16:55:40 +0100 |
commit | aed1bf936b69464f99a92133a43d51664295d780 (patch) | |
tree | c3e2f11396f4a14a075586ed73b49be889da6983 /backend/DuplicateOpcodeHeuristic.mli | |
parent | 26775340b173fd631e850f0a553ddab25c934fbc (diff) | |
download | compcert-kvx-aed1bf936b69464f99a92133a43d51664295d780.tar.gz compcert-kvx-aed1bf936b69464f99a92133a43d51664295d780.zip |
Opcode heuristic done for K1c
Diffstat (limited to 'backend/DuplicateOpcodeHeuristic.mli')
-rw-r--r-- | backend/DuplicateOpcodeHeuristic.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backend/DuplicateOpcodeHeuristic.mli b/backend/DuplicateOpcodeHeuristic.mli index a4cc4848..b4c9f1ef 100644 --- a/backend/DuplicateOpcodeHeuristic.mli +++ b/backend/DuplicateOpcodeHeuristic.mli @@ -3,6 +3,8 @@ * when selecting a trace. *) +exception HeuristicSucceeded + (* The bool reference should be updated to [true] if the condition is supposed * to hold, [false] if it is supposed to not hold * The function should raise HeuristicSucceeded if it succeeded to predict a branch, |