sel_lts(int a,int b,int x,int y)1 _Bool sel_lts(int a, int b, int x, int y)
2 {
3 return ((a < b) ? x : y) == ((a >= b) ? y : x);
4 }
sel_les(int a,int b,int x,int y)5 _Bool sel_les(int a, int b, int x, int y)
6 {
7 return ((a <= b) ? x : y) == ((a > b) ? y : x);
8 }
9
sel_ltu(unsigned int a,unsigned int b,int x,int y)10 _Bool sel_ltu(unsigned int a, unsigned int b, int x, int y)
11 {
12 return ((a < b) ? x : y) == ((a >= b) ? y : x);
13 }
sel_leu(unsigned int a,unsigned int b,int x,int y)14 _Bool sel_leu(unsigned int a, unsigned int b, int x, int y)
15 {
16 return ((a <= b) ? x : y) == ((a > b) ? y : x);
17 }
18
19 /*
20 * check-name: canonical-cmps-sel
21 * check-command: test-linearize -Wno-decl $file
22 *
23 * check-output-ignore
24 * check-output-returns: 1
25 */
26