Lines Matching refs:V1
441 const BitValue &V1 = A1[I];
443 if (!V1.num() || !V2.num())
445 unsigned S = bool(V1) + bool(V2) + Carry;
450 const BitValue &V1 = A1[I];
454 if (V1.is(Carry))
457 Res[I] = BitValue::ref(V1);
475 const BitValue &V1 = A1[I];
477 if (!V1.num() || !V2.num())
479 unsigned S = bool(V1) - bool(V2) - Borrow;
484 const BitValue &V1 = A1[I];
486 if (V1.is(Borrow)) {
491 Res[I] = BitValue::ref(V1);
562 const BitValue &V1 = A1[i];
564 if (V1.is(1))
567 Res[i] = BitValue::ref(V1);
568 else if (V1.is(0) || V2.is(0))
570 else if (V1 == V2)
571 Res[i] = V1;
585 const BitValue &V1 = A1[i];
587 if (V1.is(1) || V2.is(1))
589 else if (V1.is(0))
592 Res[i] = BitValue::ref(V1);
593 else if (V1 == V2)
594 Res[i] = V1;
608 const BitValue &V1 = A1[i];
610 if (V1.is(0))
613 Res[i] = BitValue::ref(V1);
614 else if (V1 == V2)
