diff options
Diffstat (limited to 'mppa_k1c/Asmexpand.ml')
-rw-r--r-- | mppa_k1c/Asmexpand.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index 0252ce85..265de410 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -350,6 +350,7 @@ match !vararg_start_ofs with invalid_arg "Fatal error: va_start used in non-vararg function" | Some ofs -> expand_addptrofs Asmblock.GPR32 Asmblock.GPR12 (Ptrofs.repr ofs); + emit Psemi; expand_storeind_ptr Asmblock.GPR32 r Ptrofs.zero (* Auxiliary for 64-bit integer arithmetic built-ins. They expand to |