diff options
Diffstat (limited to 'arm/Asmexpand.ml')
| -rw-r--r-- | arm/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml index 1a473e03..fbe2e0bb 100644 --- a/arm/Asmexpand.ml +++ b/arm/Asmexpand.ml @@ -421,7 +421,7 @@ let expand_instruction instr = let ofs' = camlint_of_coqint ofs in if ofs' >= 4096l && sz' >= ofs' then begin expand_subimm IR13 IR13 (coqint_of_camlint (Int32.sub sz' (Int32.add ofs' 4l))); - emit (Ppush [IR13]); + emit (Ppush [IR12]); expand_subimm IR13 IR13 ofs; emit (Pcfi_adjust sz); end else begin |