Searched refs:makeNonNegative (Results 1 – 5 of 5) sorted by relevance
115 void makeNonNegative() { in makeNonNegative() function
77 KnownOut.makeNonNegative(); in computeForAddSub()
459 Known.makeNonNegative(); in computeKnownBitsMul()860 Known.makeNonNegative(); in computeKnownBitsFromAssume()873 Known.makeNonNegative(); in computeKnownBitsFromAssume()1499 Known.makeNonNegative(); in computeKnownBitsFromOperator()1508 Known.makeNonNegative(); in computeKnownBitsFromOperator()1516 Known.makeNonNegative(); in computeKnownBitsFromOperator()
860 Known.makeNonNegative(); in SimplifyDemandedUseBits()
3220 Known.makeNonNegative(); in computeKnownBits()