From d0329076fd9e0228f9586e21406ab2a4babb5c4d Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Tue, 29 Sep 2020 00:45:30 +0200 Subject: sub: simplify (C - y) + D --> eval(C+D) - y Signed-off-by: Luc Van Oostenryck --- validation/optim/simplify-cte-sub-addl.c | 1 - 1 file changed, 1 deletion(-) (limited to 'validation/optim') diff --git a/validation/optim/simplify-cte-sub-addl.c b/validation/optim/simplify-cte-sub-addl.c index 49e51006..13702963 100644 --- a/validation/optim/simplify-cte-sub-addl.c +++ b/validation/optim/simplify-cte-sub-addl.c @@ -3,7 +3,6 @@ int cte_sub_addl(int x) { return (1 - x) + 1; } /* * check-name: simplify-cte-sub-addl * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-contains: sub\\..*\\$2, %arg1 -- cgit 1.2.3-korg