aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/simplify-same-add-subl.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-01 22:52:36 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-10-20 22:34:43 +0200
commit9c808cbc7c57fe380c0b511f04c18630fea0b24d (patch)
tree17508aabeaad883acc7d4b1064c7163811902960 /validation/optim/simplify-same-add-subl.c
parent5192dc1ff23dae8644480a89ada8ff420ebb674a (diff)
downloadsparse-dev-9c808cbc7c57fe380c0b511f04c18630fea0b24d.tar.gz
add testcases about OP_ADD & OP_SUB simplifications
Add some testcases about basic simplifications of additions and subtractions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/simplify-same-add-subl.c')
-rw-r--r--validation/optim/simplify-same-add-subl.c16
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/optim/simplify-same-add-subl.c b/validation/optim/simplify-same-add-subl.c
new file mode 100644
index 00000000..1f17ef0b
--- /dev/null
+++ b/validation/optim/simplify-same-add-subl.c
@@ -0,0 +1,16 @@
+int add_subl(int x, int y) { return (x + y) - x; }
+
+/*
+ * check-name: simplify-same-add-subl
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-start
+add_subl:
+.L0:
+ <entry-point>
+ ret.32 %arg2
+
+
+ * check-output-end
+ */