p256_64.h File Reference

#include <stdint.h>

Include dependency graph for p256_64.h:

Go to the source code of this file.

Typedefs
typedef signed char	fiat_p256_int1
typedef signed __int128	fiat_p256_int128
typedef unsigned char	fiat_p256_uint1
typedef unsigned __int128	fiat_p256_uint128

Functions
static void	fiat_p256_add (uint64_t out1[4], const uint64_t arg1[4], const uint64_t arg2[4])
static void	fiat_p256_addcarryx_u64 (uint64_t *out1, fiat_p256_uint1 *out2, fiat_p256_uint1 arg1, uint64_t arg2, uint64_t arg3)
static void	fiat_p256_cmovznz_u64 (uint64_t *out1, fiat_p256_uint1 arg1, uint64_t arg2, uint64_t arg3)
static void	fiat_p256_from_bytes (uint64_t out1[4], const uint8_t arg1[32])
static void	fiat_p256_from_montgomery (uint64_t out1[4], const uint64_t arg1[4])
static void	fiat_p256_mul (uint64_t out1[4], const uint64_t arg1[4], const uint64_t arg2[4])
static void	fiat_p256_mulx_u64 (uint64_t *out1, uint64_t *out2, uint64_t arg1, uint64_t arg2)
static void	fiat_p256_nonzero (uint64_t *out1, const uint64_t arg1[4])
static void	fiat_p256_opp (uint64_t out1[4], const uint64_t arg1[4])
static void	fiat_p256_selectznz (uint64_t out1[4], fiat_p256_uint1 arg1, const uint64_t arg2[4], const uint64_t arg3[4])
static void	fiat_p256_square (uint64_t out1[4], const uint64_t arg1[4])
static void	fiat_p256_sub (uint64_t out1[4], const uint64_t arg1[4], const uint64_t arg2[4])
static void	fiat_p256_subborrowx_u64 (uint64_t *out1, fiat_p256_uint1 *out2, fiat_p256_uint1 arg1, uint64_t arg2, uint64_t arg3)
static void	fiat_p256_to_bytes (uint8_t out1[32], const uint64_t arg1[4])

Typedef Documentation

fiat_p256_int1

typedef signed char fiat_p256_int1

Definition at line 16 of file p256_64.h.

fiat_p256_int128

typedef signed __int128 fiat_p256_int128

Definition at line 17 of file p256_64.h.

fiat_p256_uint1

typedef unsigned char fiat_p256_uint1

Definition at line 15 of file p256_64.h.

fiat_p256_uint128

typedef unsigned __int128 fiat_p256_uint128

Definition at line 18 of file p256_64.h.

Function Documentation

fiat_p256_add()

static void fiat_p256_add ( uint64_t  out1[4], const uint64_t  arg1[4], const uint64_t  arg2[4]  )

static

Definition at line 722 of file p256_64.h.

fiat_p256_addcarryx_u64()

static void fiat_p256_addcarryx_u64 ( uint64_t *  out1, fiat_p256_uint1 *  out2, fiat_p256_uint1  arg1, uint64_t  arg2, uint64_t  arg3  )

static

Definition at line 39 of file p256_64.h.

fiat_p256_cmovznz_u64()

static void fiat_p256_cmovznz_u64 ( uint64_t *  out1, fiat_p256_uint1  arg1, uint64_t  arg2, uint64_t  arg3  )

static

Definition at line 102 of file p256_64.h.

fiat_p256_from_bytes()

static void fiat_p256_from_bytes ( uint64_t  out1[4], const uint8_t  arg1[32]  )

static

Definition at line 1181 of file p256_64.h.

fiat_p256_from_montgomery()

static void fiat_p256_from_montgomery ( uint64_t  out1[4], const uint64_t  arg1[4]  )

static

Definition at line 871 of file p256_64.h.

fiat_p256_mul()

static void fiat_p256_mul ( uint64_t  out1[4], const uint64_t  arg1[4], const uint64_t  arg2[4]  )

static

Definition at line 130 of file p256_64.h.

fiat_p256_mulx_u64()

static void fiat_p256_mulx_u64 ( uint64_t *  out1, uint64_t *  out2, uint64_t  arg1, uint64_t  arg2  )

static

Definition at line 82 of file p256_64.h.

fiat_p256_nonzero()

static void fiat_p256_nonzero ( uint64_t *  out1, const uint64_t  arg1[4]  )

static

Definition at line 1026 of file p256_64.h.

fiat_p256_opp()

static void fiat_p256_opp ( uint64_t  out1[4], const uint64_t  arg1[4]  )

static

Definition at line 825 of file p256_64.h.

fiat_p256_selectznz()

static void fiat_p256_selectznz ( uint64_t  out1[4], fiat_p256_uint1  arg1, const uint64_t  arg2[4], const uint64_t  arg3[4]  )

static

Definition at line 1043 of file p256_64.h.

fiat_p256_square()

static void fiat_p256_square ( uint64_t  out1[4], const uint64_t  arg1[4]  )

static

Definition at line 425 of file p256_64.h.

fiat_p256_sub()

static void fiat_p256_sub ( uint64_t  out1[4], const uint64_t  arg1[4], const uint64_t  arg2[4]  )

static

Definition at line 779 of file p256_64.h.

fiat_p256_subborrowx_u64()

static void fiat_p256_subborrowx_u64 ( uint64_t *  out1, fiat_p256_uint1 *  out2, fiat_p256_uint1  arg1, uint64_t  arg2, uint64_t  arg3  )

static

Definition at line 61 of file p256_64.h.

fiat_p256_to_bytes()

static void fiat_p256_to_bytes ( uint8_t  out1[32], const uint64_t  arg1[4]  )

static

Definition at line 1070 of file p256_64.h.