97   raw_ostream &operator<<(raw_ostream &OS, const BT::BitValue &BV) {  in operator <<()
99       case BT::BitValue::Top:  in operator <<()
102       case BT::BitValue::Zero:  in operator <<()
105       case BT::BitValue::One:  in operator <<()
108       case BT::BitValue::Ref:  in operator <<()
127       const BT::BitValue &V = RC[i];  in operator <<()
128       const BT::BitValue &SV = RC[Start];  in operator <<()
129       bool IsRef = (V.Type == BT::BitValue::Ref);  in operator <<()
133       if (IsRef && SV.Type == BT::BitValue::Ref && V.RefI.Reg == SV.RefI.Reg) {  in operator <<()
152         if (SV.Type == BT::BitValue::Ref && SeqRef)  in operator <<()
168       const BT::BitValue &SV = RC[Start];  in operator <<()
169       if (SV.Type == BT::BitValue::Ref && SeqRef)  in operator <<()
207     const BitValue &RCV = RC[i];  in meet()
275       const BitValue &V) {  in fill()
295   BitValue V = B;  in ct()
304   BitValue V = B;  in cl()
322     const BitValue &V = Bits[i];  in regify()
323     if (V.Type == BitValue::Ref && V.RefI.Reg == 0)  in regify()
416     Res[i] = BitValue(V & 1);  in eIMM()
440     const BitValue &V1 = A1[I];  in eADD()
441     const BitValue &V2 = A2[I];  in eADD()
445     Res[I] = BitValue(S & 1);  in eADD()
449     const BitValue &V1 = A1[I];  in eADD()
450     const BitValue &V2 = A2[I];  in eADD()
454       Res[I] = BitValue::ref(V2);  in eADD()
456       Res[I] = BitValue::ref(V1);  in eADD()
461     Res[I] = BitValue::self();  in eADD()
473     const BitValue &V1 = A1[I];  in eSUB()
474     const BitValue &V2 = A2[I];  in eSUB()
478     Res[I] = BitValue(S & 1);  in eSUB()
482     const BitValue &V1 = A1[I];  in eSUB()
483     const BitValue &V2 = A2[I];  in eSUB()
485       Res[I] = BitValue::ref(V2);  in eSUB()
489       Res[I] = BitValue::ref(V1);  in eSUB()
494     Res[I] = BitValue::self();  in eSUB()
503   Res.fill(0, Z, BitValue::Zero);  in eMLS()
504   Res.fill(Z, W, BitValue::self());  in eMLS()
513   Res.fill(0, Z, BitValue::Zero);  in eMLU()
514   Res.fill(Z, W, BitValue::self());  in eMLU()
523   Res.fill(0, Sh, BitValue::Zero);  in eASL()
533   Res.fill(W-Sh, W, BitValue::Zero);  in eLSR()
542   BitValue Sign = Res[W-1];  in eASR()
554     const BitValue &V1 = A1[i];  in eAND()
555     const BitValue &V2 = A2[i];  in eAND()
557       Res[i] = BitValue::ref(V2);  in eAND()
559       Res[i] = BitValue::ref(V1);  in eAND()
561       Res[i] = BitValue::Zero;  in eAND()
565       Res[i] = BitValue::self();  in eAND()
576     const BitValue &V1 = A1[i];  in eORL()
577     const BitValue &V2 = A2[i];  in eORL()
579       Res[i] = BitValue::One;  in eORL()
581       Res[i] = BitValue::ref(V2);  in eORL()
583       Res[i] = BitValue::ref(V1);  in eORL()
587       Res[i] = BitValue::self();  in eORL()
598     const BitValue &V1 = A1[i];  in eXOR()
599     const BitValue &V2 = A2[i];  in eXOR()
601       Res[i] = BitValue::ref(V2);  in eXOR()
603       Res[i] = BitValue::ref(V1);  in eXOR()
605       Res[i] = BitValue::Zero;  in eXOR()
607       Res[i] = BitValue::self();  in eXOR()
616     const BitValue &V = A1[i];  in eNOT()
618       Res[i] = BitValue::One;  in eNOT()
620       Res[i] = BitValue::Zero;  in eNOT()
622       Res[i] = BitValue::self();  in eNOT()
631   Res[BitN] = BitValue::One;  in eSET()
639   Res[BitN] = BitValue::Zero;  in eCLR()
668   BitValue Sign = Res[FromN-1];  in eSXT()
679   Res.fill(FromN, W, BitValue::Zero);  in eZXT()
753       Res.fill(WS, WD, BitValue::Zero);  in evaluate()
899         BitValue &V = DefC[i];  in visitNonBranch()
901         if (V.Type == BitValue::Ref && V.RefI.Reg == RD.Reg)  in visitNonBranch()
1012       BitValue &V = RC[i];  in subst()
1013       if (V.Type != BitValue::Ref || V.RefI.Reg != OldRR.Reg)  in subst()