aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/canonical-cmp.c
blob: 0fc531e9acd4f4e31dc2ec3b35ec3c07da2ca210 (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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
typedef	  signed int	sint;
typedef	unsigned int	uint;

sint seq(sint p, sint a) { return (123 == p) ? a : 0; }
sint sne(sint p, sint a) { return (123 != p) ? a : 0; }

sint slt(sint p, sint a) { return (123 >  p) ? a : 0; }
sint sle(sint p, sint a) { return (123 >= p) ? a : 0; }
sint sge(sint p, sint a) { return (123 <= p) ? a : 0; }
sint sgt(sint p, sint a) { return (123 <  p) ? a : 0; }

uint ueq(uint p, uint a) { return (123 == p) ? a : 0; }
uint une(uint p, uint a) { return (123 != p) ? a : 0; }

uint ubt(uint p, uint a) { return (123 >  p) ? a : 0; }
uint ube(uint p, uint a) { return (123 >= p) ? a : 0; }
uint uae(uint p, uint a) { return (123 <= p) ? a : 0; }
uint uat(uint p, uint a) { return (123 <  p) ? a : 0; }

/*
 * check-name: canonical-cmp
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-excludes: \\$123,
 *
 * check-output-start
seq:
.L0:
	<entry-point>
	seteq.32    %r4 <- %arg1, $123
	select.32   %r5 <- %r4, %arg2, $0
	ret.32      %r5


sne:
.L2:
	<entry-point>
	setne.32    %r11 <- %arg1, $123
	select.32   %r12 <- %r11, %arg2, $0
	ret.32      %r12


slt:
.L4:
	<entry-point>
	setlt.32    %r18 <- %arg1, $123
	select.32   %r19 <- %r18, %arg2, $0
	ret.32      %r19


sle:
.L6:
	<entry-point>
	setle.32    %r25 <- %arg1, $123
	select.32   %r26 <- %r25, %arg2, $0
	ret.32      %r26


sge:
.L8:
	<entry-point>
	setge.32    %r32 <- %arg1, $123
	select.32   %r33 <- %r32, %arg2, $0
	ret.32      %r33


sgt:
.L10:
	<entry-point>
	setgt.32    %r39 <- %arg1, $123
	select.32   %r40 <- %r39, %arg2, $0
	ret.32      %r40


ueq:
.L12:
	<entry-point>
	seteq.32    %r45 <- %arg1, $123
	select.32   %r46 <- %r45, %arg2, $0
	ret.32      %r46


une:
.L14:
	<entry-point>
	setne.32    %r50 <- %arg1, $123
	select.32   %r51 <- %r50, %arg2, $0
	ret.32      %r51


ubt:
.L16:
	<entry-point>
	setb.32     %r55 <- %arg1, $123
	select.32   %r56 <- %r55, %arg2, $0
	ret.32      %r56


ube:
.L18:
	<entry-point>
	setbe.32    %r60 <- %arg1, $123
	select.32   %r61 <- %r60, %arg2, $0
	ret.32      %r61


uae:
.L20:
	<entry-point>
	setae.32    %r65 <- %arg1, $123
	select.32   %r66 <- %r65, %arg2, $0
	ret.32      %r66


uat:
.L22:
	<entry-point>
	seta.32     %r70 <- %arg1, $123
	select.32   %r71 <- %r70, %arg2, $0
	ret.32      %r71


 * check-output-end
 */