Lines Matching defs:b4
43 u64 b4 = b[4];
45 u64 b4_ = b4 & 0x7ffffffffffffLLU;
46 u64 b0_ = b0 + 19 * (b4 >> 51);
189 u128 b4;
200 b4 = t[4];
202 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
203 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
247 u128 b4;
257 b4 = tmp[4];
259 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
260 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
356 u64 b4;
362 b4 = tmp[4];
367 tmp[4] = b4 + 0x3ffffffffffff8LLU;
398 u128 b4;
423 b4 = tmp[4];
425 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
426 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));