p256_32.h File Reference

#include <stdint.h>

Include dependency graph for p256_32.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef signed char	fiat_p256_int1
typedef unsigned char	fiat_p256_uint1

Functions
static void	fiat_p256_add (uint32_t out1[8], const uint32_t arg1[8], const uint32_t arg2[8])
static void	fiat_p256_addcarryx_u32 (uint32_t *out1, fiat_p256_uint1 *out2, fiat_p256_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_p256_cmovznz_u32 (uint32_t *out1, fiat_p256_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_p256_from_bytes (uint32_t out1[8], const uint8_t arg1[32])
static void	fiat_p256_from_montgomery (uint32_t out1[8], const uint32_t arg1[8])
static void	fiat_p256_mul (uint32_t out1[8], const uint32_t arg1[8], const uint32_t arg2[8])
static void	fiat_p256_mulx_u32 (uint32_t *out1, uint32_t *out2, uint32_t arg1, uint32_t arg2)
static void	fiat_p256_nonzero (uint32_t *out1, const uint32_t arg1[8])
static void	fiat_p256_opp (uint32_t out1[8], const uint32_t arg1[8])
static void	fiat_p256_selectznz (uint32_t out1[8], fiat_p256_uint1 arg1, const uint32_t arg2[8], const uint32_t arg3[8])
static void	fiat_p256_square (uint32_t out1[8], const uint32_t arg1[8])
static void	fiat_p256_sub (uint32_t out1[8], const uint32_t arg1[8], const uint32_t arg2[8])
static void	fiat_p256_subborrowx_u32 (uint32_t *out1, fiat_p256_uint1 *out2, fiat_p256_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_p256_to_bytes (uint8_t out1[32], const uint32_t arg1[8])

Typedef Documentation

fiat_p256_int1

typedef signed char fiat_p256_int1

Definition at line 16 of file p256_32.h.

fiat_p256_uint1

typedef unsigned char fiat_p256_uint1

Definition at line 15 of file p256_32.h.

Function Documentation

fiat_p256_add()

static void fiat_p256_add ( uint32_t  out1[8], const uint32_t  arg1[8], const uint32_t  arg2[8]  )

static

Definition at line 2144 of file p256_32.h.

fiat_p256_addcarryx_u32()

static void fiat_p256_addcarryx_u32 ( uint32_t *  out1, fiat_p256_uint1 *  out2, fiat_p256_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 37 of file p256_32.h.

fiat_p256_cmovznz_u32()

static void fiat_p256_cmovznz_u32 ( uint32_t *  out1, fiat_p256_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 100 of file p256_32.h.

fiat_p256_from_bytes()

static void fiat_p256_from_bytes ( uint32_t  out1[8], const uint8_t  arg1[32]  )

static

Definition at line 3090 of file p256_32.h.

fiat_p256_from_montgomery()

static void fiat_p256_from_montgomery ( uint32_t  out1[8], const uint32_t  arg1[8]  )

static

Definition at line 2385 of file p256_32.h.

fiat_p256_mul()

static void fiat_p256_mul ( uint32_t  out1[8], const uint32_t  arg1[8], const uint32_t  arg2[8]  )

static

Definition at line 128 of file p256_32.h.

fiat_p256_mulx_u32()

static void fiat_p256_mulx_u32 ( uint32_t *  out1, uint32_t *  out2, uint32_t  arg1, uint32_t  arg2  )

static

Definition at line 80 of file p256_32.h.

fiat_p256_nonzero()

static void fiat_p256_nonzero ( uint32_t *  out1, const uint32_t  arg1[8]  )

static

Definition at line 2923 of file p256_32.h.

fiat_p256_opp()

static void fiat_p256_opp ( uint32_t  out1[8], const uint32_t  arg1[8]  )

static

Definition at line 2311 of file p256_32.h.

fiat_p256_selectznz()

static void fiat_p256_selectznz ( uint32_t  out1[8], fiat_p256_uint1  arg1, const uint32_t  arg2[8], const uint32_t  arg3[8]  )

static

Definition at line 2940 of file p256_32.h.

fiat_p256_square()

static void fiat_p256_square ( uint32_t  out1[8], const uint32_t  arg1[8]  )

static

Definition at line 1135 of file p256_32.h.

fiat_p256_sub()

static void fiat_p256_sub ( uint32_t  out1[8], const uint32_t  arg1[8], const uint32_t  arg2[8]  )

static

Definition at line 2237 of file p256_32.h.

fiat_p256_subborrowx_u32()

static void fiat_p256_subborrowx_u32 ( uint32_t *  out1, fiat_p256_uint1 *  out2, fiat_p256_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 59 of file p256_32.h.

fiat_p256_to_bytes()

static void fiat_p256_to_bytes ( uint8_t  out1[32], const uint32_t  arg1[8]  )

static

Definition at line 2979 of file p256_32.h.