aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmps-minmax.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/cmps-minmax.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/cmps-minmax.c')
-rw-r--r--validation/optim/cmps-minmax.c8
1 files changed, 4 insertions, 4 deletions
diff --git a/validation/optim/cmps-minmax.c b/validation/optim/cmps-minmax.c
index 5802cdbc..0b1a0a09 100644
--- a/validation/optim/cmps-minmax.c
+++ b/validation/optim/cmps-minmax.c
@@ -1,11 +1,11 @@
#define SMAX __INT_MAX__
#define SMIN (-__INT_MAX__-1)
-int lt_smin(int a) { return (a < SMIN) == 0; }
-int le_smax(int a) { return (a <= SMAX) == 1; }
+int lt_smin(int a) { return (a < SMIN) + 1; }
+int le_smax(int a) { return (a <= SMAX) + 0; }
-int ge_smin(int a) { return (a >= SMIN) == 1; }
-int gt_smax(int a) { return (a > SMAX) == 0; }
+int ge_smin(int a) { return (a >= SMIN) + 0; }
+int gt_smax(int a) { return (a > SMAX) + 1; }
/*
* check-name: cmps-minmax