xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/setcc-setcc.c (revision 1b58875ad7966cf2c85ee8e92f3da04f0a3b2f7a)
1 static _Bool blt(int a, int b)	{ return  (a <  b); }
2 static _Bool bnge(int a, int b)	{ return !(a >= b); }
3 static _Bool bgt(int a, int b)	{ return  (a >  b); }
4 static _Bool bnle(int a, int b)	{ return !(a <= b); }
5 static _Bool ble(int a, int b)	{ return  (a <= b); }
6 static _Bool bngt(int a, int b)	{ return !(a >  b); }
7 static _Bool bge(int a, int b)	{ return  (a >= b); }
8 static _Bool bnlt(int a, int b)	{ return !(a <  b); }
9 
10 /*
11  * check-name: optim/setcc-setcc
12  * check-command: test-linearize $file
13  * check-output-ignore
14  *
15  * check-output-excludes: set..\\.32
16  * check-output-excludes: setne\\.1
17  * check-output-excludes: seteq\\.1
18  * check-output-contains: set[gt][te]\\.1
19  */
20