aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-cmp-zero.c
blob: e01a00e637b6bd67575365fd57c581deed7368ec (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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
int f00(int x) { return x >= 0; }
int f01(int x) { return x > -1; }
int f02(int x) { return x <  1; }
int f03(int x) { return x <= 0; }

int f10(int x) { return x <  16; }
int f11(int x) { return x <= 15; }

int f20(int x) { return x >  -9; }
int f21(int x) { return x >= -8; }

/*
 * check-name: canonical-cmp-zero
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-start
f00:
.L0:
	<entry-point>
	setge.32    %r2 <- %arg1, $0
	ret.32      %r2


f01:
.L2:
	<entry-point>
	setge.32    %r5 <- %arg1, $0
	ret.32      %r5


f02:
.L4:
	<entry-point>
	setle.32    %r8 <- %arg1, $0
	ret.32      %r8


f03:
.L6:
	<entry-point>
	setle.32    %r11 <- %arg1, $0
	ret.32      %r11


f10:
.L8:
	<entry-point>
	setle.32    %r14 <- %arg1, $15
	ret.32      %r14


f11:
.L10:
	<entry-point>
	setle.32    %r17 <- %arg1, $15
	ret.32      %r17


f20:
.L12:
	<entry-point>
	setge.32    %r20 <- %arg1, $0xfffffff8
	ret.32      %r20


f21:
.L14:
	<entry-point>
	setge.32    %r23 <- %arg1, $0xfffffff8
	ret.32      %r23


 * check-output-end
 */