| #include <openssl/base.h> |
| #include "bedrock_unverified_platform.c.inc" |
| |
| #if defined(BORINGSSL_HAS_UINT128) |
| #include "p256_64.h" |
| #elif defined(OPENSSL_64_BIT) |
| #include "p256_64_msvc.h" |
| #else |
| #include "p256_field_32.br.c.inc" |
| #include "p256_32.h" |
| // the 32-bit Bedrock-generated field halving calls Fiat-C code for add, sub |
| static inline void p256_coord_add(br_word_t out, br_word_t x, br_word_t y) { |
| fiat_p256_add((uint32_t*)out, (const uint32_t*)x, (const uint32_t*)y); |
| } |
| static inline void p256_coord_sub(br_word_t out, br_word_t x, br_word_t y) { |
| fiat_p256_sub((uint32_t*)out, (const uint32_t*)x, (const uint32_t*)y); |
| } |
| #endif |
| |
| // the Bedrock-generated point operations call Fiat-C or Fiat-x86 mul, sqr |
| static inline void p256_coord_mul(br_word_t out, br_word_t x, br_word_t y) { |
| fiat_p256_mul((br_word_t*)out, (const br_word_t*)x, (const br_word_t*)y); |
| } |
| static inline void p256_coord_sqr(br_word_t out, br_word_t x) { |
| fiat_p256_square((br_word_t*)out, (const br_word_t*)x); |
| } |
