1 /* Test signed integer comparison ops
2 cr, cgr, cgfr, c, cg, cgf, cfi, cgfi
3
4 missing: cy, crl, cgrl, cgfrl
5 */
6
7 #include <stdio.h>
8 #include <stdint.h>
9 #include <inttypes.h>
10 #include <limits.h>
11 #include "opcodes.h"
12
13 #undef RIL_RI
14 #define RIL_RI(op1,r1,op2,i2) \
15 ".short 0x" #op1 #r1 #op2 "\n\t" \
16 ".long " #i2 "\n\t"
17
18
19 /* Perform a single signed comparison
20 Both operands in register */
21 #define SCOMP_REG_REG(insn, v1, v2) \
22 ({ \
23 int cc; \
24 int64_t op1 = v1; \
25 int64_t op2 = v2; \
26 asm volatile( #insn " %1, %2\n\t" \
27 "ipm %0\n\t" \
28 "srl %0,28\n\t" \
29 : "=d" (cc) \
30 : "d" (op1), "d" (op2) \
31 : "cc"); \
32 printf("%.6s (%"PRId64", %"PRId64") --> cc = %d\n", \
33 #insn, op1, op2, cc); \
34 })
35
36 /* Perform a single signed comparison
37 Left operand in register, right operand in memory */
38 #define SCOMP_REG_MEM(insn, v1, v2, op2_t) \
39 ({ \
40 int cc; \
41 int64_t op1 = v1; \
42 op2_t op2 = v2; \
43 asm volatile( #insn " %1, %2\n\t" \
44 "ipm %0\n\t" \
45 "srl %0,28\n\t" \
46 : "=d" (cc) \
47 : "d" (op1), "Q" (op2) \
48 : "cc"); \
49 printf("%.6s (%"PRId64", %"PRId64") --> cc = %d\n", \
50 #insn, op1, (int64_t)op2, cc); \
51 })
52
53 /* Perform a single signed comparison
54 Left operand in register, right operand is an immediate constant */
55 #define SCOMP_REG_IMM(insn, v1, v2) \
56 ({ \
57 int cc; \
58 register int64_t op1 asm("8") = v1; \
59 asm volatile( insn(8, v2) \
60 "ipm %0\n\t" \
61 "srl %0,28\n\t" \
62 : "=d" (cc) \
63 : "d" (op1) \
64 : "cc"); \
65 printf("%.6s (%"PRId64", %"PRId64") --> cc = %d\n", \
66 #insn, op1, (int64_t)v2, cc); \
67 })
68
69 /* Run a sequence of signed comparisons for a given insn */
70 #define run_scomp_reg_reg(insn) \
71 ({ \
72 SCOMP_REG_REG(insn, 0, 0); \
73 SCOMP_REG_REG(insn, 0, 1); \
74 SCOMP_REG_REG(insn, 0, -1); \
75 SCOMP_REG_REG(insn, 1, 0); \
76 SCOMP_REG_REG(insn, -1, 0); \
77 SCOMP_REG_REG(insn, -2, -1); \
78 SCOMP_REG_REG(insn, -2, -2); \
79 SCOMP_REG_REG(insn, -2, -3); \
80 SCOMP_REG_REG(insn, 2, 1); \
81 SCOMP_REG_REG(insn, 2, 2); \
82 SCOMP_REG_REG(insn, 2, 3); \
83 SCOMP_REG_REG(insn, -2, 1); \
84 SCOMP_REG_REG(insn, 2, -1); \
85 SCOMP_REG_REG(insn, INT8_MIN, INT8_MIN); \
86 SCOMP_REG_REG(insn, INT8_MIN, INT8_MAX); \
87 SCOMP_REG_REG(insn, INT8_MAX, INT8_MIN); \
88 SCOMP_REG_REG(insn, INT8_MAX, INT8_MAX); \
89 SCOMP_REG_REG(insn, INT16_MIN, INT16_MIN); \
90 SCOMP_REG_REG(insn, INT16_MIN, INT16_MAX); \
91 SCOMP_REG_REG(insn, INT16_MAX, INT16_MIN); \
92 SCOMP_REG_REG(insn, INT16_MAX, INT16_MAX); \
93 SCOMP_REG_REG(insn, INT32_MIN, INT32_MIN); \
94 SCOMP_REG_REG(insn, INT32_MIN, INT32_MAX); \
95 SCOMP_REG_REG(insn, INT32_MAX, INT32_MIN); \
96 SCOMP_REG_REG(insn, INT32_MAX, INT32_MAX); \
97 })
98
99 /* Run a sequence of signed comparisons for a given insn */
100 #define run_scomp_reg_mem(insn, op2_t) \
101 ({ \
102 SCOMP_REG_MEM(insn, 0, 0, op2_t); \
103 SCOMP_REG_MEM(insn, 0, 1, op2_t); \
104 SCOMP_REG_MEM(insn, 0, -1, op2_t); \
105 SCOMP_REG_MEM(insn, 1, 0, op2_t); \
106 SCOMP_REG_MEM(insn, -1, 0, op2_t); \
107 SCOMP_REG_MEM(insn, -2, -1, op2_t); \
108 SCOMP_REG_MEM(insn, -2, -2, op2_t); \
109 SCOMP_REG_MEM(insn, -2, -3, op2_t); \
110 SCOMP_REG_MEM(insn, 2, 1, op2_t); \
111 SCOMP_REG_MEM(insn, 2, 2, op2_t); \
112 SCOMP_REG_MEM(insn, 2, 3, op2_t); \
113 SCOMP_REG_MEM(insn, -2, 1, op2_t); \
114 SCOMP_REG_MEM(insn, 2, -1, op2_t); \
115 SCOMP_REG_MEM(insn, INT8_MIN, INT8_MIN, op2_t); \
116 SCOMP_REG_MEM(insn, INT8_MIN, INT8_MAX, op2_t); \
117 SCOMP_REG_MEM(insn, INT8_MAX, INT8_MIN, op2_t); \
118 SCOMP_REG_MEM(insn, INT8_MAX, INT8_MAX, op2_t); \
119 SCOMP_REG_MEM(insn, INT16_MIN, INT16_MIN, op2_t); \
120 SCOMP_REG_MEM(insn, INT16_MIN, INT16_MAX, op2_t); \
121 SCOMP_REG_MEM(insn, INT16_MAX, INT16_MIN, op2_t); \
122 SCOMP_REG_MEM(insn, INT16_MAX, INT16_MAX, op2_t); \
123 SCOMP_REG_MEM(insn, INT32_MIN, INT32_MIN, op2_t); \
124 SCOMP_REG_MEM(insn, INT32_MIN, INT32_MAX, op2_t); \
125 SCOMP_REG_MEM(insn, INT32_MAX, INT32_MIN, op2_t); \
126 SCOMP_REG_MEM(insn, INT32_MAX, INT32_MAX, op2_t); \
127 })
128
129 /* Run a sequence of signed comparisons for a given insn */
130 #define run_scomp_reg_imm(insn) \
131 ({ \
132 SCOMP_REG_IMM(insn, 0, 0); \
133 SCOMP_REG_IMM(insn, 0, 1); \
134 SCOMP_REG_IMM(insn, 0, -1); \
135 SCOMP_REG_IMM(insn, 1, 0); \
136 SCOMP_REG_IMM(insn, -1, 0); \
137 SCOMP_REG_IMM(insn, -2, -1); \
138 SCOMP_REG_IMM(insn, -2, -2); \
139 SCOMP_REG_IMM(insn, -2, -3); \
140 SCOMP_REG_IMM(insn, 2, 1); \
141 SCOMP_REG_IMM(insn, 2, 2); \
142 SCOMP_REG_IMM(insn, 2, 3); \
143 SCOMP_REG_IMM(insn, -2, 1); \
144 SCOMP_REG_IMM(insn, 2, -1); \
145 SCOMP_REG_IMM(insn, INT8_MIN, INT8_MIN); \
146 SCOMP_REG_IMM(insn, INT8_MIN, INT8_MAX); \
147 SCOMP_REG_IMM(insn, INT8_MAX, INT8_MIN); \
148 SCOMP_REG_IMM(insn, INT8_MAX, INT8_MAX); \
149 SCOMP_REG_IMM(insn, INT16_MIN, INT16_MIN); \
150 SCOMP_REG_IMM(insn, INT16_MIN, INT16_MAX); \
151 SCOMP_REG_IMM(insn, INT16_MAX, INT16_MIN); \
152 SCOMP_REG_IMM(insn, INT16_MAX, INT16_MAX); \
153 SCOMP_REG_IMM(insn, INT32_MIN, INT32_MIN); \
154 SCOMP_REG_IMM(insn, INT32_MIN, INT32_MAX); \
155 SCOMP_REG_IMM(insn, INT32_MAX, INT32_MIN); \
156 SCOMP_REG_IMM(insn, INT32_MAX, INT32_MAX); \
157 })
158
159 void
signed_comparison_reg_reg(void)160 signed_comparison_reg_reg(void)
161 {
162 run_scomp_reg_reg(cr);
163
164 run_scomp_reg_reg(cgr);
165 /* Special cases for cgr */
166 SCOMP_REG_REG(cgr, INT64_MIN, INT64_MIN);
167 SCOMP_REG_REG(cgr, INT64_MIN, INT64_MAX);
168 SCOMP_REG_REG(cgr, INT64_MAX, INT64_MIN);
169 SCOMP_REG_REG(cgr, INT64_MAX, INT64_MAX);
170
171 run_scomp_reg_reg(cgfr);
172 /* Special cases for cgfr */
173 SCOMP_REG_REG(cgfr, INT64_MIN, INT32_MIN);
174 SCOMP_REG_REG(cgfr, INT64_MIN, INT32_MAX);
175 SCOMP_REG_REG(cgfr, INT64_MAX, INT32_MIN);
176 SCOMP_REG_REG(cgfr, INT64_MAX, INT32_MAX);
177 }
178
179 void
signed_comparison_reg_mem(void)180 signed_comparison_reg_mem(void)
181 {
182 run_scomp_reg_mem(c, int32_t);
183
184 run_scomp_reg_mem(cg, int64_t);
185 /* Special cases for cg */
186 SCOMP_REG_MEM(cg, INT64_MIN, INT64_MIN, int64_t);
187 SCOMP_REG_MEM(cg, INT64_MIN, INT64_MAX, int64_t);
188 SCOMP_REG_MEM(cg, INT64_MAX, INT64_MIN, int64_t);
189 SCOMP_REG_MEM(cg, INT64_MAX, INT64_MAX, int64_t);
190
191 run_scomp_reg_mem(cgf, int32_t);
192 /* Special cases for cgf */
193 SCOMP_REG_MEM(cgf, INT64_MIN, INT32_MIN, int32_t);
194 SCOMP_REG_MEM(cgf, INT64_MIN, INT32_MAX, int32_t);
195 SCOMP_REG_MEM(cgf, INT64_MAX, INT32_MIN, int32_t);
196 SCOMP_REG_MEM(cgf, INT64_MAX, INT32_MAX, int32_t);
197 }
198
199 void
signed_comparison_reg_imm(void)200 signed_comparison_reg_imm(void)
201 {
202 run_scomp_reg_imm(CFI);
203
204 run_scomp_reg_imm(CGFI);
205 /* Special cases for cgfi */
206 SCOMP_REG_IMM(CGFI, INT64_MIN, INT32_MIN);
207 SCOMP_REG_IMM(CGFI, INT64_MIN, INT32_MAX);
208 SCOMP_REG_IMM(CGFI, INT64_MAX, INT32_MIN);
209 SCOMP_REG_IMM(CGFI, INT64_MAX, INT32_MAX);
210 }
211
212
main(void)213 int main(void)
214 {
215 signed_comparison_reg_reg();
216 signed_comparison_reg_mem();
217 signed_comparison_reg_imm();
218
219 return 0;
220 }
221