aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2016-12-18 18:13:04 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-20 22:35:43 +0200
commit623d958c6953631f46612b50c4e8e8319d597a9b (patch)
treea6a1e39da8705a3b2ec61c08094ed5f757a45da4 /validation/optim
parent26a8e420cd5b5e45e0d482fc5455e8d4087f7282 (diff)
downloadsparse-dev-623d958c6953631f46612b50c4e8e8319d597a9b.tar.gz
add: simplify (-x + y) --> (y - x)
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
-rw-r--r--validation/optim/simplify-neg-add.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/optim/simplify-neg-add.c b/validation/optim/simplify-neg-add.c
index 66a820f2..6223b4f9 100644
--- a/validation/optim/simplify-neg-add.c
+++ b/validation/optim/simplify-neg-add.c
@@ -3,7 +3,6 @@ int neg_add(int x, int y) { return -x + y; }
/*
* check-name: simplify-neg-add
* check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
*
* check-output-ignore
* check-output-contains: sub\\..*%arg2, %arg1