diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-07 19:23:28 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-07 19:23:28 +0200 |
| commit | e1ae915f648df0137d0f183f3b992583528184a7 (patch) | |
| tree | cb73d05d54b2ed0db62e58ffcba6c7b60642b492 | |
| parent | 270001bc0bfa6e8e98362bdbdf7ff93e2670b1fa (diff) | |
| download | compcert-kvx-e1ae915f648df0137d0f183f3b992583528184a7.tar.gz compcert-kvx-e1ae915f648df0137d0f183f3b992583528184a7.zip | |
fix linking bug (my fault)
| -rw-r--r-- | mppa_k1c/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index 58cfa4c8..db0ddd29 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -461,7 +461,7 @@ let expand_instruction instr = end else begin let below = Ptrofs.repr (Z.neg sz) in expand_addptrofs stack_pointer stack_pointer below; - expand_storeind_ptr Asmvliw.GPR17 stack_pointer (Ptrofs.add ofs below); + expand_storeind_ptr stack_pointer stack_pointer (Ptrofs.add ofs below); (* DM we don't need it emit Psemi; *) vararg_start_ofs := None end |