| commit | 70d4370b47cdd375bbea98e50452789fe4f1af04 | [log] [tgz] |
|---|---|---|
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | Wed Apr 06 19:14:00 2011 +0000 |
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | Wed Apr 06 19:14:00 2011 +0000 |
| tree | add9c7e773a47c8ff88ca8840dd657c7614db4da | |
| parent | 9efa2a263ea470caacef1c85f6ca45e32bf516d3 [diff] |
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