Searched refs:KnownOut (Results 1 – 2 of 2) sorted by relevance
44 KnownBits KnownOut; in computeForAddCarry() local45 KnownOut.Zero = ~std::move(PossibleSumZero) & Known; in computeForAddCarry()46 KnownOut.One = std::move(PossibleSumOne) & Known; in computeForAddCarry()47 return KnownOut; in computeForAddCarry()59 KnownBits KnownOut; in computeForAddSub() local62 KnownOut = ::computeForAddCarry( in computeForAddSub()67 KnownOut = ::computeForAddCarry( in computeForAddSub()72 if (!KnownOut.isNegative() && !KnownOut.isNonNegative()) { in computeForAddSub()77 KnownOut.makeNonNegative(); in computeForAddSub()81 KnownOut.makeNegative(); in computeForAddSub()[all …]
360 if (KnownOut.isUnknown() && !NSW) in computeKnownBitsAddSub()364 KnownOut = KnownBits::computeForAddSub(Add, NSW, Known2, KnownOut); in computeKnownBitsAddSub()835 KnownBits KnownOut(BitWidth); in getKnownBitsFromAndXorOr() local842 KnownOut = KnownLHS & KnownRHS; in getKnownBitsFromAndXorOr()852 KnownOut = KnownLHS.blsi(); in getKnownBitsFromAndXorOr()854 KnownOut = KnownRHS.blsi(); in getKnownBitsFromAndXorOr()872 KnownOut = XBits.blsmsk(); in getKnownBitsFromAndXorOr()885 if (!KnownOut.Zero[0] && !KnownOut.One[0] && in getKnownBitsFromAndXorOr()893 KnownOut.Zero.setBit(0); in getKnownBitsFromAndXorOr()895 KnownOut.One.setBit(0); in getKnownBitsFromAndXorOr()[all …]