Lines Matching defs:v1
140 uint64_t v0, v1, v2;
144 v1 = br_dec64le(buf + 8);
145 v2 = v1 >> 24;
146 v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;
149 a1 += v1;
159 v1 = br_dec64le(buf + 24);
160 v2 = v1 >> 24;
161 v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;
164 a1 += v1;
174 v1 = br_dec64le(buf + 40);
175 v2 = v1 >> 24;
176 v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;
179 a1 += v1;
189 v1 = br_dec64le(buf + 56);
190 v2 = v1 >> 24;
191 v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;
194 a1 += v1;
239 uint64_t v0, v1, v2;
250 v1 = br_dec64le(buf + 8);
252 v2 = v1 >> 24;
253 v1 = ((v0 >> 44) | (v1 << 20)) & MASK44;
257 a1 += v1;
322 uint32_t v0, v1, v2, v3, v4;
415 v1 = (uint32_t)(acc[0] >> 32) | ((uint32_t)acc[1] << 12);
421 ctl &= EQ(v1, 0xFFFFFFFF);
426 v1 = MUX(ctl, 0, v1);
435 w1 = (uint64_t)v1 + (uint64_t)br_dec32le(pkey + 20) + (w0 >> 32);
439 v1 = (uint32_t)w1;
447 br_enc32le((unsigned char *)tag + 4, v1);