Searched refs:makeNegative (Results 1 – 3 of 3) sorted by relevance
108 void makeNegative() { in makeNegative() function
81 KnownOut.makeNegative(); in computeForAddSub()
450 Known.makeNegative(); in computeKnownBitsMul()879 Known.makeNegative(); in computeKnownBitsFromAssume()892 Known.makeNegative(); in computeKnownBitsFromAssume()1485 Known.makeNegative(); in computeKnownBitsFromOperator()1494 Known.makeNegative(); in computeKnownBitsFromOperator()