Lines Matching defs:KnownOut
47 KnownBits KnownOut;
48 KnownOut.Zero = ~std::move(PossibleSumZero) & Known;
49 KnownOut.One = std::move(PossibleSumOne) & Known;
50 return KnownOut;
64 KnownBits KnownOut(BitWidth);
68 return KnownOut;
73 KnownOut = ::computeForAddCarry(LHS, RHS, /*CarryZero=*/true,
79 KnownOut = ::computeForAddCarry(LHS, NotRHS, /*CarryZero=*/false,
95 KnownOut.One.setBits(BitWidth - 1 - NumBits, BitWidth - 1);
97 KnownOut.One.setHighBits(MinVal.countl_one());
107 KnownOut.Zero.setBits(BitWidth - 1 - NumBits, BitWidth - 1);
109 KnownOut.Zero.setHighBits(MaxVal.countl_zero());
129 KnownOut.One.setBits(BitWidth - 1 - NumBits, BitWidth - 1);
130 KnownOut.Zero.setSignBit();
135 KnownOut.Zero.setBits(BitWidth - 1 - NumBits, BitWidth - 1);
136 KnownOut.One.setSignBit();
141 if (KnownOut.hasConflict())
142 KnownOut.setAllZero();
143 return KnownOut;