1 # x86-class cpu description file
2 # this file is read by genmdesc to pruduce a table with all the relevant information
3 # about the cpu instructions that may be used by the regsiter allocator, the scheduler
4 # and other parts of the arch-dependent part of mini.
6 # An opcode name is followed by a colon and optional specifiers.
7 # A specifier has a name, a colon and a value. Specifiers are separated by white space.
8 # Here is a description of the specifiers valid for this file and their possible values.
10 # dest:register describes the destination register of an instruction
11 # src1:register describes the first source register of an instruction
12 # src2:register describes the second source register of an instruction
14 # register may have the following values:
16 # b base register (used in address references)
17 # f floating point register
21 # l long reg (forced eax:edx)
22 # L long reg (dynamic)
23 # y the reg needs to be one of EAX,EBX,ECX,EDX (sete opcodes)
24 # x XMM reg (XMM0 - X007)
26 # len:number describe the maximun length in bytes of the instruction
27 # number is a positive integer. If the length is not specified
28 # it defaults to zero. But lengths are only checked if the given opcode
29 # is encountered during compilation. Some opcodes, like CONV_U4 are
30 # transformed into other opcodes in the brg files, so they do not show up
31 # during code generation.
33 # cost:number describe how many cycles are needed to complete the instruction (unused)
35 # clob:spec describe if the instruction clobbers registers or has special needs
37 # spec can be one of the following characters:
38 # c clobbers caller-save registers
39 # 1 clobbers the first source register
42 # x both the source operands are clobbered (xchg)
44 # flags:spec describe if the instruction uses or sets the flags (unused)
46 # spec can be one of the following chars:
49 # m uses and modifies the flags
51 # res:spec describe what units are used in the processor (unused)
53 # delay: describe delay slots (unused)
55 # the required specifiers are: len, clob (if registers are clobbered), the registers
56 # specifiers if the registers are actually used, flags (when scheduling is implemented).
58 # See the code in mini-x86.c for more details on how the specifiers are used.
62 call: dest:a clob:c len:17
76 int_add: dest:i src1:i src2:i len:2 clob:1
77 int_sub: dest:i src1:i src2:i len:2 clob:1
78 int_mul: dest:i src1:i src2:i len:3 clob:1
79 int_div: dest:a src1:a src2:i len:15 clob:d
80 int_div_un: dest:a src1:a src2:i len:15 clob:d
81 int_rem: dest:d src1:a src2:i len:15 clob:a
82 int_rem_un: dest:d src1:a src2:i len:15 clob:a
83 int_and: dest:i src1:i src2:i len:2 clob:1
84 int_or: dest:i src1:i src2:i len:2 clob:1
85 int_xor: dest:i src1:i src2:i len:2 clob:1
86 int_shl: dest:i src1:i src2:s clob:1 len:2
87 int_shr: dest:i src1:i src2:s clob:1 len:2
88 int_shr_un: dest:i src1:i src2:s clob:1 len:2
89 int_min: dest:i src1:i src2:i len:16 clob:1
90 int_min_un: dest:i src1:i src2:i len:16 clob:1
91 int_max: dest:i src1:i src2:i len:16 clob:1
92 int_max_un: dest:i src1:i src2:i len:16 clob:1
94 int_neg: dest:i src1:i len:2 clob:1
95 int_not: dest:i src1:i len:2 clob:1
96 int_conv_to_i1: dest:i src1:y len:3
97 int_conv_to_i2: dest:i src1:i len:3
98 int_conv_to_i4: dest:i src1:i len:2
99 int_conv_to_r4: dest:f src1:i len:7
100 int_conv_to_r8: dest:f src1:i len:7
101 int_conv_to_u4: dest:i src1:i
102 int_conv_to_u2: dest:i src1:i len:3
103 int_conv_to_u1: dest:i src1:y len:3
104 int_conv_to_i: dest:i src1:i len:3
105 int_mul_ovf: dest:i src1:i src2:i clob:1 len:9
106 int_mul_ovf_un: dest:i src1:i src2:i len:16
109 rethrow: src1:i len:13
110 start_handler: len:16
112 endfilter: src1:a len:16
114 ckfinite: dest:f src1:f len:32
121 localloc: dest:i src1:i len:120
122 compare: src1:i src2:i len:2
123 compare_imm: src1:i len:6
124 fcompare: src1:f src2:f clob:a len:9
125 oparglist: src1:b len:10
128 setret: dest:a src1:i len:2
129 setlret: dest:l src1:i src2:i len:4
130 checkthis: src1:b len:3
131 voidcall: len:17 clob:c
132 voidcall_reg: src1:i len:11 clob:c
133 voidcall_membase: src1:b len:16 clob:c
134 fcall: dest:f len:48 clob:c
135 fcall_reg: dest:f src1:i len:48 clob:c
136 fcall_membase: dest:f src1:b len:48 clob:c
137 lcall: dest:l len:17 clob:c
138 lcall_reg: dest:l src1:i len:11 clob:c
139 lcall_membase: dest:l src1:b len:16 clob:c
141 vcall_reg: src1:i len:11 clob:c
142 vcall_membase: src1:b len:16 clob:c
143 call_reg: dest:a src1:i len:11 clob:c
144 call_membase: dest:a src1:b len:16 clob:c
146 r4const: dest:f len:15
147 r8const: dest:f len:16
148 store_membase_imm: dest:b len:10
149 store_membase_reg: dest:b src1:i len:7
150 storei1_membase_imm: dest:b len:10
151 storei1_membase_reg: dest:b src1:y len:7
152 storei2_membase_imm: dest:b len:11
153 storei2_membase_reg: dest:b src1:i len:7
154 storei4_membase_imm: dest:b len:10
155 storei4_membase_reg: dest:b src1:i len:7
156 storei8_membase_imm: dest:b
157 storei8_membase_reg: dest:b src1:i
158 storer4_membase_reg: dest:b src1:f len:7
159 storer8_membase_reg: dest:b src1:f len:7
160 load_membase: dest:i src1:b len:7
161 loadi1_membase: dest:y src1:b len:7
162 loadu1_membase: dest:y src1:b len:7
163 loadi2_membase: dest:i src1:b len:7
164 loadu2_membase: dest:i src1:b len:7
165 loadi4_membase: dest:i src1:b len:7
166 loadu4_membase: dest:i src1:b len:7
167 loadi8_membase: dest:i src1:b
168 loadr4_membase: dest:f src1:b len:7
169 loadr8_membase: dest:f src1:b len:7
170 loadr8_spill_membase: src1:b len:9
171 loadu4_mem: dest:i len:9
172 move: dest:i src1:i len:2
173 addcc_imm: dest:i src1:i len:6 clob:1
174 add_imm: dest:i src1:i len:6 clob:1
175 subcc_imm: dest:i src1:i len:6 clob:1
176 sub_imm: dest:i src1:i len:6 clob:1
177 mul_imm: dest:i src1:i len:9
178 # there is no actual support for division or reminder by immediate
179 # we simulate them, though (but we need to change the burg rules
180 # to allocate a symbolic reg for src2)
181 div_imm: dest:a src1:a src2:i len:15 clob:d
182 div_un_imm: dest:a src1:a src2:i len:15 clob:d
183 rem_imm: dest:d src1:a src2:i len:15 clob:a
184 rem_un_imm: dest:d src1:a src2:i len:15 clob:a
185 and_imm: dest:i src1:i len:6 clob:1
186 or_imm: dest:i src1:i len:6 clob:1
187 xor_imm: dest:i src1:i len:6 clob:1
188 shl_imm: dest:i src1:i len:6 clob:1
189 shr_imm: dest:i src1:i len:6 clob:1
190 shr_un_imm: dest:i src1:i len:6 clob:1
192 cond_exc_ne_un: len:6
194 cond_exc_lt_un: len:6
196 cond_exc_gt_un: len:6
198 cond_exc_ge_un: len:6
200 cond_exc_le_un: len:6
205 long_shl: dest:L src1:L src2:s clob:1 len:21
206 long_shr: dest:L src1:L src2:s clob:1 len:22
207 long_shr_un: dest:L src1:L src2:s clob:1 len:22
208 long_conv_to_ovf_i: dest:i src1:i src2:i len:30
210 long_conv_to_r_un: dest:f src1:i src2:i len:37
211 long_shr_imm: dest:L src1:L clob:1 len:10
212 long_shr_un_imm: dest:L src1:L clob:1 len:10
213 long_shl_imm: dest:L src1:L clob:1 len:10
224 float_add: dest:f src1:f src2:f len:2
225 float_sub: dest:f src1:f src2:f len:2
226 float_mul: dest:f src1:f src2:f len:2
227 float_div: dest:f src1:f src2:f len:2
228 float_div_un: dest:f src1:f src2:f len:2
229 float_rem: dest:f src1:f src2:f len:17
230 float_rem_un: dest:f src1:f src2:f len:17
231 float_neg: dest:f src1:f len:2
232 float_not: dest:f src1:f len:2
233 float_conv_to_i1: dest:y src1:f len:39
234 float_conv_to_i2: dest:y src1:f len:39
235 float_conv_to_i4: dest:i src1:f len:39
236 float_conv_to_i8: dest:L src1:f len:39
237 float_conv_to_u4: dest:i src1:f len:39
238 float_conv_to_u8: dest:L src1:f len:39
239 float_conv_to_u2: dest:y src1:f len:39
240 float_conv_to_u1: dest:y src1:f len:39
241 float_conv_to_i: dest:i src1:f len:39
242 float_conv_to_ovf_i: dest:a src1:f len:30
243 float_conv_to_ovd_u: dest:a src1:f len:30
245 float_ceq: dest:y src1:f src2:f len:25
246 float_cgt: dest:y src1:f src2:f len:25
247 float_cgt_un: dest:y src1:f src2:f len:37
248 float_clt: dest:y src1:f src2:f len:25
249 float_clt_un: dest:y src1:f src2:f len:32
250 float_conv_to_u: dest:i src1:f len:36
252 aot_const: dest:i len:5
253 load_gotaddr: dest:i len:64
254 got_entry: dest:i src1:b len:7
255 x86_test_null: src1:i len:2
256 x86_compare_membase_reg: src1:b src2:i len:7
257 x86_compare_membase_imm: src1:b len:11
258 x86_compare_membase8_imm: src1:b len:8
259 x86_compare_mem_imm: len:11
260 x86_compare_reg_membase: src1:i src2:b len:7
261 x86_inc_reg: dest:i src1:i clob:1 len:1
262 x86_inc_membase: src1:b len:7
263 x86_dec_reg: dest:i src1:i clob:1 len:1
264 x86_dec_membase: src1:b len:7
265 x86_add_membase_imm: src1:b len:11
266 x86_sub_membase_imm: src1:b len:11
267 x86_and_membase_imm: src1:b len:11
268 x86_or_membase_imm: src1:b len:11
269 x86_xor_membase_imm: src1:b len:11
270 x86_push: src1:i len:1
272 x86_push_membase: src1:b len:7
273 x86_push_obj: src1:b len:30
274 x86_push_got_entry: src1:b len:7
275 x86_lea: dest:i src1:i src2:i len:7
276 x86_lea_membase: dest:i src1:i len:10
277 x86_xchg: src1:i src2:i clob:x len:1
278 x86_fpop: src1:f len:2
279 x86_fp_load_i8: dest:f src1:b len:7
280 x86_fp_load_i4: dest:f src1:b len:7
281 x86_seteq_membase: src1:b len:7
282 x86_setne_membase: src1:b len:7
284 x86_add_reg_membase: dest:i src1:i src2:b clob:1 len:11
285 x86_sub_reg_membase: dest:i src1:i src2:b clob:1 len:11
286 x86_mul_reg_membase: dest:i src1:i src2:b clob:1 len:13
288 adc: dest:i src1:i src2:i len:2 clob:1
289 addcc: dest:i src1:i src2:i len:2 clob:1
290 subcc: dest:i src1:i src2:i len:2 clob:1
291 adc_imm: dest:i src1:i len:6 clob:1
292 sbb: dest:i src1:i src2:i len:2 clob:1
293 sbb_imm: dest:i src1:i len:6 clob:1
295 sin: dest:f src1:f len:6
296 cos: dest:f src1:f len:6
297 abs: dest:f src1:f len:2
298 tan: dest:f src1:f len:49
299 atan: dest:f src1:f len:8
300 sqrt: dest:f src1:f len:2
301 bigmul: len:2 dest:l src1:a src2:i
302 bigmul_un: len:2 dest:l src1:a src2:i
303 sext_i1: dest:i src1:y len:3
304 sext_i2: dest:i src1:y len:3
305 tls_get: dest:i len:20
306 atomic_add_i4: src1:b src2:i dest:i len:16
307 atomic_add_new_i4: src1:b src2:i dest:i len:16
308 atomic_exchange_i4: src1:b src2:i dest:a len:24
309 atomic_cas_imm_i4: src1:b src2:i dest:a len:24
310 memory_barrier: len:16
320 not_null: src1:i len:0
322 jump_table: dest:i len:5
324 int_adc: dest:i src1:i src2:i len:2 clob:1
325 int_addcc: dest:i src1:i src2:i len:2 clob:1
326 int_subcc: dest:i src1:i src2:i len:2 clob:1
327 int_sbb: dest:i src1:i src2:i len:2 clob:1
329 int_add_imm: dest:i src1:i len:6 clob:1
330 int_sub_imm: dest:i src1:i len:6 clob:1
331 int_mul_imm: dest:i src1:i len:9
332 int_div_imm: dest:a src1:a len:15 clob:d
333 int_div_un_imm: dest:a src1:a len:15 clob:d
334 int_rem_imm: dest:a src1:a len:15 clob:d
335 int_rem_un_imm: dest:d src1:a len:15 clob:a
336 int_and_imm: dest:i src1:i len:6 clob:1
337 int_or_imm: dest:i src1:i len:6 clob:1
338 int_xor_imm: dest:i src1:i len:6 clob:1
339 int_shl_imm: dest:i src1:i len:6 clob:1
340 int_shr_imm: dest:i src1:i len:6 clob:1
341 int_shr_un_imm: dest:i src1:i len:6 clob:1
343 int_conv_to_r_un: dest:f src1:i len:32
345 int_ceq: dest:y len:6
346 int_cgt: dest:y len:6
347 int_cgt_un: dest:y len:6
348 int_clt: dest:y len:6
349 int_clt_un: dest:y len:6
352 cond_exc_ine_un: len:6
354 cond_exc_ilt_un: len:6
356 cond_exc_igt_un: len:6
358 cond_exc_ige_un: len:6
360 cond_exc_ile_un: len:6
366 icompare: src1:i src2:i len:2
367 icompare_imm: src1:i len:6
369 cmov_ieq: dest:i src1:i src2:i len:16 clob:1
370 cmov_ige: dest:i src1:i src2:i len:16 clob:1
371 cmov_igt: dest:i src1:i src2:i len:16 clob:1
372 cmov_ile: dest:i src1:i src2:i len:16 clob:1
373 cmov_ilt: dest:i src1:i src2:i len:16 clob:1
374 cmov_ine_un: dest:i src1:i src2:i len:16 clob:1
375 cmov_ige_un: dest:i src1:i src2:i len:16 clob:1
376 cmov_igt_un: dest:i src1:i src2:i len:16 clob:1
377 cmov_ile_un: dest:i src1:i src2:i len:16 clob:1
378 cmov_ilt_un: dest:i src1:i src2:i len:16 clob:1
380 long_conv_to_ovf_i4_2: dest:i src1:i src2:i len:30
381 long_conv_to_r8_2: dest:f src1:i src2:i len:37
382 long_conv_to_r4_2: dest:f src1:i src2:i len:64
383 long_conv_to_r_un_2: dest:f src1:i src2:i len:37
386 float_conv_to_r4: dest:f src1:f
388 load_mem: dest:i len:9
389 loadi4_mem: dest:i len:9
390 loadu1_mem: dest:i len:9
391 loadu2_mem: dest:i len:9
393 vcall2: len:17 clob:c
394 vcall2_reg: src1:i len:11 clob:c
395 vcall2_membase: src1:b len:16 clob:c
397 localloc_imm: dest:i len:120
399 x86_add_membase_reg: src1:b src2:i len:11
400 x86_sub_membase_reg: src1:b src2:i len:11
401 x86_and_membase_reg: src1:b src2:i len:11
402 x86_or_membase_reg: src1:b src2:i len:11
403 x86_xor_membase_reg: src1:b src2:i len:11
404 x86_mul_membase_reg: src1:b src2:i len:13
406 x86_and_reg_membase: dest:i src1:i src2:b clob:1 len:6
407 x86_or_reg_membase: dest:i src1:i src2:b clob:1 len:6
408 x86_xor_reg_membase: dest:i src1:i src2:b clob:1 len:6
412 addps: dest:x src1:x src2:x len:3 clob:1
413 divps: dest:x src1:x src2:x len:3 clob:1
414 mulps: dest:x src1:x src2:x len:3 clob:1
415 subps: dest:x src1:x src2:x len:3 clob:1
416 maxps: dest:x src1:x src2:x len:3 clob:1
417 minps: dest:x src1:x src2:x len:3 clob:1
418 compps: dest:x src1:x src2:x len:4 clob:1
419 andps: dest:x src1:x src2:x len:3 clob:1
420 andnps: dest:x src1:x src2:x len:3 clob:1
421 orps: dest:x src1:x src2:x len:3 clob:1
422 xorps: dest:x src1:x src2:x len:3 clob:1
424 haddps: dest:x src1:x src2:x len:4 clob:1
425 hsubps: dest:x src1:x src2:x len:4 clob:1
426 addsubps: dest:x src1:x src2:x len:4 clob:1
427 dupps_low: dest:x src1:x len:4
428 dupps_high: dest:x src1:x len:4
430 pand: dest:x src1:x src2:x len:4 clob:1
431 por: dest:x src1:x src2:x len:4 clob:1
432 pxor: dest:x src1:x src2:x len:4 clob:1
434 sqrtps: dest:x src1:x len:4
435 rsqrtps: dest:x src1:x len:4
436 rcpps: dest:x src1:x len:4
437 shuffleps: dest:x src1:x len:5
439 pshufflew_high: dest:x src1:x len:5
440 pshufflew_low: dest:x src1:x len:5
441 pshuffled: dest:x src1:x len:5
443 extract_mask: dest:i src1:x len:4
445 paddb: dest:x src1:x src2:x len:4 clob:1
446 paddw: dest:x src1:x src2:x len:4 clob:1
447 paddd: dest:x src1:x src2:x len:4 clob:1
449 psubb: dest:x src1:x src2:x len:4 clob:1
450 psubw: dest:x src1:x src2:x len:4 clob:1
451 psubd: dest:x src1:x src2:x len:4 clob:1
453 pmaxb_un: dest:x src1:x src2:x len:4 clob:1
454 pmaxw_un: dest:x src1:x src2:x len:5 clob:1
455 pmaxd_un: dest:x src1:x src2:x len:5 clob:1
457 pmaxb: dest:x src1:x src2:x len:5 clob:1
458 pmaxw: dest:x src1:x src2:x len:4 clob:1
459 pmaxd: dest:x src1:x src2:x len:5 clob:1
461 pavgb_un: dest:x src1:x src2:x len:4 clob:1
462 pavgw_un: dest:x src1:x src2:x len:4 clob:1
464 pminb_un: dest:x src1:x src2:x len:4 clob:1
465 pminw_un: dest:x src1:x src2:x len:5 clob:1
466 pmind_un: dest:x src1:x src2:x len:5 clob:1
468 pminb: dest:x src1:x src2:x len:5 clob:1
469 pminw: dest:x src1:x src2:x len:4 clob:1
470 pmind: dest:x src1:x src2:x len:5 clob:1
472 pcmpeqb: dest:x src1:x src2:x len:4 clob:1
473 pcmpeqw: dest:x src1:x src2:x len:4 clob:1
474 pcmpeqd: dest:x src1:x src2:x len:4 clob:1
476 pcmpgtb: dest:x src1:x src2:x len:4 clob:1
477 pcmpgtw: dest:x src1:x src2:x len:4 clob:1
478 pcmpgtd: dest:x src1:x src2:x len:4 clob:1
480 psumabsdiff: dest:x src1:x src2:x len:4 clob:1
482 unpack_lowb: dest:x src1:x src2:x len:4 clob:1
483 unpack_loww: dest:x src1:x src2:x len:4 clob:1
484 unpack_lowd: dest:x src1:x src2:x len:4 clob:1
485 unpack_lowq: dest:x src1:x src2:x len:4 clob:1
486 unpack_lowps: dest:x src1:x src2:x len:3 clob:1
488 unpack_highb: dest:x src1:x src2:x len:4 clob:1
489 unpack_highw: dest:x src1:x src2:x len:4 clob:1
490 unpack_highd: dest:x src1:x src2:x len:4 clob:1
491 unpack_highq: dest:x src1:x src2:x len:4 clob:1
492 unpack_highps: dest:x src1:x src2:x len:3 clob:1
494 packw: dest:x src1:x src2:x len:4 clob:1
495 packd: dest:x src1:x src2:x len:5 clob:1
497 paddb_sat: dest:x src1:x src2:x len:4 clob:1
498 paddb_sat_un: dest:x src1:x src2:x len:4 clob:1
500 paddw_sat: dest:x src1:x src2:x len:4 clob:1
501 paddw_sat_un: dest:x src1:x src2:x len:4 clob:1
503 psubb_sat: dest:x src1:x src2:x len:4 clob:1
504 psubb_sat_un: dest:x src1:x src2:x len:4 clob:1
506 psubw_sat: dest:x src1:x src2:x len:4 clob:1
507 psubw_sat_un: dest:x src1:x src2:x len:4 clob:1
509 pmulw: dest:x src1:x src2:x len:4 clob:1
510 pmuld: dest:x src1:x src2:x len:5 clob:1
511 pmul_high_un: dest:x src1:x src2:x len:4 clob:1
512 pmul_high: dest:x src1:x src2:x len:4 clob:1
514 pshrw: dest:x src1:x len:8 clob:1
515 pshrw_reg: dest:x src1:x src2:x len:8 clob:1
517 psarw: dest:x src1:x len:8 clob:1
518 psarw_reg: dest:x src1:x src2:x len:8 clob:1
520 pshlw: dest:x src1:x len:8 clob:1
521 pshlw_reg: dest:x src1:x src2:x len:8 clob:1
523 pshrd: dest:x src1:x len:8 clob:1
524 pshrd_reg: dest:x src1:x src2:x len:8 clob:1
526 psard: dest:x src1:x len:8 clob:1
527 psard_reg: dest:x src1:x src2:x len:8 clob:1
529 pshld: dest:x src1:x len:8 clob:1
530 pshld_reg: dest:x src1:x src2:x len:8 clob:1
532 xmove: dest:x src1:x len:4
535 iconv_to_x: dest:x src1:i len:4
536 extract_i4: dest:i src1:x len:4
537 iconv_to_r8_raw: dest:f src1:i len:17
539 loadx_membase: dest:x src1:b len:7
540 storex_membase: dest:b src1:x len:7
541 storex_membase_reg: dest:b src1:x len:7
543 loadx_aligned_membase: dest:x src1:b len:7
544 storex_aligned_membase_reg: dest:b src1:x len:7
546 push_r4: src1:f len:13
547 loadx_stack: dest:x len: 13
549 fconv_to_r8_x: dest:x src1:f len:14
550 xconv_r8_to_i4: dest:y src1:x len:7