Searched refs:makeNonNegative (Results 1 – 4 of 4) sorted by relevance
113 void makeNonNegative() { in makeNonNegative() function
77 KnownOut.makeNonNegative(); in computeForAddSub()
447 Known.makeNonNegative(); in computeKnownBitsMul()852 Known.makeNonNegative(); in computeKnownBitsFromAssume()865 Known.makeNonNegative(); in computeKnownBitsFromAssume()1441 Known.makeNonNegative(); in computeKnownBitsFromOperator()1450 Known.makeNonNegative(); in computeKnownBitsFromOperator()1458 Known.makeNonNegative(); in computeKnownBitsFromOperator()
740 Known.makeNonNegative(); in SimplifyDemandedUseBits()