Lines Matching defs:x77
191 uint64_t x78; uint64_t x77 = mulx_u64(x7, x11, &x78);199 uint64_t x101; uint8_t x102 = addcarryx_u64(0x0, x65, x77, &x101);783 uint32_t x77; addcarryx_u32(x75, x52, (x54 & 0xffffffff), &x77);791 out[7] = x77;