Searched refs:makeNonNegative (Results 1 – 4 of 4) sorted by relevance
113 void makeNonNegative() { in makeNonNegative() function
77 KnownOut.makeNonNegative(); in computeForAddSub()
448 Known.makeNonNegative(); in computeKnownBitsMul()853 Known.makeNonNegative(); in computeKnownBitsFromAssume()866 Known.makeNonNegative(); in computeKnownBitsFromAssume()1483 Known.makeNonNegative(); in computeKnownBitsFromOperator()1492 Known.makeNonNegative(); in computeKnownBitsFromOperator()1500 Known.makeNonNegative(); in computeKnownBitsFromOperator()
740 Known.makeNonNegative(); in SimplifyDemandedUseBits()