Module `X86_dsl.I`

val add : X86_ast.arg -> X86_ast.arg -> unit

val adc : X86_ast.arg -> X86_ast.arg -> unit

val and_ : X86_ast.arg -> X86_ast.arg -> unit

val bsf : X86_ast.arg -> X86_ast.arg -> unit

val bsr : X86_ast.arg -> X86_ast.arg -> unit

val bswap : X86_ast.arg -> unit

val call : X86_ast.arg -> unit

val cdq : unit -> unit

val cldemote : X86_ast.arg -> unit

val cmov : X86_ast.condition -> X86_ast.arg -> X86_ast.arg -> unit

val cmp : X86_ast.arg -> X86_ast.arg -> unit

val cqo : unit -> unit

val dec : X86_ast.arg -> unit

val hlt : unit -> unit

val idiv : X86_ast.arg -> unit

val imul : X86_ast.arg -> X86_ast.arg option -> unit

val mul : X86_ast.arg -> unit

val inc : X86_ast.arg -> unit

val j : X86_ast.condition -> X86_ast.arg -> unit

val ja : X86_ast.arg -> unit

val jae : X86_ast.arg -> unit

val jb : X86_ast.arg -> unit

val jbe : X86_ast.arg -> unit

val je : X86_ast.arg -> unit

val jg : X86_ast.arg -> unit

val jl : X86_ast.arg -> unit

val jmp : X86_ast.arg -> unit

val jne : X86_ast.arg -> unit

val jp : X86_ast.arg -> unit

val lea : X86_ast.arg -> X86_ast.arg -> unit

val lock_cmpxchg : X86_ast.arg -> X86_ast.arg -> unit

val lock_xadd : X86_ast.arg -> X86_ast.arg -> unit

val lock_add : X86_ast.arg -> X86_ast.arg -> unit

val lock_sub : X86_ast.arg -> X86_ast.arg -> unit

val lock_and : X86_ast.arg -> X86_ast.arg -> unit

val lock_or : X86_ast.arg -> X86_ast.arg -> unit

val lock_xor : X86_ast.arg -> X86_ast.arg -> unit

val mov : X86_ast.arg -> X86_ast.arg -> unit

val movsx : X86_ast.arg -> X86_ast.arg -> unit

val movsxd : X86_ast.arg -> X86_ast.arg -> unit

val movzx : X86_ast.arg -> X86_ast.arg -> unit

val neg : X86_ast.arg -> unit

val nop : unit -> unit

val or_ : X86_ast.arg -> X86_ast.arg -> unit

val pause : unit -> unit

val pop : X86_ast.arg -> unit

val prefetch : 
  bool ->
  X86_ast.prefetch_temporal_locality_hint ->
  X86_ast.arg ->
  unit

val push : X86_ast.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 sal : X86_ast.arg -> X86_ast.arg -> unit

val sar : X86_ast.arg -> X86_ast.arg -> unit

val set : X86_ast.condition -> X86_ast.arg -> unit

val shr : X86_ast.arg -> X86_ast.arg -> unit

val sub : X86_ast.arg -> X86_ast.arg -> unit

val sbb : X86_ast.arg -> X86_ast.arg -> unit

val test : X86_ast.arg -> X86_ast.arg -> unit

val xchg : X86_ast.arg -> X86_ast.arg -> unit

val xor : X86_ast.arg -> X86_ast.arg -> unit

val simd : Amd64_simd_instrs.instr -> X86_ast.arg array -> unit

Module X86_dsl.I

Module `X86_dsl.I`