forked from ocaml-flambda/flambda-backend
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathx86_dsl.mli
405 lines (372 loc) · 12.4 KB
/
x86_dsl.mli
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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
(* *)
(* Copyright 2014 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(** Helpers for Intel code generators *)
(* The DSL* modules expose functions to emit x86_64 instructions
using a syntax close to the official Intel syntax, except that
source and destination operands are reversed as in the AT&T
syntax:
mov src dst
*)
open X86_ast
val sym: string -> arg
val nat: nativeint -> arg
val int: int -> arg
val const_32: int32 -> constant
val const_nat: nativeint -> constant
val const: int -> constant
val al: arg
val ah: arg
val cl: arg
val ax: arg
val rax: arg
val rbx: arg
val rdx: arg
val r10: arg
val r11: arg
val r12: arg
val r13: arg
val r14: arg
val r15: arg
val rsp: arg
val rbp: arg
val xmm15: arg
val eax: arg
val ebx: arg
val ecx: arg
val edx: arg
val ebp: arg
val esp: arg
val mem32:
data_type -> ?scale:int -> ?base:reg64 -> ?sym:string ->
int -> reg64 -> arg
val mem64:
data_type -> ?scale:int -> ?base:reg64 -> ?sym:string ->
int -> reg64 -> arg
val mem64_rip: data_type -> ?ofs:int -> string -> arg
module D : sig
(** Directives *)
(* If data is true then null bytes are used for padding,
otherwise nops are used *)
val align: data:bool -> int -> unit
val byte: constant -> unit
val bytes: string -> unit
val cfi_adjust_cfa_offset: int -> unit
val cfi_endproc: unit -> unit
val cfi_startproc: unit -> unit
val cfi_remember_state: unit -> unit
val cfi_restore_state: unit -> unit
val cfi_def_cfa_register: string -> unit
val cfi_def_cfa_offset: int -> unit
val comment: string -> unit
val data: unit -> unit
val direct_assignment : string -> constant -> unit
val extrn: string -> data_type -> unit
val file: file_num:int -> file_name:string -> unit
val global: string -> unit
val protected: string -> unit
val hidden: string -> unit
val indirect_symbol: string -> unit
val label: ?typ:data_type -> string -> unit
val loc: file_num:int -> line:int -> col:int -> ?discriminator:int -> unit
-> unit
val long: constant -> unit
val mode386: unit -> unit
val model: string -> unit
val new_line : unit -> unit
val private_extern: string -> unit
val qword: constant -> unit
val reloc: offset:constant -> name:reloc_type -> expr:constant -> unit
val section: ?delayed:bool -> string list -> string option -> string list -> unit
val setvar: string * constant -> unit
val size: string -> constant -> unit
val sleb128 : constant -> unit
val space: int -> unit
val text: unit -> unit
val type_: string -> string -> unit
val uleb128 : constant -> unit
val weak: string -> unit
val word: constant -> unit
end
module I : sig
(* Instructions *)
val add: arg -> arg -> unit
val addsd: arg -> arg -> unit
val and_: arg -> arg -> unit
val andpd: arg -> arg -> unit
val bsf : arg -> arg -> unit
val bsr : arg -> arg -> unit
val bswap: arg -> unit
val call: arg -> unit
val cdq: unit -> unit
val cmov : condition -> arg -> arg -> unit
val cmp: arg -> arg -> unit
val cmpsd : float_condition -> arg -> arg -> unit
val comisd: arg -> arg -> unit
val cqo: unit -> unit
val cvtss2si: arg -> arg -> unit (* round half-to-even *)
val cvtsd2si: arg -> arg -> unit (* round half-to-even *)
val cvtsi2ss: arg -> arg -> unit
val cvtsd2ss: arg -> arg -> unit
val cvtsi2sd: arg -> arg -> unit
val cvtss2sd: arg -> arg -> unit
val cvttss2si: arg -> arg -> unit (* truncate *)
val cvttsd2si: arg -> arg -> unit (* truncate *)
val dec: arg -> unit
val divsd: arg -> arg -> unit
val hlt: unit -> unit
val idiv: arg -> unit
val imul: arg -> arg option -> unit
val mul: arg -> unit
val inc: arg -> unit
val j: condition -> arg -> unit
val ja: arg -> unit
val jae: arg -> unit
val jb: arg -> unit
val jbe: arg -> unit
val je: arg -> unit
val jg: arg -> unit
val jmp: arg -> unit
val jne: arg -> unit
val jp: arg -> unit
val lea: arg -> arg -> unit
val lock_cmpxchg: arg -> arg -> unit
val lock_xadd: arg -> arg -> unit
val maxsd: arg -> arg -> unit
val minsd: arg -> arg -> unit
val mov: arg -> arg -> unit
val movapd: arg -> arg -> unit
val movupd: arg -> arg -> unit
val movd: arg -> arg -> unit
val movq: arg -> arg -> unit
val movsd: arg -> arg -> unit
val movss: arg -> arg -> unit
val movsx: arg -> arg -> unit
val movsxd: arg -> arg -> unit
val movzx: arg -> arg -> unit
val mulsd: arg -> arg -> unit
val neg : arg -> unit
val nop: unit -> unit
val or_: arg -> arg -> unit
val pause: unit -> unit
val pop: arg -> unit
val popcnt : arg -> arg -> unit
val prefetch : bool -> prefetch_temporal_locality_hint -> arg -> unit
val push: arg -> unit
val rdtsc: unit -> unit
val rdpmc: unit -> unit
val lfence: unit -> unit
val sfence: unit -> unit
val mfence: unit -> unit
val ret: unit -> unit
val roundsd : rounding -> arg -> arg -> unit
val sal: arg -> arg -> unit
val sar: arg -> arg -> unit
val set: condition -> arg -> unit
val shr: arg -> arg -> unit
val sqrtsd: arg -> arg -> unit
val sub: arg -> arg -> unit
val subsd: arg -> arg -> unit
val test: arg -> arg -> unit
val ucomisd: arg -> arg -> unit
val xchg: arg -> arg -> unit
val xor: arg -> arg -> unit
val xorpd: arg -> arg -> unit
(* SSE instructions *)
val cmpps: float_condition -> arg -> arg -> unit
val shufps: arg -> arg -> arg -> unit
val addps: arg -> arg -> unit
val subps: arg -> arg -> unit
val mulps: arg -> arg -> unit
val divps: arg -> arg -> unit
val maxps: arg -> arg -> unit
val minps: arg -> arg -> unit
val rcpps: arg -> arg -> unit
val sqrtps: arg -> arg -> unit
val rsqrtps: arg -> arg -> unit
val movhlps: arg -> arg -> unit
val movlhps: arg -> arg -> unit
val unpckhps: arg -> arg -> unit
val unpcklps: arg -> arg -> unit
val movmskps: arg -> arg -> unit
(* SSE2 intstructions *)
val paddb: arg -> arg -> unit
val paddw: arg -> arg -> unit
val paddd: arg -> arg -> unit
val paddq: arg -> arg -> unit
val addpd: arg -> arg -> unit
val paddsb: arg -> arg -> unit
val paddsw: arg -> arg -> unit
val paddusb: arg -> arg -> unit
val paddusw: arg -> arg -> unit
val psubb: arg -> arg -> unit
val psubw: arg -> arg -> unit
val psubd: arg -> arg -> unit
val psubq: arg -> arg -> unit
val subpd: arg -> arg -> unit
val psubsb: arg -> arg -> unit
val psubsw: arg -> arg -> unit
val psubusb: arg -> arg -> unit
val psubusw: arg -> arg -> unit
val pmaxub: arg -> arg -> unit
val pmaxsw: arg -> arg -> unit
val maxpd: arg -> arg -> unit
val pminub: arg -> arg -> unit
val pminsw: arg -> arg -> unit
val minpd: arg -> arg -> unit
val mulpd: arg -> arg -> unit
val divpd: arg -> arg -> unit
val sqrtpd: arg -> arg -> unit
val pand: arg -> arg -> unit
val pandnot: arg -> arg -> unit
val por: arg -> arg -> unit
val pxor: arg -> arg -> unit
val pmovmskb: arg -> arg -> unit
val movmskpd: arg -> arg -> unit
val pslldq: arg -> arg -> unit
val psrldq: arg -> arg -> unit
val pcmpeqb: arg -> arg -> unit
val pcmpeqw: arg -> arg -> unit
val pcmpeqd: arg -> arg -> unit
val pcmpgtb: arg -> arg -> unit
val pcmpgtw: arg -> arg -> unit
val pcmpgtd: arg -> arg -> unit
val cmppd: float_condition -> arg -> arg -> unit
val cvtdq2pd: arg -> arg -> unit
val cvtdq2ps: arg -> arg -> unit
val cvtpd2dq: arg -> arg -> unit
val cvtpd2ps: arg -> arg -> unit
val cvtps2dq: arg -> arg -> unit
val cvtps2pd: arg -> arg -> unit
val psllw: arg -> arg -> unit
val pslld: arg -> arg -> unit
val psllq: arg -> arg -> unit
val psrlw: arg -> arg -> unit
val psrld: arg -> arg -> unit
val psrlq: arg -> arg -> unit
val psraw: arg -> arg -> unit
val psrad: arg -> arg -> unit
val psllwi: arg -> arg -> unit
val pslldi: arg -> arg -> unit
val psllqi: arg -> arg -> unit
val psrlwi: arg -> arg -> unit
val psrldi: arg -> arg -> unit
val psrlqi: arg -> arg -> unit
val psrawi: arg -> arg -> unit
val psradi: arg -> arg -> unit
val shufpd: arg -> arg -> arg -> unit
val pshufhw: arg -> arg -> arg -> unit
val pshuflw: arg -> arg -> arg -> unit
val punpckhbw: arg -> arg -> unit
val punpckhwd: arg -> arg -> unit
val punpckhqdq: arg -> arg -> unit
val punpcklbw: arg -> arg -> unit
val punpcklwd: arg -> arg -> unit
val punpcklqdq: arg -> arg -> unit
val pavgb: arg -> arg -> unit
val pavgw: arg -> arg -> unit
val psadbw: arg -> arg -> unit
val packsswb: arg -> arg -> unit
val packssdw: arg -> arg -> unit
val packuswb: arg -> arg -> unit
val packusdw: arg -> arg -> unit
val pmulhw: arg -> arg -> unit
val pmulhuw: arg -> arg -> unit
val pmullw: arg -> arg -> unit
val pmaddwd: arg -> arg -> unit
(* SSE3 instructions *)
val addsubps: arg -> arg -> unit
val addsubpd: arg -> arg -> unit
val haddps: arg -> arg -> unit
val haddpd: arg -> arg -> unit
val hsubps: arg -> arg -> unit
val hsubpd: arg -> arg -> unit
val movddup: arg -> arg -> unit
val movshdup: arg -> arg -> unit
val movsldup: arg -> arg -> unit
(* SSSE3 instructions *)
val pabsb: arg -> arg -> unit
val pabsw: arg -> arg -> unit
val pabsd: arg -> arg -> unit
val phaddw: arg -> arg -> unit
val phaddd: arg -> arg -> unit
val phaddsw: arg -> arg -> unit
val phsubw: arg -> arg -> unit
val phsubd: arg -> arg -> unit
val phsubsw: arg -> arg -> unit
val psignb: arg -> arg -> unit
val psignw: arg -> arg -> unit
val psignd: arg -> arg -> unit
val pshufb: arg -> arg -> unit
val palignr: arg -> arg -> arg -> unit
val pmaddubsw: arg -> arg -> unit
(* SSE4.1 instructions *)
val pblendw: arg -> arg -> arg -> unit
val blendps: arg -> arg -> arg -> unit
val blendpd: arg -> arg -> arg -> unit
val pblendvb: arg -> arg -> unit
val blendvps: arg -> arg -> unit
val blendvpd: arg -> arg -> unit
val pcmpeqq: arg -> arg -> unit
val pmovsxbw: arg -> arg -> unit
val pmovsxbd: arg -> arg -> unit
val pmovsxbq: arg -> arg -> unit
val pmovsxwd: arg -> arg -> unit
val pmovsxwq: arg -> arg -> unit
val pmovsxdq: arg -> arg -> unit
val pmovzxbw: arg -> arg -> unit
val pmovzxbd: arg -> arg -> unit
val pmovzxbq: arg -> arg -> unit
val pmovzxwd: arg -> arg -> unit
val pmovzxwq: arg -> arg -> unit
val pmovzxdq: arg -> arg -> unit
val dpps: arg -> arg -> arg -> unit
val dppd: arg -> arg -> arg -> unit
val pextrb: arg -> arg -> arg -> unit
val pextrw: arg -> arg -> arg -> unit
val pextrd: arg -> arg -> arg -> unit
val pextrq: arg -> arg -> arg -> unit
val pinsrb: arg -> arg -> arg -> unit
val pinsrw: arg -> arg -> arg -> unit
val pinsrd: arg -> arg -> arg -> unit
val pinsrq: arg -> arg -> arg -> unit
val pmaxsb: arg -> arg -> unit
val pmaxsd: arg -> arg -> unit
val pmaxuw: arg -> arg -> unit
val pmaxud: arg -> arg -> unit
val pminsb: arg -> arg -> unit
val pminsd: arg -> arg -> unit
val pminuw: arg -> arg -> unit
val pminud: arg -> arg -> unit
val roundpd: rounding -> arg -> arg -> unit
val roundps: rounding -> arg -> arg -> unit
val mpsadbw: arg -> arg -> arg -> unit
val phminposuw: arg -> arg -> unit
val pmulld: arg -> arg -> unit
(* SSE4.2 instructions *)
val pcmpgtq: arg -> arg -> unit
val pcmpestri: arg -> arg -> arg -> unit
val pcmpestrm: arg -> arg -> arg -> unit
val pcmpistri: arg -> arg -> arg -> unit
val pcmpistrm: arg -> arg -> arg -> unit
val crc32: arg -> arg -> unit
(* CLMUL instructions *)
val pclmulqdq: arg -> arg -> arg -> unit
(* BMI instructions *)
val lzcnt: arg -> arg -> unit
val tzcnt: arg -> arg -> unit
(* BMI2 instructions *)
val pext: arg -> arg -> arg -> unit
val pdep: arg -> arg -> arg -> unit
end