85d7fa6a437dfa6c8c6ea2d81e625c70bfa3e3b7
[mono.git] / mono / mini / cpu-s390.md
1 # S/390 64-bit 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.
5 #
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.
9 #
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
13 #
14 # register may have the following values:
15 #       i  integer register
16 #       a  r3 register (output from calls)
17 #       b  base register (used in address references)
18 #       f  floating point register
19 #
20 # len:number         describe the maximun length in bytes of the instruction
21 # number is a positive integer
22 #
23 # cost:number        describe how many cycles are needed to complete the instruction (unused)
24 #
25 # clob:spec          describe if the instruction clobbers registers or has special needs
26 #
27 # spec can be one of the following characters:
28 #       c  clobbers caller-save registers
29 #       r  'reserves' the destination register until a later instruction unreserves it
30 #          used mostly to set output registers in function calls
31 #
32 # flags:spec        describe if the instruction uses or sets the flags (unused)
33 #
34 # spec can be one of the following chars:
35 #       s  sets the flags
36 #       u  uses the flags
37 #       m  uses and modifies the flags
38 #
39 # res:spec          describe what units are used in the processor (unused)
40 #
41 # delay:            describe delay slots (unused)
42 #
43 # the required specifiers are: len, clob (if registers are clobbered), the registers
44 # specifiers if the registers are actually used, flags (when scheduling is implemented).
45 #
46 # See the code in mini-x86.c for more details on how the specifiers are used.
47 #
48
49 nop: len:4
50
51 adc: dest:i src1:i src2:i len:6
52 add_ovf_carry: dest:i src1:1 src2:i len:28
53 add_ovf_un_carry: dest:i src1:1 src2:i len:28
54 addcc: dest:i src1:i src2:i len:6
55 aot_const: dest:i len:8
56 atomic_add_i4: src1:b src2:i dest:i len:20
57 atomic_exchange_i4: src1:b src2:i dest:i len:20
58 atomic_add_new_i4: src1:b src2:i dest:i len:24
59 br: len:6
60 br_reg: src1:i len:8
61 break: len:6
62 call: dest:o len:6 clob:c
63 call_handler: len:12
64 call_membase: dest:o src1:b len:12 clob:c
65 call_reg: dest:o src1:i len:8 clob:c
66 ceq: dest:i len:12
67 cgt.un: dest:i len:12
68 cgt: dest:i len:12
69 checkthis: src1:b len:4
70 ckfinite: dest:f src1:f len:22
71 clt.un: dest:i len:12
72 clt: dest:i len:12
73 compare: src1:i src2:i len:4
74 compare_imm: src1:i len:14
75 cond_exc_c: len:8
76 cond_exc_eq: len:8
77 cond_exc_ge: len:8
78 cond_exc_ge_un: len:8
79 cond_exc_gt: len:8
80 cond_exc_gt_un: len:8
81 cond_exc_le: len:8
82 cond_exc_le_un: len:8
83 cond_exc_lt: len:8
84 cond_exc_lt_un: len:8
85 cond_exc_nc: len:8
86 cond_exc_ne_un: len:8
87 cond_exc_no: len:8
88 cond_exc_ov: len:8
89 endfinally: len: 20
90 fcall: dest:g len:10 clob:c
91 fcall_membase: dest:g src1:b len:14 clob:c
92 fcall_reg: dest:g src1:i len:10 clob:c
93 fcompare: src1:f src2:f len:14
94 float_add: dest:f src1:f src2:f len:6
95 float_beq: len:10
96 float_bge: len:10
97 float_bge_un: len:8
98 float_bgt: len:10
99 float_ble: len:10
100 float_ble_un: len:8
101 float_blt: len:10
102 float_blt_un: len:8
103 float_bne_un: len:8
104 float_bgt_un: len:8
105 float_ceq: dest:i src1:f src2:f len:16
106 float_cgt: dest:i src1:f src2:f len:16
107 float_cgt_un: dest:i src1:f src2:f len:16
108 float_clt: dest:i src1:f src2:f len:16
109 float_clt_un: dest:i src1:f src2:f len:16
110 float_conv_to_i1: dest:i src1:f len:50
111 float_conv_to_i2: dest:i src1:f len:50
112 float_conv_to_i4: dest:i src1:f len:50
113 float_conv_to_i8: dest:l src1:f len:50
114 float_conv_to_i: dest:i src1:f len:52
115 float_conv_to_r4: dest:f src1:f len:4
116 float_conv_to_u1: dest:i src1:f len:62
117 float_conv_to_u2: dest:i src1:f len:62
118 float_conv_to_u4: dest:i src1:f len:62
119 float_conv_to_u8: dest:l src1:f len:62
120 float_conv_to_u: dest:i src1:f len:36
121 float_div: dest:f src1:f src2:f len:6
122 float_div_un: dest:f src1:f src2:f len:6
123 float_mul: dest:f src1:f src2:f len:6
124 float_neg: dest:f src1:f len:6
125 float_not: dest:f src1:f len:6
126 float_rem: dest:f src1:f src2:f len:16
127 float_rem_un: dest:f src1:f src2:f len:16
128 float_sub: dest:f src1:f src2:f len:6
129 fmove: dest:f src1:f len:4
130 iconst: dest:i len:16
131 jmp: len:56
132 label: len:0
133 lcall: dest:L len:8 clob:c
134 lcall_membase: dest:L src1:b len:12 clob:c
135 lcall_reg: dest:L src1:i len:8 clob:c
136 load_membase: dest:i src1:b len:18
137 loadi1_membase: dest:i src1:b len:40
138 loadi2_membase: dest:i src1:b len:24
139 loadi4_membase: dest:i src1:b len:18
140 loadi8_membase: dest:i src1:b
141 loadr4_membase: dest:f src1:b len:20
142 loadr8_membase: dest:f src1:b len:18
143 loadu1_membase: dest:i src1:b len:26
144 loadu2_membase: dest:i src1:b len:26
145 loadu4_mem: dest:i len:8
146 loadu4_membase: dest:i src1:b len:18
147 localloc: dest:i src1:i len:72
148 long_add: len: 18 dest:l src1:l src2:i clob:1
149 long_add_ovf_un: len:22 dest:l src1:l src2:i clob:1
150 long_add_ovf: len:28 dest:l src1:l src2:i clob:1
151 long_conv_to_ovf_i: dest:i src1:i src2:i len:44
152 long_conv_to_r_un: dest:f src1:i src2:i len:37 
153 long_conv_to_r4: dest:f src1:i len:4
154 long_conv_to_r8: dest:f src1:i len:4
155 long_mul_ovf: len: 18
156 long_mul_ovf_un: len: 18 
157 long_sub: len: 18 dest:l src1:l src2:i clob:1
158 long_sub_ovf_un: len:22 dest:l src1:l src2:i clob:1
159 long_sub_ovf: len:36 dest:l src1:l src2:i clob:1
160 memory_barrier: len: 10
161 move: dest:i src1:i len:4
162 bigmul: len:2 dest:l src1:a src2:i
163 bigmul_un: len:2 dest:l src1:a src2:i
164 endfilter: src1:i len:12
165 rethrow: src1:i len:8
166 oparglist: src1:i len:20
167 outarg: src1:i len:1
168 outarg_imm: len:5
169 r4const: dest:f len:22
170 r8const: dest:f len:18
171 s390_bkchain: len:16 dest:i src1:i
172 s390_move: len:48 dest:b src1:b
173 s390_setf4ret: dest:f src1:f len:4
174 tls_get: dest:i len:44
175 sbb: dest:i src1:i src2:i len:8
176 setlret: src1:i src2:i len:12
177 setret: dest:a src1:i len:6
178 sqrt: dest:f src1:f len:4
179 start_handler: len:18
180 store_membase_imm: dest:b len:32
181 store_membase_reg: dest:b src1:i len:18
182 storei1_membase_imm: dest:b len:32
183 storei1_membase_reg: dest:b src1:i len:18
184 storei2_membase_imm: dest:b len:32
185 storei2_membase_reg: dest:b src1:i len:18
186 storei4_membase_imm: dest:b len:32
187 storei4_membase_reg: dest:b src1:i len:18
188 storei8_membase_imm: dest:b 
189 storei8_membase_reg: dest:b src1:i 
190 storer4_membase_reg: dest:b src1:f len:22
191 storer8_membase_reg: dest:b src1:f len:22
192 sub_ovf_carry: dest:i src1:1 src2:i len:28
193 sub_ovf_un_carry: dest:i src1:1 src2:i len:28
194 subcc: dest:i src1:i src2:i len:6
195 throw: src1:i len:8
196 vcall: len:8 clob:c
197 vcall_membase: src1:b len:12 clob:c
198 vcall_reg: src1:i len:8 clob:c
199 voidcall: len:8 clob:c
200 voidcall_membase: src1:b len:12 clob:c
201 voidcall_reg: src1:i len:8 clob:c
202
203 # 32 bit opcodes
204 int_add: dest:i src1:i src2:i len:6
205 int_sub: dest:i src1:i src2:i len:6
206 int_mul: dest:i src1:i src2:i len:6
207 int_div: dest:a src1:i src2:i len:10
208 int_div_un: dest:a src1:i src2:i len:12 
209 int_and: dest:i src1:i src2:i len:6
210 int_or: dest:i src1:i src2:i len:4
211 int_xor: dest:i src1:i src2:i len:4
212 int_rem: dest:d src1:i src2:i len:10
213 int_rem_un: dest:d src1:i src2:i len:12
214 int_shl: dest:i src1:i src2:i clob:s len:8
215 int_shr: dest:i src1:i src2:i clob:s len:8
216 int_shr_un: dest:i src1:i src2:i clob:s len:8
217 int_add_ovf: len: 24 dest:i src1:i src2:i
218 int_add_ovf_un: len: 10 dest:i src1:i src2:i
219 int_sub_ovf: len:24 dest:i src1:i src2:i
220 int_sub_ovf_un: len:10 dest:i src1:i src2:i 
221 int_mul_ovf: dest:i src1:i src2:i len:42
222 int_mul_ovf_un: dest:i src1:i src2:i len:20
223
224 int_neg: dest:i src1:i len:4
225 int_not: dest:i src1:i len:8
226 int_conv_to_i1: dest:i src1:i len:26
227 int_conv_to_i2: dest:i src1:i len:26
228 int_conv_to_i4: dest:i src1:i len:2
229 int_conv_to_i: dest:i src1:i len:2
230 int_conv_to_r4: dest:f src1:i len:4
231 int_conv_to_r8: dest:f src1:i len:4
232 int_conv_to_u1: dest:i src1:i len:8
233 int_conv_to_u2: dest:i src1:i len:16
234 int_conv_to_u4: dest:i src1:i
235
236 int_conv_to_r_un: dest:f src1:i len:30
237
238 int_beq: len:8
239 int_bge_un: len:8
240 int_bge: len:8
241 int_bgt_un: len:8
242 int_bgt: len:8
243 int_ble_un: len:8
244 int_ble: len:8
245 int_blt_un: len:8
246 int_blt: len:8
247 int_bne_un: len:8
248
249 mul_imm: dest:i src1:i len:20
250 adc_imm: dest:i src1:i len:18
251 add_imm: dest:i src1:i len:18
252 addcc_imm: dest:i src1:i len:18
253 and_imm: dest:i src1:i len:16
254 div_imm: dest:i src1:i src2:i len:24
255 div_un_imm: dest:i src1:i src2:i len:24
256 or_imm: dest:i src1:i len:16
257 rem_imm: dest:i src1:i src2:i len:24
258 rem_un_imm: dest:i src1:i src2:i len:24
259 sbb_imm: dest:i src1:i len:18
260 shl_imm: dest:i src1:i len:8
261 shr_imm: dest:i src1:i len:8
262 shr_un_imm: dest:i src1:i len:8
263 sub_imm: dest:i src1:i len:18
264 subcc_imm: dest:i src1:i len:18
265 xor_imm: dest:i src1:i len:16