aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmpe-or0.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-03-12 01:06:54 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-03-12 01:09:54 +0100
commitc089cd2dc771e5bf175a390966e454df3334955d (patch)
tree826abdf09752fd0c2bcbb7f9b2c2b26010e8656d /validation/optim/cmpe-or0.c
parentd549d4d55eecb394e3f69314287f91e85b19e3e3 (diff)
parenteb4cdd21b7d0cedbbeff7f70e24473706ccce5a6 (diff)
downloadsparse-dev-c089cd2dc771e5bf175a390966e454df3334955d.tar.gz
Merge branches 'fix-ssa' and 'cmp-and-or' into next
* fix SSA conversion of mismatched memops * simplify CMP(AND(x,M), C) and CMP(OR(x,M), C)
Diffstat (limited to 'validation/optim/cmpe-or0.c')
-rw-r--r--validation/optim/cmpe-or0.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/validation/optim/cmpe-or0.c b/validation/optim/cmpe-or0.c
new file mode 100644
index 00000000..2e89d611
--- /dev/null
+++ b/validation/optim/cmpe-or0.c
@@ -0,0 +1,10 @@
+int cmp_eq(int a) { return ((a | 1) != 0) + 0; }
+int cmp_ne(int a) { return ((a | 1) == 0) + 1; }
+
+/*
+ * check-name: cmpe-or0
+ * check-command: test-linearize -Wno-decl $file
+ *
+ * check-output-ignore
+ * check-output-returns: 1
+ */