blob: e9c4bd677592da44d799d4ada9d7ea12dd353eed (
plain)
1
2
3
4
5
6
|
#include <stdint.h>
#undef force_inline
#define force_inline __attribute__((always_inline))
void force_inline fesub(uint64_t* out, uint64_t x12, uint64_t x13, uint64_t x11, uint64_t x9, uint64_t x7, uint64_t x5, uint64_t x22, uint64_t x23, uint64_t x21, uint64_t x19, uint64_t x17, uint64_t x15);
|