I committed this as r216970. I adapted some of the BasicAA tests to give us an initial set of regression tests -- we really need some targeted tests as well. http://reviews.llvm.org/D5106