crypto_int64
#define int64 crypto_int64
volatile crypto_int64 crypto_int64_optblocker = 0;
volatile crypto_int64 crypto_int64_optblocker = 0;
volatile crypto_int64 crypto_int64_optblocker = 0;
volatile crypto_int64 crypto_int64_optblocker = 0;
crypto_int64 crypto_int64_load(const unsigned char *crypto_int64_s) {
crypto_int64 crypto_int64_z = 0;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 0;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 8;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 16;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 24;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 32;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 40;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 48;
crypto_int64_z |= ((crypto_int64) (*crypto_int64_s++)) << 56;
void crypto_int64_store(unsigned char *crypto_int64_s,crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_negative_mask(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_y;
crypto_int64 crypto_int64_y;
crypto_int64 crypto_int64_negative_01(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_topbit_mask(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_topbit_01(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_bottombit_mask(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_y;
crypto_int64 crypto_int64_bottombit_01(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_y;
crypto_int64 crypto_int64_bitinrangepublicpos_mask(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_s) {
crypto_int64 crypto_int64_bitinrangepublicpos_01(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_s) {
crypto_int64 crypto_int64_shlmod(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_s) {
crypto_int64 crypto_int64_shrmod(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_s) {
crypto_int64 crypto_int64_bitmod_mask(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_s) {
crypto_int64 crypto_int64_bitmod_01(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_s) {
crypto_int64 crypto_int64_nonzero_mask(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_nonzero_01(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_positive_mask(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_z = -crypto_int64_x;
crypto_int64 crypto_int64_positive_01(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_z = -crypto_int64_x;
crypto_int64 crypto_int64_zero_mask(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_zero_01(crypto_int64 crypto_int64_x) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_unequal_mask(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_unequal_01(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_equal_mask(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_equal_01(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_min(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_r = crypto_int64_y ^ crypto_int64_x;
crypto_int64 crypto_int64_z = crypto_int64_y - crypto_int64_x;
crypto_int64 crypto_int64_max(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_r = crypto_int64_y ^ crypto_int64_x;
crypto_int64 crypto_int64_z = crypto_int64_y - crypto_int64_x;
void crypto_int64_minmax(crypto_int64 *crypto_int64_p,crypto_int64 *crypto_int64_q) {
crypto_int64 crypto_int64_x = *crypto_int64_p;
crypto_int64 crypto_int64_y = *crypto_int64_q;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_r, crypto_int64_s;
crypto_int64 crypto_int64_r = crypto_int64_y ^ crypto_int64_x;
crypto_int64 crypto_int64_z = crypto_int64_y - crypto_int64_x;
crypto_int64 crypto_int64_smaller_mask(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_r = crypto_int64_x ^ crypto_int64_y;
crypto_int64 crypto_int64_z = crypto_int64_x - crypto_int64_y;
crypto_int64 crypto_int64_smaller_01(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_r = crypto_int64_x ^ crypto_int64_y;
crypto_int64 crypto_int64_z = crypto_int64_x - crypto_int64_y;
crypto_int64 crypto_int64_leq_mask(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
crypto_int64 crypto_int64_leq_01(crypto_int64 crypto_int64_x,crypto_int64 crypto_int64_y) {
crypto_int64 crypto_int64_q,crypto_int64_z;
crypto_int64 crypto_int64_z;
int crypto_int64_ones_num(crypto_int64 crypto_int64_x) {
const crypto_int64 C0 = 0x5555555555555555;
const crypto_int64 C1 = 0x3333333333333333;
const crypto_int64 C2 = 0x0f0f0f0f0f0f0f0f;
int crypto_int64_bottomzeros_num(crypto_int64 crypto_int64_x) {
crypto_int64 fallback = 64;
crypto_int64 crypto_int64_y = crypto_int64_x ^ (crypto_int64_x-1);
crypto_int64_y = ((crypto_int64) crypto_int64_y) >> 1;
crypto_int64_y &= ~(crypto_int64_x & (((crypto_int64) 1) << (64-1)));
#define int64 crypto_int64
extern volatile crypto_int64 crypto_int64_optblocker;
crypto_int64 crypto_int32_r = (crypto_int64)crypto_int32_y ^ (crypto_int64)crypto_int32_x;
crypto_int64 crypto_int32_z = (crypto_int64)crypto_int32_y - (crypto_int64)crypto_int32_x;
crypto_int64 crypto_int32_r = (crypto_int64)crypto_int32_y ^ (crypto_int64)crypto_int32_x;
crypto_int64 crypto_int32_z = (crypto_int64)crypto_int32_y - (crypto_int64)crypto_int32_x;
crypto_int64 crypto_int32_r = (crypto_int64)crypto_int32_y ^ (crypto_int64)crypto_int32_x;
crypto_int64 crypto_int32_z = (crypto_int64)crypto_int32_y - (crypto_int64)crypto_int32_x;