From 3ca227f1137e6a3b65bc33f5689e1c230d591595 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Tue, 8 Jan 2019 04:21:38 -0500 Subject: remove old pipeline --- src/Specific/montgomery64_2e141m9_3limbs/feopp.c | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 src/Specific/montgomery64_2e141m9_3limbs/feopp.c (limited to 'src/Specific/montgomery64_2e141m9_3limbs/feopp.c') diff --git a/src/Specific/montgomery64_2e141m9_3limbs/feopp.c b/src/Specific/montgomery64_2e141m9_3limbs/feopp.c deleted file mode 100644 index 53662378d..000000000 --- a/src/Specific/montgomery64_2e141m9_3limbs/feopp.c +++ /dev/null @@ -1,19 +0,0 @@ -static void feopp(uint64_t out[3], const uint64_t in1[3]) { - { const uint64_t x3 = in1[2]; - { const uint64_t x4 = in1[1]; - { const uint64_t x2 = in1[0]; - { uint64_t x6; uint8_t x7 = _subborrow_u64(0x0, 0x0, x2, &x6); - { uint64_t x9; uint8_t x10 = _subborrow_u64(x7, 0x0, x4, &x9); - { uint64_t x12; uint8_t x13 = _subborrow_u64(x10, 0x0, x3, &x12); - { uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL); - { uint64_t x15 = (x14 & 0xfffffffffffffff7L); - { uint64_t x17; uint8_t x18 = _addcarryx_u64(0x0, x6, x15, &x17); - { uint64_t x19 = (x14 & 0xffffffffffffffffL); - { uint64_t x21; uint8_t x22 = _addcarryx_u64(x18, x9, x19, &x21); - { uint64_t x23 = (x14 & 0x1fff); - { uint64_t x25; uint8_t _ = _addcarryx_u64(x22, x12, x23, &x25); - out[0] = x17; - out[1] = x21; - out[2] = x25; - }}}}}}}}}}}}} -} -- cgit v1.2.3