diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-07 19:01:55 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-07 19:01:55 +0200 |
| commit | 270001bc0bfa6e8e98362bdbdf7ff93e2670b1fa (patch) | |
| tree | 6332bcb55d6469dff7c18b5ba1d6bd2561234479 /mppa_k1c/Asmexpand.ml | |
| parent | 89a0a0e4acc6ea895a3eb702be88caf42c7096f8 (diff) | |
| download | compcert-kvx-270001bc0bfa6e8e98362bdbdf7ff93e2670b1fa.tar.gz compcert-kvx-270001bc0bfa6e8e98362bdbdf7ff93e2670b1fa.zip | |
put the get ra in same bundle as allocframe
Diffstat (limited to 'mppa_k1c/Asmexpand.ml')
| -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 94846793..58cfa4c8 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -462,7 +462,7 @@ let expand_instruction instr = 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); - emit Psemi; + (* DM we don't need it emit Psemi; *) vararg_start_ofs := None end | Pfreeframe (sz, ofs) -> |