diff options
Diffstat (limited to 'src/Specific/solinas32_2e401m31')
-rw-r--r-- | src/Specific/solinas32_2e401m31/femul.h | 6 | ||||
-rw-r--r-- | src/Specific/solinas32_2e401m31/fesquare.h | 6 | ||||
-rw-r--r-- | src/Specific/solinas32_2e401m31/freeze.h | 6 |
3 files changed, 0 insertions, 18 deletions
diff --git a/src/Specific/solinas32_2e401m31/femul.h b/src/Specific/solinas32_2e401m31/femul.h deleted file mode 100644 index c4089fc7d..000000000 --- a/src/Specific/solinas32_2e401m31/femul.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <stdint.h> - -#undef force_inline -#define force_inline __attribute__((always_inline)) - -void force_inline femul(uint64_t* out, uint64_t x32, uint64_t x33, uint64_t x31, uint64_t x29, uint64_t x27, uint64_t x25, uint64_t x23, uint64_t x21, uint64_t x19, uint64_t x17, uint64_t x15, uint64_t x13, uint64_t x11, uint64_t x9, uint64_t x7, uint64_t x5, uint64_t x62, uint64_t x63, uint64_t x61, uint64_t x59, uint64_t x57, uint64_t x55, uint64_t x53, uint64_t x51, uint64_t x49, uint64_t x47, uint64_t x45, uint64_t x43, uint64_t x41, uint64_t x39, uint64_t x37, uint64_t x35); diff --git a/src/Specific/solinas32_2e401m31/fesquare.h b/src/Specific/solinas32_2e401m31/fesquare.h deleted file mode 100644 index c86247b3d..000000000 --- a/src/Specific/solinas32_2e401m31/fesquare.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <stdint.h> - -#undef force_inline -#define force_inline __attribute__((always_inline)) - -void force_inline fesquare(uint64_t* out, uint64_t x29, uint64_t x30, uint64_t x28, uint64_t x26, uint64_t x24, uint64_t x22, uint64_t x20, uint64_t x18, uint64_t x16, uint64_t x14, uint64_t x12, uint64_t x10, uint64_t x8, uint64_t x6, uint64_t x4, uint64_t x2); diff --git a/src/Specific/solinas32_2e401m31/freeze.h b/src/Specific/solinas32_2e401m31/freeze.h deleted file mode 100644 index a955633b6..000000000 --- a/src/Specific/solinas32_2e401m31/freeze.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <stdint.h> - -#undef force_inline -#define force_inline __attribute__((always_inline)) - -void force_inline freeze(uint64_t* out, uint64_t x29, uint64_t x30, uint64_t x28, uint64_t x26, uint64_t x24, uint64_t x22, uint64_t x20, uint64_t x18, uint64_t x16, uint64_t x14, uint64_t x12, uint64_t x10, uint64_t x8, uint64_t x6, uint64_t x4, uint64_t x2); |