From 9dd4b1568e1e20df1169d8d10e2339b74c8adecc Mon Sep 17 00:00:00 2001
From: Kris Kwiatkowski <kris@cloudflare.com>
Date: Fri, 19 Apr 2019 14:33:49 +0100
Subject: [PATCH] WIP

Change-Id: I0736df54239e9ccbf61d463ea1fb19d03a955bf5
---
 third_party/sike/asm/fp-x86_64.pl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/third_party/sike/asm/fp-x86_64.pl b/third_party/sike/asm/fp-x86_64.pl
index 0e20fa4f..8ed3b24e 100755
--- a/third_party/sike/asm/fp-x86_64.pl
+++ b/third_party/sike/asm/fp-x86_64.pl
@@ -20,7 +20,7 @@ open OUT,"| \"$^X\" \"$xlate\" $flavour \"$output\"";
 *STDOUT=*OUT;
 
 $PREFIX="sike";
-$addx = 1;
+$addx = 0;
 $bmi2_adx = 1;
 
 # Swaps 16-bytes pointed by %rdi and %rsi
@@ -1352,7 +1352,7 @@ $code.=<<___ if ($bmi2_adx);
 #  Operation: c [rsi] = a [rdi]
 #  NOTE: a=c is not allowed
 
-.rdc503_mulx_asm:
+.rdc_mulx_asm:
 .cfi_startproc
   # sike_fprdc has already pushed r12--15 and rbx by this point.
 .cfi_adjust_cfa_offset 32
@@ -1533,7 +1533,7 @@ $code.=<<___  if ($bmi2_adx);
   mov 8(%rcx), %rcx
   and \$0x80100, %ecx
   cmp \$0x80100, %ecx
-  je  .rdc503_mulx_asm
+  je  .rdc_mulx_asm
 ___
 
 # Reduction, generic x86 implementation