From 83b556a101b7ed490acf9e127c5b4b9db40e1019 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Tue, 30 Mar 2021 11:25:28 +0200 Subject: Now a more general way to perform imm operations --- riscV/ExpansionOracle.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'riscV/ExpansionOracle.ml') 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 -- cgit