xref: /illumos-gate/usr/src/tools/smatch/src/validation/optim/setcc-setcc.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508)

blt(int a,int b)1 static _Bool blt(int a, int b)	{ return  (a <  b); }
bnge(int a,int b)2 static _Bool bnge(int a, int b)	{ return !(a >= b); }
bgt(int a,int b)3 static _Bool bgt(int a, int b)	{ return  (a >  b); }
bnle(int a,int b)4 static _Bool bnle(int a, int b)	{ return !(a <= b); }
ble(int a,int b)5 static _Bool ble(int a, int b)	{ return  (a <= b); }
bngt(int a,int b)6 static _Bool bngt(int a, int b)	{ return !(a >  b); }
bge(int a,int b)7 static _Bool bge(int a, int b)	{ return  (a >= b); }
bnlt(int a,int 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