Lines Matching refs:b4
45 u64 b4 = b[4];
47 u64 b4_ = b4 & 0x7ffffffffffffLLU;
48 u64 b0_ = b0 + 19 * (b4 >> 51);
191 u128 b4;
202 b4 = t[4];
204 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
205 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
249 u128 b4;
259 b4 = tmp[4];
261 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
262 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
358 u64 b4;
364 b4 = tmp[4];
369 tmp[4] = b4 + 0x3ffffffffffff8LLU;
400 u128 b4;
425 b4 = tmp[4];
427 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
428 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));