aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cse-dual-compare.c
blob: b43cf78992f00d42cebb7935bee0d612a440a9c1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
static int eqeq(int a, int b) { return (a == b) == (b == a); }
static int nene(int a, int b) { return (a != b) == (b != a); }

static int ltgt(int a, int b) { return (a <  b) == (b >  a); }
static int lege(int a, int b) { return (a <= b) == (b >= a); }
static int gele(int a, int b) { return (a >= b) == (b <= a); }
static int gtlt(int a, int b) { return (a >  b) == (b <  a); }

static int eneqne(int a, int b) { return (a == b) == !(b != a); }
static int enneeq(int a, int b) { return (a != b) == !(b == a); }

static int enltle(int a, int b) { return (a <  b) == !(b <= a); }
static int enlelt(int a, int b) { return (a <= b) == !(b <  a); }
static int engegt(int a, int b) { return (a >= b) == !(b >  a); }
static int engtge(int a, int b) { return (a >  b) == !(b >= a); }

static int neeqne(int a, int b) { return (a == b) != (b != a); }
static int neneeq(int a, int b) { return (a != b) != (b == a); }

static int neltle(int a, int b) { return (a <  b) != (b <= a); }
static int nelelt(int a, int b) { return (a <= b) != (b <  a); }
static int negegt(int a, int b) { return (a >= b) != (b >  a); }
static int negtge(int a, int b) { return (a >  b) != (b >= a); }

/*
 * check-name: cse-dual-compare
 * check-command: test-linearize $file
 * check-output-ignore
 * check-known-to-fail
 *
 * check-output-excludes: set[gl][et]\\.
 * check-output-excludes: seteq\\.
 * check-output-excludes: setne\\.
 */