Lines Matching defs:v1
32 /* A convenience function to compute either v1 & ~v2 & val2 or
33 v1 & ~v2 & ~val2 depending on INVERT_VAL2. */
35 and_combine(vbits_t v1, vbits_t v2, value_t val2, int invert_val2)
37 assert(v1.num_bits == v2.num_bits);
54 new.bits.u8 = (v1.bits.u8 & ~v2.bits.u8 & val2.u8) & 0xff;
57 new.bits.u16 = (v1.bits.u16 & ~v2.bits.u16 & val2.u16) & 0xffff;
60 new.bits.u32 = (v1.bits.u32 & ~v2.bits.u32 & val2.u32);
63 new.bits.u64 = (v1.bits.u64 & ~v2.bits.u64 & val2.u64);
150 /* Let v1, v2 be the V-bits of the 1st and 2nd operand, respectively
153 (1) (v1 == 1) && (v2 == 1) OR
154 (2) (v1 == 1) && (v2 == 0 && b2 == 1) OR
155 (3) (v2 == 1) && (v1 == 0 && b1 == 1)
166 /* Let v1, v2 be the V-bits of the 1st and 2nd operand, respectively
169 (1) (v1 == 1) && (v2 == 1) OR
170 (2) (v1 == 1) && (v2 == 0 && b2 == 0) OR
171 (3) (v2 == 1) && (v1 == 0 && b1 == 0)
483 ULong v1; // value picked up in ir_inject.c
486 assert(sizeof xx.v1 == sizeof xx.v2.u64);
487 assert(xx.v1 == xx.v2.u64);