diff options
Diffstat (limited to 'mppa_k1c/Asmexpand.ml')
-rw-r--r-- | mppa_k1c/Asmexpand.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index 45fe9b32..0fcc1212 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -20,7 +20,6 @@ of the RISC-V assembly code. *) open Asm -open Asmgen open Asmexpandaux open AST open Camlcoq @@ -48,9 +47,9 @@ let align n a = (n + a - 1) land (-a) List.iter emit (Asmgen.loadimm32 dst n []) *) let expand_addptrofs dst src n = - List.iter emit (addptrofs dst src n :: []) + List.iter emit (basic_to_instruction (Asmblock.PArith (Asmblockgen.addptrofs dst src n)) :: []) let expand_storeind_ptr src base ofs = - List.iter emit (storeind_ptr src base ofs :: []) + List.iter emit (basic_to_instruction (Asmblockgen.storeind_ptr src base ofs) :: []) (* Built-ins. They come in two flavors: - annotation statements: take their arguments in registers or stack |