Revert my previous patch to ABCD and fix things the right way. There are two problem...
authorOwen Anderson <resistor@mac.com>
Mon, 9 Nov 2009 00:44:44 +0000 (00:44 +0000)
committerOwen Anderson <resistor@mac.com>
Mon, 9 Nov 2009 00:44:44 +0000 (00:44 +0000)
commitb05a1d116fe547336f5397e277487a0fdfadb363
treea10f188c93ac974200da2696f0802657a9f6b223
parente7e63fe9650fc01043c96e2bf8a1ecc19e49c5b7
Revert my previous patch to ABCD and fix things the right way.  There are two problems addressed
here:

1) We need to avoid processing sigma nodes as phi nodes for constraint generation.
2) We need to generate constraints for comparisons against constants properly.

This includes our first working ABCD test!

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86498 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/ABCD.cpp
test/Transforms/ABCD/basic.ll [new file with mode: 0644]
test/Transforms/ABCD/dg.exp [new file with mode: 0644]