Lines Matching refs:v2
8 /* A convenience function to compute either v1 & ~v2 & val2 or
9 v1 & ~v2 & ~val2 depending on INVERT_VAL2. */
11 and_combine(vbits_t v1, vbits_t v2, value_t val2, int invert_val2)
13 assert(v1.num_bits == v2.num_bits);
15 vbits_t new = { .num_bits = v2.num_bits };
18 switch (v2.num_bits) {
28 switch (v2.num_bits) {
30 new.bits.u8 = (v1.bits.u8 & ~v2.bits.u8 & val2.u8) & 0xff;
33 new.bits.u16 = (v1.bits.u16 & ~v2.bits.u16 & val2.u16) & 0xffff;
36 new.bits.u32 = (v1.bits.u32 & ~v2.bits.u32 & val2.u32);
39 new.bits.u64 = (v1.bits.u64 & ~v2.bits.u64 & val2.u64);
126 /* Let v1, v2 be the V-bits of the 1st and 2nd operand, respectively
129 (1) (v1 == 1) && (v2 == 1) OR
130 (2) (v1 == 1) && (v2 == 0 && b2 == 1) OR
131 (3) (v2 == 1) && (v1 == 0 && b1 == 1)
142 /* Let v1, v2 be the V-bits of the 1st and 2nd operand, respectively
145 (1) (v1 == 1) && (v2 == 1) OR
146 (2) (v1 == 1) && (v2 == 0 && b2 == 0) OR
147 (3) (v2 == 1) && (v1 == 0 && b1 == 0)