aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-cmps.c
blob: f42664b21e04f1898595f69918dc72bc35b762a1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
_Bool lt_p(int a) { return (a >  0) == (a >=  1); }
_Bool ge_p(int a) { return (a <= 0) == (a <   1); }

_Bool lt_m(int a) { return (a <  0) == (a <= -1); }
_Bool ge_m(int a) { return (a >= 0) == (a >  -1); }

_Bool lt_x(int a) { return (a <= 1234) == (a < 1235); }
_Bool ge_x(int a) { return (a >= 1234) == (a > 1233); }

/*
 * check-name: canonical-cmps
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-returns: 1
 */