Searched refs:makeNegative (Results 1 – 3 of 3) sorted by relevance
110 void makeNegative() { in makeNegative() function
81 KnownOut.makeNegative(); in computeForAddSub()
461 Known.makeNegative(); in computeKnownBitsMul()886 Known.makeNegative(); in computeKnownBitsFromAssume()899 Known.makeNegative(); in computeKnownBitsFromAssume()1501 Known.makeNegative(); in computeKnownBitsFromOperator()1510 Known.makeNegative(); in computeKnownBitsFromOperator()