Searched refs:makeNegative (Results 1 – 3 of 3) sorted by relevance
108 void makeNegative() { in makeNegative() function
81 KnownOut.makeNegative(); in computeForAddSub()
449 Known.makeNegative(); in computeKnownBitsMul()878 Known.makeNegative(); in computeKnownBitsFromAssume()891 Known.makeNegative(); in computeKnownBitsFromAssume()1443 Known.makeNegative(); in computeKnownBitsFromOperator()1452 Known.makeNegative(); in computeKnownBitsFromOperator()