db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / canonical-cmps-sel.c
blobbba5e5c894f8dfcf87185124802039dccb5483f4
1 _Bool sel_lts(int a, int b, int x, int y)
3 return ((a < b) ? x : y) == ((a >= b) ? y : x);
5 _Bool sel_les(int a, int b, int x, int y)
7 return ((a <= b) ? x : y) == ((a > b) ? y : x);
10 _Bool sel_ltu(unsigned int a, unsigned int b, int x, int y)
12 return ((a < b) ? x : y) == ((a >= b) ? y : x);
14 _Bool sel_leu(unsigned int a, unsigned int b, int x, int y)
16 return ((a <= b) ? x : y) == ((a > b) ? y : x);
20 * check-name: canonical-cmps-sel
21 * check-command: test-linearize -Wno-decl $file
23 * check-output-ignore
24 * check-output-returns: 1