87 raw_ostream &llvm::operator<<(raw_ostream &OS, const BT::BitValue &BV) {  in operator <<()
89     case BT::BitValue::Top:  in operator <<()
92     case BT::BitValue::Zero:  in operator <<()
95     case BT::BitValue::One:  in operator <<()
98     case BT::BitValue::Ref:  in operator <<()
117     const BT::BitValue &V = RC[i];  in operator <<()
118     const BT::BitValue &SV = RC[Start];  in operator <<()
119     bool IsRef = (V.Type == BT::BitValue::Ref);  in operator <<()
123     if (IsRef && SV.Type == BT::BitValue::Ref && V.RefI.Reg == SV.RefI.Reg) {  in operator <<()
142       if (SV.Type == BT::BitValue::Ref && SeqRef)  in operator <<()
158     const BT::BitValue &SV = RC[Start];  in operator <<()
159     if (SV.Type == BT::BitValue::Ref && SeqRef)  in operator <<()
190     const BitValue &RCV = RC[i];  in meet()
262       const BitValue &V) {  in fill()
284   BitValue V = B;  in ct()
294   BitValue V = B;  in cl()
376     const BitValue &V = RC[i];  in putCell()
377     if (V.Type == BitValue::Ref && V.RefI.Reg == 0)  in putCell()
415     Res[i] = BitValue(V & 1);  in eIMM()
441     const BitValue &V1 = A1[I];  in eADD()
442     const BitValue &V2 = A2[I];  in eADD()
446     Res[I] = BitValue(S & 1);  in eADD()
450     const BitValue &V1 = A1[I];  in eADD()
451     const BitValue &V2 = A2[I];  in eADD()
455       Res[I] = BitValue::ref(V2);  in eADD()
457       Res[I] = BitValue::ref(V1);  in eADD()
462     Res[I] = BitValue::self();  in eADD()
475     const BitValue &V1 = A1[I];  in eSUB()
476     const BitValue &V2 = A2[I];  in eSUB()
480     Res[I] = BitValue(S & 1);  in eSUB()
484     const BitValue &V1 = A1[I];  in eSUB()
485     const BitValue &V2 = A2[I];  in eSUB()
487       Res[I] = BitValue::ref(V2);  in eSUB()
491       Res[I] = BitValue::ref(V1);  in eSUB()
496     Res[I] = BitValue::self();  in eSUB()
506   Res.fill(0, Z, BitValue::Zero);  in eMLS()
507   Res.fill(Z, W, BitValue::self());  in eMLS()
517   Res.fill(0, Z, BitValue::Zero);  in eMLU()
518   Res.fill(Z, W, BitValue::self());  in eMLU()
528   Res.fill(0, Sh, BitValue::Zero);  in eASL()
539   Res.fill(W-Sh, W, BitValue::Zero);  in eLSR()
549   BitValue Sign = Res[W-1];  in eASR()
562     const BitValue &V1 = A1[i];  in eAND()
563     const BitValue &V2 = A2[i];  in eAND()
565       Res[i] = BitValue::ref(V2);  in eAND()
567       Res[i] = BitValue::ref(V1);  in eAND()
569       Res[i] = BitValue::Zero;  in eAND()
573       Res[i] = BitValue::self();  in eAND()
585     const BitValue &V1 = A1[i];  in eORL()
586     const BitValue &V2 = A2[i];  in eORL()
588       Res[i] = BitValue::One;  in eORL()
590       Res[i] = BitValue::ref(V2);  in eORL()
592       Res[i] = BitValue::ref(V1);  in eORL()
596       Res[i] = BitValue::self();  in eORL()
608     const BitValue &V1 = A1[i];  in eXOR()
609     const BitValue &V2 = A2[i];  in eXOR()
611       Res[i] = BitValue::ref(V2);  in eXOR()
613       Res[i] = BitValue::ref(V1);  in eXOR()
615       Res[i] = BitValue::Zero;  in eXOR()
617       Res[i] = BitValue::self();  in eXOR()
627     const BitValue &V = A1[i];  in eNOT()
629       Res[i] = BitValue::One;  in eNOT()
631       Res[i] = BitValue::Zero;  in eNOT()
633       Res[i] = BitValue::self();  in eNOT()
643   Res[BitN] = BitValue::One;  in eSET()
652   Res[BitN] = BitValue::Zero;  in eCLR()
684   BitValue Sign = Res[FromN-1];  in eSXT()
696   Res.fill(FromN, W, BitValue::Zero);  in eZXT()
768       Res.fill(WS, WD, BitValue::Zero);  in evaluate()
890         BitValue &V = DefC[i];  in visitNonBranch()
892         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()