Adding in mli file for Intel_dsl.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
Alain Frisch
parent
02097ac8b9
commit
a682f45abc
61
.depend
61
.depend
|
|
@ -600,9 +600,10 @@ asmcomp/debuginfo.cmi : parsing/location.cmi bytecomp/lambda.cmi
|
|||
asmcomp/emit.cmi : asmcomp/linearize.cmi asmcomp/cmm.cmi
|
||||
asmcomp/emitaux.cmi : asmcomp/debuginfo.cmi
|
||||
asmcomp/intel_ast.cmi :
|
||||
asmcomp/intel_dsl.cmi : asmcomp/intel_ast.cmi
|
||||
asmcomp/intel_gas.cmi : asmcomp/intel_ast.cmi
|
||||
asmcomp/intel_masm.cmi : asmcomp/intel_ast.cmi
|
||||
asmcomp/intel_proc.cmi : utils/misc.cmi asmcomp/intel_ast.cmi
|
||||
asmcomp/intel_proc.cmi : asmcomp/intel_ast.cmi
|
||||
asmcomp/interf.cmi : asmcomp/mach.cmi
|
||||
asmcomp/linearize.cmi : asmcomp/reg.cmi asmcomp/mach.cmi bytecomp/lambda.cmi \
|
||||
asmcomp/debuginfo.cmi
|
||||
|
|
@ -661,16 +662,16 @@ asmcomp/asmlibrarian.cmx : utils/misc.cmx parsing/location.cmx \
|
|||
utils/config.cmx asmcomp/compilenv.cmx asmcomp/cmx_format.cmi \
|
||||
utils/clflags.cmx asmcomp/clambda.cmx utils/ccomp.cmx asmcomp/asmlink.cmx \
|
||||
asmcomp/asmlibrarian.cmi
|
||||
asmcomp/asmlink.cmo : bytecomp/runtimedef.cmi asmcomp/proc.cmi \
|
||||
utils/misc.cmi parsing/location.cmi asmcomp/emitaux.cmi asmcomp/emit.cmi \
|
||||
utils/consistbl.cmi utils/config.cmi asmcomp/compilenv.cmi \
|
||||
asmcomp/cmx_format.cmi asmcomp/cmmgen.cmi utils/clflags.cmi \
|
||||
utils/ccomp.cmi asmcomp/asmgen.cmi asmcomp/asmlink.cmi
|
||||
asmcomp/asmlink.cmx : bytecomp/runtimedef.cmx asmcomp/proc.cmx \
|
||||
utils/misc.cmx parsing/location.cmx asmcomp/emitaux.cmx asmcomp/emit.cmx \
|
||||
utils/consistbl.cmx utils/config.cmx asmcomp/compilenv.cmx \
|
||||
asmcomp/cmx_format.cmi asmcomp/cmmgen.cmx utils/clflags.cmx \
|
||||
utils/ccomp.cmx asmcomp/asmgen.cmx asmcomp/asmlink.cmi
|
||||
asmcomp/asmlink.cmo : bytecomp/runtimedef.cmi utils/misc.cmi \
|
||||
parsing/location.cmi asmcomp/emit.cmi utils/consistbl.cmi \
|
||||
utils/config.cmi asmcomp/compilenv.cmi asmcomp/cmx_format.cmi \
|
||||
asmcomp/cmmgen.cmi utils/clflags.cmi utils/ccomp.cmi asmcomp/asmgen.cmi \
|
||||
asmcomp/asmlink.cmi
|
||||
asmcomp/asmlink.cmx : bytecomp/runtimedef.cmx utils/misc.cmx \
|
||||
parsing/location.cmx asmcomp/emit.cmx utils/consistbl.cmx \
|
||||
utils/config.cmx asmcomp/compilenv.cmx asmcomp/cmx_format.cmi \
|
||||
asmcomp/cmmgen.cmx utils/clflags.cmx utils/ccomp.cmx asmcomp/asmgen.cmx \
|
||||
asmcomp/asmlink.cmi
|
||||
asmcomp/asmpackager.cmo : typing/typemod.cmi bytecomp/translmod.cmi \
|
||||
utils/misc.cmi parsing/location.cmi typing/ident.cmi typing/env.cmi \
|
||||
utils/config.cmi asmcomp/compilenv.cmi asmcomp/cmx_format.cmi \
|
||||
|
|
@ -743,34 +744,36 @@ asmcomp/debuginfo.cmx : parsing/location.cmx bytecomp/lambda.cmx \
|
|||
asmcomp/debuginfo.cmi
|
||||
asmcomp/emit.cmo : asmcomp/reg.cmi asmcomp/proc.cmi utils/misc.cmi \
|
||||
asmcomp/mach.cmi asmcomp/linearize.cmi bytecomp/lambda.cmi \
|
||||
asmcomp/intel_proc.cmi asmcomp/intel_masm.cmi asmcomp/intel_gas.cmi \
|
||||
asmcomp/intel_dsl.cmo asmcomp/intel_ast.cmi asmcomp/emitaux.cmi \
|
||||
asmcomp/debuginfo.cmi utils/config.cmi asmcomp/compilenv.cmi \
|
||||
asmcomp/cmm.cmi utils/clflags.cmi asmcomp/arch.cmo asmcomp/emit.cmi
|
||||
asmcomp/intel_proc.cmi asmcomp/intel_gas.cmi asmcomp/intel_dsl.cmi \
|
||||
asmcomp/intel_ast.cmi asmcomp/emitaux.cmi asmcomp/debuginfo.cmi \
|
||||
utils/config.cmi asmcomp/compilenv.cmi asmcomp/cmm.cmi utils/clflags.cmi \
|
||||
asmcomp/arch.cmo asmcomp/emit.cmi
|
||||
asmcomp/emit.cmx : asmcomp/reg.cmx asmcomp/proc.cmx utils/misc.cmx \
|
||||
asmcomp/mach.cmx asmcomp/linearize.cmx bytecomp/lambda.cmx \
|
||||
asmcomp/intel_proc.cmx asmcomp/intel_masm.cmx asmcomp/intel_gas.cmx \
|
||||
asmcomp/intel_dsl.cmx asmcomp/intel_ast.cmi asmcomp/emitaux.cmx \
|
||||
asmcomp/debuginfo.cmx utils/config.cmx asmcomp/compilenv.cmx \
|
||||
asmcomp/cmm.cmx utils/clflags.cmx asmcomp/arch.cmx asmcomp/emit.cmi
|
||||
asmcomp/intel_proc.cmx asmcomp/intel_gas.cmx asmcomp/intel_dsl.cmx \
|
||||
asmcomp/intel_ast.cmi asmcomp/emitaux.cmx asmcomp/debuginfo.cmx \
|
||||
utils/config.cmx asmcomp/compilenv.cmx asmcomp/cmm.cmx utils/clflags.cmx \
|
||||
asmcomp/arch.cmx asmcomp/emit.cmi
|
||||
asmcomp/emitaux.cmo : asmcomp/linearize.cmi asmcomp/debuginfo.cmi \
|
||||
utils/config.cmi utils/clflags.cmi asmcomp/arch.cmo asmcomp/emitaux.cmi
|
||||
asmcomp/emitaux.cmx : asmcomp/linearize.cmx asmcomp/debuginfo.cmx \
|
||||
utils/config.cmx utils/clflags.cmx asmcomp/arch.cmx asmcomp/emitaux.cmi
|
||||
asmcomp/intel_dsl.cmo : asmcomp/intel_proc.cmi asmcomp/intel_ast.cmi
|
||||
asmcomp/intel_dsl.cmx : asmcomp/intel_proc.cmx asmcomp/intel_ast.cmi
|
||||
asmcomp/intel_gas.cmo : asmcomp/intel_proc.cmi asmcomp/intel_ast.cmi \
|
||||
asmcomp/intel_gas.cmi
|
||||
asmcomp/intel_gas.cmx : asmcomp/intel_proc.cmx asmcomp/intel_ast.cmi \
|
||||
asmcomp/intel_gas.cmi
|
||||
asmcomp/intel_dsl.cmo : asmcomp/intel_proc.cmi asmcomp/intel_ast.cmi \
|
||||
asmcomp/intel_dsl.cmi
|
||||
asmcomp/intel_dsl.cmx : asmcomp/intel_proc.cmx asmcomp/intel_ast.cmi \
|
||||
asmcomp/intel_dsl.cmi
|
||||
asmcomp/intel_gas.cmo : utils/misc.cmi asmcomp/intel_proc.cmi \
|
||||
asmcomp/intel_ast.cmi asmcomp/intel_gas.cmi
|
||||
asmcomp/intel_gas.cmx : utils/misc.cmx asmcomp/intel_proc.cmx \
|
||||
asmcomp/intel_ast.cmi asmcomp/intel_gas.cmi
|
||||
asmcomp/intel_masm.cmo : asmcomp/intel_proc.cmi asmcomp/intel_ast.cmi \
|
||||
asmcomp/intel_masm.cmi
|
||||
asmcomp/intel_masm.cmx : asmcomp/intel_proc.cmx asmcomp/intel_ast.cmi \
|
||||
asmcomp/intel_masm.cmi
|
||||
asmcomp/intel_proc.cmo : utils/misc.cmi asmcomp/intel_ast.cmi \
|
||||
utils/config.cmi utils/clflags.cmi utils/ccomp.cmi asmcomp/intel_proc.cmi
|
||||
asmcomp/intel_proc.cmx : utils/misc.cmx asmcomp/intel_ast.cmi \
|
||||
utils/config.cmx utils/clflags.cmx utils/ccomp.cmx asmcomp/intel_proc.cmi
|
||||
asmcomp/intel_proc.cmo : asmcomp/intel_ast.cmi utils/config.cmi \
|
||||
utils/clflags.cmi utils/ccomp.cmi asmcomp/intel_proc.cmi
|
||||
asmcomp/intel_proc.cmx : asmcomp/intel_ast.cmi utils/config.cmx \
|
||||
utils/clflags.cmx utils/ccomp.cmx asmcomp/intel_proc.cmi
|
||||
asmcomp/interf.cmo : asmcomp/reg.cmi asmcomp/proc.cmi asmcomp/mach.cmi \
|
||||
asmcomp/interf.cmi
|
||||
asmcomp/interf.cmx : asmcomp/reg.cmx asmcomp/proc.cmx asmcomp/mach.cmx \
|
||||
|
|
|
|||
|
|
@ -0,0 +1,237 @@
|
|||
(***********************************************************************)
|
||||
(* *)
|
||||
(* OCaml *)
|
||||
(* *)
|
||||
(* Fabrice Le Fessant, projet Gallium, INRIA Rocquencourt *)
|
||||
(* *)
|
||||
(* Copyright 1996 Institut National de Recherche en Informatique et *)
|
||||
(* en Automatique. All rights reserved. This file is distributed *)
|
||||
(* under the terms of the Q Public License version 1.0. *)
|
||||
(* *)
|
||||
(***********************************************************************)
|
||||
|
||||
(** Helpers for Intel code generators *)
|
||||
|
||||
(* The DSL* modules expose functions to emit x86/x86_64 instructions
|
||||
using a syntax close to AT&T (in particular, arguments are reversed compared
|
||||
to the official Intel syntax).
|
||||
|
||||
Some notes:
|
||||
|
||||
- Unary floating point instructions such as fadd/fmul/fstp/fld/etc come with a single version
|
||||
supporting both the single and double precision instructions. (As with Intel syntax.)
|
||||
|
||||
- A legacy bug in GAS:
|
||||
https://sourceware.org/binutils/docs-2.22/as/i386_002dBugs.html#i386_002dBugs
|
||||
is not replicated here. It is managed by Intel_gas.
|
||||
*)
|
||||
|
||||
|
||||
open Intel_ast
|
||||
|
||||
module DSL : sig
|
||||
val sym: string -> arg
|
||||
val emit_nat: nativeint -> arg
|
||||
val int: int -> arg
|
||||
val const_64: int64 -> constant
|
||||
val const_32: int32 -> constant
|
||||
val const_nat: nativeint -> constant
|
||||
val const: int -> constant
|
||||
val _cfi_startproc: unit -> unit
|
||||
val _cfi_endproc: unit -> unit
|
||||
val _cfi_adjust_cfa_offset: int -> unit
|
||||
val _file: int -> string -> unit
|
||||
val _loc: int -> int -> unit
|
||||
val _text: unit -> unit
|
||||
val _data: unit -> unit
|
||||
val _section: string list -> string option -> string list -> unit
|
||||
val _386: unit -> unit
|
||||
val _model: string -> unit
|
||||
val _global: string -> unit
|
||||
val _align: int -> unit
|
||||
val _llabel: string -> unit
|
||||
val _comment: string -> unit
|
||||
val _extrn: string -> data_type -> unit
|
||||
val _private_extern: string -> unit
|
||||
val _indirect_symbol: string -> unit
|
||||
val _size: string -> constant -> unit
|
||||
val _type: string -> string -> unit
|
||||
val _qword: constant -> unit
|
||||
val _long: constant -> unit
|
||||
val _word: constant -> unit
|
||||
val _byte: constant -> unit
|
||||
val _ascii: string -> unit
|
||||
val _space: int -> unit
|
||||
val _setvar: string * constant -> unit
|
||||
val _end: unit -> unit
|
||||
val al: arg
|
||||
val ah: arg
|
||||
val cl: arg
|
||||
val ax: arg
|
||||
val rax: arg
|
||||
val r10: arg
|
||||
val r11: 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 st0: arg
|
||||
val st1: arg
|
||||
end
|
||||
module INS : sig
|
||||
val jmp: arg -> unit
|
||||
val call: arg -> unit
|
||||
val set: condition -> arg -> unit
|
||||
val j: condition -> arg -> unit
|
||||
val je: arg -> unit
|
||||
val jae: arg -> unit
|
||||
val jb: arg -> unit
|
||||
val jg: arg -> unit
|
||||
val jbe: arg -> unit
|
||||
val ja: arg -> unit
|
||||
val jne: arg -> unit
|
||||
val jp: arg -> unit
|
||||
val ret: unit -> unit
|
||||
val hlt: unit -> unit
|
||||
val nop: unit -> unit
|
||||
val movw: arg * arg -> unit
|
||||
val decb: arg -> unit
|
||||
val cmpb: arg * arg -> unit
|
||||
val movb: arg * arg -> unit
|
||||
val andb: arg * arg -> unit
|
||||
val xorb: arg * arg -> unit
|
||||
val testb: arg * arg -> unit
|
||||
val movl: arg * arg -> unit
|
||||
end
|
||||
module INS32 : sig
|
||||
include module type of INS
|
||||
|
||||
val addl: arg * arg -> unit
|
||||
val subl: arg * arg -> unit
|
||||
val andl: arg * arg -> unit
|
||||
val orl: arg * arg -> unit
|
||||
val xorl: arg * arg -> unit
|
||||
val cmpl: arg * arg -> unit
|
||||
val testl: arg * arg -> unit
|
||||
val movzbl: arg * arg -> unit
|
||||
val movsbl: arg * arg -> unit
|
||||
val movzwl: arg * arg -> unit
|
||||
val movswl: arg * arg -> unit
|
||||
val sall: arg * arg -> unit
|
||||
val sarl: arg * arg -> unit
|
||||
val shrl: arg * arg -> unit
|
||||
val imull: arg * arg option -> unit
|
||||
val idivl: arg -> unit
|
||||
val popl: arg -> unit
|
||||
val pushl: arg -> unit
|
||||
val decl: arg -> unit
|
||||
val incl: arg -> unit
|
||||
val leal: arg * arg -> unit
|
||||
val fistpl: arg -> unit
|
||||
val fildl: arg -> unit
|
||||
val fchs: unit -> unit
|
||||
val fabs: unit -> unit
|
||||
val fadd: arg -> unit
|
||||
val fsub: arg -> unit
|
||||
val fdiv: arg -> unit
|
||||
val fmul: arg -> unit
|
||||
val fsubr: arg -> unit
|
||||
val fdivr: arg -> unit
|
||||
val faddp: arg * arg -> unit
|
||||
val fmulp: arg * arg -> unit
|
||||
val fcompp: unit -> unit
|
||||
val fcomp: arg -> unit
|
||||
val fld: arg -> unit
|
||||
val fnstsw: arg -> unit
|
||||
val fld1: unit -> unit
|
||||
val fpatan: unit -> unit
|
||||
val fptan: unit -> unit
|
||||
val fcos: unit -> unit
|
||||
val fldln2: unit -> unit
|
||||
val fldlg2: unit -> unit
|
||||
val fxch: arg -> unit
|
||||
val fyl2x: unit -> unit
|
||||
val fsin: unit -> unit
|
||||
val fsqrt: unit -> unit
|
||||
val fstp: arg -> unit
|
||||
val fldz: unit -> unit
|
||||
val fnstcw: arg -> unit
|
||||
val fldcw: arg -> unit
|
||||
val cltd: unit -> unit
|
||||
val fsubp: arg * arg -> unit
|
||||
val fsubrp: arg * arg -> unit
|
||||
val fdivp: arg * arg -> unit
|
||||
val fdivrp: arg * arg -> unit
|
||||
end
|
||||
module DSL32 : sig
|
||||
include module type of DSL
|
||||
|
||||
val _label: string -> unit
|
||||
val mem_ptr:
|
||||
data_type -> ?scale:int -> ?base:register32 -> ?sym:string ->
|
||||
int -> register32 -> arg
|
||||
val mem_sym: data_type -> ?ofs:int -> string -> arg
|
||||
end
|
||||
module INS64 : sig
|
||||
include module type of INS
|
||||
|
||||
val addq: arg * arg -> unit
|
||||
val subq: arg * arg -> unit
|
||||
val andq: arg * arg -> unit
|
||||
val orq: arg * arg -> unit
|
||||
val xorq: arg * arg -> unit
|
||||
val cmpq: arg * arg -> unit
|
||||
val testq: arg * arg -> unit
|
||||
val movq: arg * arg -> unit
|
||||
val movzbq: arg * arg -> unit
|
||||
val movsbq: arg * arg -> unit
|
||||
val movzwq: arg * arg -> unit
|
||||
val movswq: arg * arg -> unit
|
||||
val idivq: arg -> unit
|
||||
val salq: arg * arg -> unit
|
||||
val sarq: arg * arg -> unit
|
||||
val shrq: arg * arg -> unit
|
||||
val imulq: arg * arg option -> unit
|
||||
val popq: arg -> unit
|
||||
val pushq: arg -> unit
|
||||
val leaq: arg * arg -> unit
|
||||
val movsd: arg * arg -> unit
|
||||
val ucomisd: arg * arg -> unit
|
||||
val comisd: arg * arg -> unit
|
||||
val movapd: arg * arg -> unit
|
||||
val movabsq: int64 * arg -> unit
|
||||
val xorpd: arg * arg -> unit
|
||||
val andpd: arg * arg -> unit
|
||||
val movslq: arg * arg -> unit
|
||||
val movss: arg * arg -> unit
|
||||
val cvtss2sd: arg * arg -> unit
|
||||
val cvtsd2ss: arg * arg -> unit
|
||||
val cvtsi2sd: arg * arg -> unit
|
||||
val cvttsd2si: arg * arg -> unit
|
||||
val addsd: arg * arg -> unit
|
||||
val subsd: arg * arg -> unit
|
||||
val mulsd: arg * arg -> unit
|
||||
val divsd: arg * arg -> unit
|
||||
val sqrtsd: arg * arg -> unit
|
||||
val cqto: unit -> unit
|
||||
val incq: arg -> unit
|
||||
val decq: arg -> unit
|
||||
val xchg: arg * arg -> unit
|
||||
val bswap: arg -> unit
|
||||
end
|
||||
module DSL64 : sig
|
||||
include module type of DSL
|
||||
|
||||
val _label: string -> unit
|
||||
val mem_ptr:
|
||||
data_type -> ?scale:int -> ?base:register64 ->
|
||||
int -> register64 -> arg
|
||||
val from_rip: data_type -> ?ofs:int -> string -> arg
|
||||
end
|
||||
Loading…
Reference in New Issue