Jakob Stoklund Olesen 70d4370b47 Keep track of the number of positively biased nodes when adding constraints.
If there are no positive nodes, the algorithm can be aborted early.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129021 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-06 19:14:00 +00:00
..
2011-04-06 17:08:15 +00:00
2011-03-12 22:01:42 +00:00
2010-11-15 03:21:41 +00:00