Searched refs:makeNegative (Results 1 – 3 of 3) sorted by relevance
60 KnownOut.makeNegative(); in computeForAddSub()
102 void makeNegative() { in makeNegative() function
428 Known.makeNegative(); in computeKnownBitsMul()799 Known.makeNegative(); in computeKnownBitsFromAssume()810 Known.makeNegative(); in computeKnownBitsFromAssume()1386 Known.makeNegative(); in computeKnownBitsFromOperator()1395 Known.makeNegative(); in computeKnownBitsFromOperator()