aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/binops-same-args.c
blob: 9285655d315bd023ca49a20ee680c50a0be2c97c (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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
typedef unsigned int u32;

int ssub(int a) { return a - a; }
u32 usub(u32 a) { return a - a; }

int sdiv(int a) { return a / a; }
u32 udiv(u32 a) { return a / a; }
int smod(int a) { return a % a; }
u32 umod(u32 a) { return a % a; }

int seq(int a) { return a == a; }
int sne(int a) { return a != a; }
int slt(int a) { return a < a; }
int sgt(int a) { return a > a; }
int sle(int a) { return a <= a; }
int sge(int a) { return a >= a; }

u32 ueq(u32 a) { return a == a; }
u32 une(u32 a) { return a != a; }
u32 ult(u32 a) { return a < a; }
u32 ugt(u32 a) { return a > a; }
u32 ule(u32 a) { return a <= a; }
u32 uge(u32 a) { return a >= a; }

u32 xor(u32 a) { return a ^ a; }

u32 ior(u32 a) { return a | a; }
u32 and(u32 a) { return a & a; }

/*
 * check-name: double-unop
 * check-command: test-linearize -Wno-decl $file
 * check-output-ignore
 *
 * check-output-excludes: sub\\.
 * check-output-contains: divs\\.
 * check-output-contains: divu\\.
 * check-output-contains: mods\\.
 * check-output-contains: modu\\.
 * check-output-excludes: seteq\\.
 * check-output-excludes: setne\\.
 * check-output-excludes: set[gl]t\\.
 * check-output-excludes: set[gl]e\\.
 * check-output-excludes: set[ab]\\.
 * check-output-excludes: set[ab]e\\.
 * check-output-excludes: xor\\.
 * check-output-excludes: or\\.
 * check-output-excludes: and\\.
 */