Lines Matching refs:BitValue
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()
350 RC.fill(PW, RW, BT::BitValue::Zero); in evaluate()
357 RC.fill(PW, RW, BT::BitValue::Zero); 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()
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()
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()