Home | History | Annotate | Download | only in fiat

Lines Matching defs:x56

184   uint64_t x56; uint8_t x57 = addcarryx_u64(x54, 0x0, x47, &x56);
189   uint64_t x71; uint8_t x72 = addcarryx_u64(x69, x35, x56, &x71);
776   uint32_t x56; uint8_t x57 = addcarryx_u32(0x0, x31, (x54 & 0xffffffff), &x56);
784   out[0] = x56;
818   uint32_t x55; uint8_t x56 = addcarryx_u32(x53, x30, 0x0, &x55);
819   uint32_t x58; uint8_t x59 = addcarryx_u32(x56, x33, ((uint8_t)x38 & 0x1), &x58);