Searched refs:makeNegative (Results 1 – 6 of 6) sorted by relevance
78 KnownOut.makeNegative(); in computeForAddSub()
104 void makeNegative() { in makeNegative() function
107 void makeNegative() { in makeNegative() function
79 KnownOut.makeNegative(); in computeForAddSub()
437 Known.makeNegative(); in computeKnownBitsMul()877 Known.makeNegative(); in computeKnownBitsFromAssume()890 Known.makeNegative(); in computeKnownBitsFromAssume()1482 Known.makeNegative(); in computeKnownBitsFromOperator()1491 Known.makeNegative(); in computeKnownBitsFromOperator()
457 Known.makeNegative(); in computeKnownBitsMul()907 Known.makeNegative(); in computeKnownBitsFromAssume()920 Known.makeNegative(); in computeKnownBitsFromAssume()1441 Known.makeNegative(); in computeKnownBitsFromOperator()1450 Known.makeNegative(); in computeKnownBitsFromOperator()