diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-12-30 12:23:17 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-12-30 12:23:17 +0000 |
commit | 865e09957e9af06e2e4626ce87d02a4de46cbdf7 (patch) | |
tree | 6f51ad2c2eda339265140fc37e9859e89b4b0426 /src/SoftwarePipelining/SPBasic.ml | |
parent | 051b2d07e66a89281fde102e850a4fc386dabdae (diff) | |
download | vericert-kvx-865e09957e9af06e2e4626ce87d02a4de46cbdf7.tar.gz vericert-kvx-865e09957e9af06e2e4626ce87d02a4de46cbdf7.zip |
Invert logic on the variant function
Diffstat (limited to 'src/SoftwarePipelining/SPBasic.ml')
-rw-r--r-- | src/SoftwarePipelining/SPBasic.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/SoftwarePipelining/SPBasic.ml b/src/SoftwarePipelining/SPBasic.ml index dd2b5c1..df7342f 100644 --- a/src/SoftwarePipelining/SPBasic.ml +++ b/src/SoftwarePipelining/SPBasic.ml @@ -217,7 +217,7 @@ let is_pipelinable loop = (* true if loop is innermost and without control *) begin match args with | [] -> false - | r :: [] -> not (is_variant r loop) (* used to be not *) + | r :: [] -> is_variant r loop (* used to be not *) | r1 :: r2 :: [] -> begin match is_variant r1 loop, is_variant r2 loop with @@ -530,7 +530,7 @@ let get_bound node loop = begin match args with | [] -> failwith "get_bound: condition sans variables" - | r :: [] -> if is_variant r loop then failwith "Pas de borne dans la boucle" else r + | r :: [] -> if is_variant r loop then failwith "Pas de borne dans la boucle" else r (* Modified false to true condition. *) | r1 :: r2 :: [] -> begin match is_variant r1 loop, is_variant r2 loop with |