Searched refs:makeNonNegative (Results 1 – 8 of 8) sorted by relevance
74 KnownOut.makeNonNegative(); in computeForAddSub()
109 void makeNonNegative() { in makeNonNegative() function
75 KnownOut.makeNonNegative(); in computeForAddSub()435 Known.makeNonNegative(); in srem()
112 void makeNonNegative() { in makeNonNegative() function
435 Known.makeNonNegative(); in computeKnownBitsMul()851 Known.makeNonNegative(); in computeKnownBitsFromAssume()864 Known.makeNonNegative(); in computeKnownBitsFromAssume()1332 Known.makeNonNegative(); in computeKnownBitsFromOperator()1480 Known.makeNonNegative(); in computeKnownBitsFromOperator()1489 Known.makeNonNegative(); in computeKnownBitsFromOperator()1497 Known.makeNonNegative(); in computeKnownBitsFromOperator()
455 Known.makeNonNegative(); in computeKnownBitsMul()881 Known.makeNonNegative(); in computeKnownBitsFromAssume()894 Known.makeNonNegative(); in computeKnownBitsFromAssume()1439 Known.makeNonNegative(); in computeKnownBitsFromOperator()1448 Known.makeNonNegative(); in computeKnownBitsFromOperator()1456 Known.makeNonNegative(); in computeKnownBitsFromOperator()
714 Known.makeNonNegative(); in SimplifyDemandedUseBits()
671 Known.makeNonNegative(); in SimplifyDemandedUseBits()