From 865e09957e9af06e2e4626ce87d02a4de46cbdf7 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 30 Dec 2020 12:23:17 +0000 Subject: Invert logic on the variant function --- src/SoftwarePipelining/SPBasic.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/SoftwarePipelining/SPBasic.ml') 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 -- cgit