88   raw_ostream &operator<<(raw_ostream &OS, const BT::BitValue &BV) {  in operator <<()
90       case BT::BitValue::Top:  in operator <<()
93       case BT::BitValue::Zero:  in operator <<()
96       case BT::BitValue::One:  in operator <<()
99       case BT::BitValue::Ref:  in operator <<()
118       const BT::BitValue &V = RC[i];  in operator <<()
119       const BT::BitValue &SV = RC[Start];  in operator <<()
120       bool IsRef = (V.Type == BT::BitValue::Ref);  in operator <<()
124       if (IsRef && SV.Type == BT::BitValue::Ref && V.RefI.Reg == SV.RefI.Reg) {  in operator <<()
143         if (SV.Type == BT::BitValue::Ref && SeqRef)  in operator <<()
159       const BT::BitValue &SV = RC[Start];  in operator <<()
160       if (SV.Type == BT::BitValue::Ref && SeqRef)  in operator <<()
192     const BitValue &RCV = RC[i];  in meet()
264       const BitValue &V) {  in fill()
286   BitValue V = B;  in ct()
296   BitValue V = B;  in cl()
378     const BitValue &V = RC[i];  in putCell()
379     if (V.Type == BitValue::Ref && V.RefI.Reg == 0)  in putCell()
417     Res[i] = BitValue(V & 1);  in eIMM()
443     const BitValue &V1 = A1[I];  in eADD()
444     const BitValue &V2 = A2[I];  in eADD()
448     Res[I] = BitValue(S & 1);  in eADD()
452     const BitValue &V1 = A1[I];  in eADD()
453     const BitValue &V2 = A2[I];  in eADD()
457       Res[I] = BitValue::ref(V2);  in eADD()
459       Res[I] = BitValue::ref(V1);  in eADD()
464     Res[I] = BitValue::self();  in eADD()
477     const BitValue &V1 = A1[I];  in eSUB()
478     const BitValue &V2 = A2[I];  in eSUB()
482     Res[I] = BitValue(S & 1);  in eSUB()
486     const BitValue &V1 = A1[I];  in eSUB()
487     const BitValue &V2 = A2[I];  in eSUB()
489       Res[I] = BitValue::ref(V2);  in eSUB()
493       Res[I] = BitValue::ref(V1);  in eSUB()
498     Res[I] = BitValue::self();  in eSUB()
508   Res.fill(0, Z, BitValue::Zero);  in eMLS()
509   Res.fill(Z, W, BitValue::self());  in eMLS()
519   Res.fill(0, Z, BitValue::Zero);  in eMLU()
520   Res.fill(Z, W, BitValue::self());  in eMLU()
530   Res.fill(0, Sh, BitValue::Zero);  in eASL()
541   Res.fill(W-Sh, W, BitValue::Zero);  in eLSR()
551   BitValue Sign = Res[W-1];  in eASR()
564     const BitValue &V1 = A1[i];  in eAND()
565     const BitValue &V2 = A2[i];  in eAND()
567       Res[i] = BitValue::ref(V2);  in eAND()
569       Res[i] = BitValue::ref(V1);  in eAND()
571       Res[i] = BitValue::Zero;  in eAND()
575       Res[i] = BitValue::self();  in eAND()
587     const BitValue &V1 = A1[i];  in eORL()
588     const BitValue &V2 = A2[i];  in eORL()
590       Res[i] = BitValue::One;  in eORL()
592       Res[i] = BitValue::ref(V2);  in eORL()
594       Res[i] = BitValue::ref(V1);  in eORL()
598       Res[i] = BitValue::self();  in eORL()
610     const BitValue &V1 = A1[i];  in eXOR()
611     const BitValue &V2 = A2[i];  in eXOR()
613       Res[i] = BitValue::ref(V2);  in eXOR()
615       Res[i] = BitValue::ref(V1);  in eXOR()
617       Res[i] = BitValue::Zero;  in eXOR()
619       Res[i] = BitValue::self();  in eXOR()
629     const BitValue &V = A1[i];  in eNOT()
631       Res[i] = BitValue::One;  in eNOT()
633       Res[i] = BitValue::Zero;  in eNOT()
635       Res[i] = BitValue::self();  in eNOT()
645   Res[BitN] = BitValue::One;  in eSET()
654   Res[BitN] = BitValue::Zero;  in eCLR()
686   BitValue Sign = Res[FromN-1];  in eSXT()
698   Res.fill(FromN, W, BitValue::Zero);  in eZXT()
770       Res.fill(WS, WD, BitValue::Zero);  in evaluate()
891         BitValue &V = DefC[i];  in visitNonBranch()
893         if (V.Type == BitValue::Ref && V.RefI.Reg == RD.Reg)  in visitNonBranch()
1019       BitValue &V = RC[i];  in subst()
1020       if (V.Type != BitValue::Ref || V.RefI.Reg != OldRR.Reg)  in subst()