Update asm with swap args hack

mit-plv · Apr 14, 2022 · ff41a45 · ff41a45
1 parent 8d2c3f9
commit ff41a45
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/fiat-amd64/boringssl_intel_manual_mul_p256.asm b/fiat-amd64/boringssl_intel_manual_mul_p256.asm
@@ -7,6 +7,7 @@ push   r12
 push   r13
 push   r14
 push   r15
+xchg   rdx,rsi                  ; hack: swap args
 mov    rbx,rdx
 mov    rax,QWORD PTR [rbx]
 mov    r9,QWORD PTR [rsi]