Searched refs:makeNonNegative (Results 1 – 4 of 4) sorted by relevance
56 KnownOut.makeNonNegative(); in computeForAddSub()
107 void makeNonNegative() { in makeNonNegative() function
426 Known.makeNonNegative(); in computeKnownBitsMul()777 Known.makeNonNegative(); in computeKnownBitsFromAssume()788 Known.makeNonNegative(); in computeKnownBitsFromAssume()1247 Known.makeNonNegative(); in computeKnownBitsFromOperator()1384 Known.makeNonNegative(); in computeKnownBitsFromOperator()1393 Known.makeNonNegative(); in computeKnownBitsFromOperator()1401 Known.makeNonNegative(); in computeKnownBitsFromOperator()
621 Known.makeNonNegative(); in SimplifyDemandedUseBits()