Symbol: subborrow_u26
lib/crypto/curve25519-fiat32.c
120
{ u32 x20; u8/*bool*/ x21 = subborrow_u26(0x0, x2, 0x3ffffed, &x20);
lib/crypto/curve25519-fiat32.c
122
{ u32 x26; u8/*bool*/ x27 = subborrow_u26(x24, x6, 0x3ffffff, &x26);
lib/crypto/curve25519-fiat32.c
124
{ u32 x32; u8/*bool*/ x33 = subborrow_u26(x30, x10, 0x3ffffff, &x32);
lib/crypto/curve25519-fiat32.c
126
{ u32 x38; u8/*bool*/ x39 = subborrow_u26(x36, x14, 0x3ffffff, &x38);
lib/crypto/curve25519-fiat32.c
128
{ u32 x44; u8/*bool*/ x45 = subborrow_u26(x42, x18, 0x3ffffff, &x44);