diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-04-22 16:16:43 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-04-22 16:16:43 +0200 |
| commit | fe85f7ec7f585232e74417c84fe794311178ca08 (patch) | |
| tree | f75e5c0beda44ee0f5cea4b29fcf58d521894d45 | |
| parent | 340b2a77847472d6aebffb8af9994f1d8c63a215 (diff) | |
| download | ocaml-fe85f7ec7f585232e74417c84fe794311178ca08.tar.gz | |
AMD64 emitter: replace a trivial `lea` by a `mov`
| -rw-r--r-- | asmcomp/amd64/emit.mlp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index 39fa014ce7..7efbe75aa6 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -538,7 +538,7 @@ let emit_instr env fallthrough i = | Lop(Iextcall { func; alloc; stack_ofs }) -> add_used_symbol func; if stack_ofs > 0 then begin - I.lea (mem64 QWORD 0 RSP) r13; + I.mov rsp r13; I.lea (mem64 QWORD stack_ofs RSP) r12; load_symbol_addr func rax; emit_call "caml_c_call_stack_args"; |