aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/ExpansionOracle.ml
diff options
context:
space:
mode:
authorLéo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>2021-03-30 11:25:28 +0200
committerLéo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>2021-03-30 11:25:28 +0200
commit83b556a101b7ed490acf9e127c5b4b9db40e1019 (patch)
tree87752eb10d6e3842e1ae5ca141c7147d4933af5e /riscV/ExpansionOracle.ml
parent0d98d7fec937d3a9a2324f1731b041cfbf16dcbe (diff)
downloadcompcert-kvx-83b556a101b7ed490acf9e127c5b4b9db40e1019.tar.gz
compcert-kvx-83b556a101b7ed490acf9e127c5b4b9db40e1019.zip
Now a more general way to perform imm operations
Diffstat (limited to 'riscV/ExpansionOracle.ml')
-rw-r--r--riscV/ExpansionOracle.ml4
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