diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 10:12:12 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-09-17 10:12:12 +0200 |
| commit | fccfa9b6ac74953af188a2538eb9cd7258544c1a (patch) | |
| tree | 147da02e54f612a661391222ce7affe322dc19f9 /kvx/Asmexpand.ml | |
| parent | b09852e25159fd5c2634d3cf87fe6c9e120a1941 (diff) | |
| download | compcert-kvx-fccfa9b6ac74953af188a2538eb9cd7258544c1a.tar.gz compcert-kvx-fccfa9b6ac74953af188a2538eb9cd7258544c1a.zip | |
FIX CODEGEN BUG Pallocframe
Diffstat (limited to 'kvx/Asmexpand.ml')
| -rw-r--r-- | kvx/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kvx/Asmexpand.ml b/kvx/Asmexpand.ml index 35c980bb..f84cf22d 100644 --- a/kvx/Asmexpand.ml +++ b/kvx/Asmexpand.ml @@ -517,8 +517,8 @@ let expand_instruction instr = end else begin let below = Integers.Ptrofs.repr (Z.neg sz) in expand_addptrofs stack_pointer stack_pointer below; - emit Psemi; (* Psemi required to fit in resource constraints *) expand_storeind_ptr stack_pointer stack_pointer (Integers.Ptrofs.add ofs below); + emit Psemi; (* Psemi required to fit in resource constraints *) vararg_start_ofs := None end | Pfreeframe (sz, ofs) -> |