diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 11:43:28 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 15:59:07 +0200 |
commit | d870e17a7a964b48d8e44195ccd12e4160a63f32 (patch) | |
tree | 3b16e98d6a1044be90dbff1642e3386ec276cb2d /mppa_k1c/Asmexpand.ml | |
parent | 95926365caa7577f0936cdd4ab705d28b3d1457d (diff) | |
download | compcert-kvx-d870e17a7a964b48d8e44195ccd12e4160a63f32.tar.gz compcert-kvx-d870e17a7a964b48d8e44195ccd12e4160a63f32.zip |
Extraction issue
Diffstat (limited to 'mppa_k1c/Asmexpand.ml')
-rw-r--r-- | mppa_k1c/Asmexpand.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index b3a1e836..20abfc38 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -47,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 (Asmgen.addptrofs dst src n []) + List.iter emit (Asm.addptrofs dst src n []) let expand_storeind_ptr src base ofs = - List.iter emit (Asmgen.storeind_ptr src base ofs []) + List.iter emit (Asm.storeind_ptr src base ofs []) (* Built-ins. They come in two flavors: - annotation statements: take their arguments in registers or stack |