diff options
Diffstat (limited to 'riscV/ExpansionOracle.ml')
-rw-r--r-- | riscV/ExpansionOracle.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml index 6eb82274..c03e0d03 100644 --- a/riscV/ExpansionOracle.ml +++ b/riscV/ExpansionOracle.ml @@ -117,7 +117,7 @@ let load_hilo64 dest hi lo succ map_consts not_final = let loadimm32 dest n succ map_consts not_final = match make_immed32 n with | Imm32_single imm -> - let op1 = OEaddiwr0 imm in + let op1 = OEimmR0 (OPimmADD imm) in let sv = find_or_addnmove op1 [] dest succ map_consts not_final in build_head_tuple [] sv | Imm32_pair (hi, lo) -> load_hilo32 dest hi lo succ map_consts not_final @@ -125,7 +125,7 @@ let loadimm32 dest n succ map_consts not_final = let loadimm64 dest n succ map_consts not_final = match make_immed64 n with | Imm64_single imm -> - let op1 = OEaddilr0 imm in + let op1 = OEimmR0 (OPimmADDL imm) in let sv = find_or_addnmove op1 [] dest succ map_consts not_final in build_head_tuple [] sv | Imm64_pair (hi, lo) -> load_hilo64 dest hi lo succ map_consts not_final |