diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-01-17 16:37:41 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-01-17 16:37:41 +0100 |
commit | 3039952eeba967a60bcca13b231cee7021f72daf (patch) | |
tree | dd81159f9f110378c4fdbf244e055d1e7900cdae /mppa_k1c | |
parent | 5609035afa76eac2fd284a8ad5c190e2347ee88b (diff) | |
download | compcert-kvx-3039952eeba967a60bcca13b231cee7021f72daf.tar.gz compcert-kvx-3039952eeba967a60bcca13b231cee7021f72daf.zip |
Ommited a ;; in va_arg_start macro
Diffstat (limited to 'mppa_k1c')
-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 |