Searched refs:makeNegative (Results 1 – 3 of 3) sorted by relevance
110 void makeNegative() { in makeNegative() function
81 KnownOut.makeNegative(); in computeForAddSub()
493 Known.makeNegative(); in computeKnownBitsMul()924 Known.makeNegative(); in computeKnownBitsFromAssume()937 Known.makeNegative(); in computeKnownBitsFromAssume()1530 Known.makeNegative(); in computeKnownBitsFromOperator()1539 Known.makeNegative(); in computeKnownBitsFromOperator()