Lines Matching full:bt
38 using BT = BitTracker; typedef
89 BT::BitMask HexagonEvaluator::mask(Register Reg, unsigned Sub) const { in mask()
101 return IsSubLo ? BT::BitMask(0, RW-1) in mask()
102 : BT::BitMask(RW, 2*RW-1); in mask()
161 std::vector<BT::RegisterRef> Vector;
168 Vector[i] = BT::RegisterRef(MO); in RegisterRefs()
176 const BT::RegisterRef &operator[](unsigned n) const { in operator []()
258 auto rr0 = [this,Reg] (const BT::RegisterCell &Val, CellMapType &Outputs) in evaluate()
265 uint16_t W) -> BT::RegisterCell { in evaluate()
275 auto lo = [this] (const BT::RegisterCell &RC, uint16_t RW) in evaluate()
276 -> BT::RegisterCell { in evaluate()
281 auto hi = [this] (const BT::RegisterCell &RC, uint16_t RW) in evaluate()
282 -> BT::RegisterCell { in evaluate()
288 auto half = [this] (const BT::RegisterCell &RC, unsigned N) in evaluate()
289 -> BT::RegisterCell { in evaluate()
294 auto shuffle = [this] (const BT::RegisterCell &Rs, const BT::RegisterCell &Rt, in evaluate()
295 uint16_t BW, bool Odd) -> BT::RegisterCell { in evaluate()
325 return rr0(RegisterCell(W0).fill(0, W0, BT::BitValue::Zero), Outputs); in evaluate()
327 return rr0(RegisterCell(W0).fill(0, W0, BT::BitValue::One), Outputs); in evaluate()
334 RC.fill(0, L, BT::BitValue::Zero); in evaluate()
349 RegisterCell RC = RegisterCell(RW).insert(PC, BT::BitMask(0, PW-1)); in evaluate()
350 RC.fill(PW, RW, BT::BitValue::Zero); in evaluate()
357 RC.fill(PW, RW, BT::BitValue::Zero); in evaluate()
371 RegisterCell CW = RegisterCell(W0).insert(rc(1), BT::BitMask(0, W1-1)); in evaluate()
439 RPC.fill(0, 2, BT::BitValue::Zero); in evaluate()
685 RC[im(2)] = BT::BitValue::Zero; in evaluate()
690 RC[im(2)] = BT::BitValue::One; in evaluate()
696 RC[BX] = RC[BX].is(0) ? BT::BitValue::One in evaluate()
697 : RC[BX].is(1) ? BT::BitValue::Zero in evaluate()
698 : BT::BitValue::self(); in evaluate()
706 const BT::BitValue Zero = BT::BitValue::Zero; in evaluate()
726 RegisterCell RC = RegisterCell(W0).insert(Ext, BT::BitMask(0, Wd-1)); in evaluate()
800 const BT::BitValue &V = R1[i]; in evaluate()
801 BT::BitValue F = (V.is(0) || V.is(1)) ? V : BT::BitValue::self(); in evaluate()
813 BT::BitValue PC0 = rc(1)[0]; in evaluate()
866 BT::BitValue TV = R1[W1-1]; in evaluate()
895 RC.fill(0, W0, (All1 ? BT::BitValue::One : BT::BitValue::Zero)); in evaluate()
912 RC.fill(0, W0, (Has1 ? BT::BitValue::One : BT::BitValue::Zero)); in evaluate()
953 BT::BitValue V = rc(1)[im(2)]; in evaluate()
957 BT::BitValue F = V.is(TV) ? BT::BitValue::One : BT::BitValue::Zero; in evaluate()
968 BT::RegisterRef PD(DefR, 0); in evaluate()
972 RC.fill(PW, RW, BT::BitValue::Zero); in evaluate()
1025 const BT::BitValue &Test = PC[0]; in evaluate()
1201 Res[i] = BT::BitValue::self(BT::BitRef(RD.Reg, i)); in evaluateLoad()
1204 const BT::BitValue &Sign = Res[BitNum-1]; in evaluateLoad()
1206 Res[i] = BT::BitValue::ref(Sign); in evaluateLoad()
1209 Res[i] = BT::BitValue::Zero; in evaluateLoad()