Searched defs:dest_reg (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A Dcodegen_inputLib.sml73 val dest_reg = dest_var_char #"r" value
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegen_inputLib.sml73 val dest_reg = dest_var_char #"r" value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/prog/
H A Dmips_progLib.sml323 val dest_reg = dest_mips_gpr value
/seL4-l4v-master/HOL4/examples/l3-machine-code/riscv/prog/
H A Driscv_progLib.sml265 fun dest_reg tm = let val (_, n, v) = dest_riscv_gpr tm in (n, v) end function
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm8/prog/
H A Darm8_progLib.sml260 val dest_reg = dest_arm8_REG value
/seL4-l4v-master/HOL4/examples/l3-machine-code/m0/prog/
H A Dm0_progLib.sml282 val dest_reg = dest_m0_REG value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_progLib.sml344 val dest_reg = dest_arm_REG value
359 fun dest_reg tm = function

Completed in 111 milliseconds