Lines Matching refs:V2
444 const BitValue &V2 = A2[I];
445 if (!V1.num() || !V2.num())
447 unsigned S = bool(V1) + bool(V2) + Carry;
453 const BitValue &V2 = A2[I];
457 Res[I] = BitValue::ref(V2);
458 else if (V2.is(Carry))
478 const BitValue &V2 = A2[I];
479 if (!V1.num() || !V2.num())
481 unsigned S = bool(V1) - bool(V2) - Borrow;
487 const BitValue &V2 = A2[I];
489 Res[I] = BitValue::ref(V2);
492 if (V2.is(Borrow))
565 const BitValue &V2 = A2[i];
567 Res[i] = BitValue::ref(V2);
568 else if (V2.is(1))
570 else if (V1.is(0) || V2.is(0))
572 else if (V1 == V2)
588 const BitValue &V2 = A2[i];
589 if (V1.is(1) || V2.is(1))
592 Res[i] = BitValue::ref(V2);
593 else if (V2.is(0))
595 else if (V1 == V2)
611 const BitValue &V2 = A2[i];
613 Res[i] = BitValue::ref(V2);
614 else if (V2.is(0))
616 else if (V1 == V2)
