Nick Lewycky 786c7cd141 Teach LazyValueInfo that allocas aren't NULL. Over all of llvm-test, this saves ...

half a million non-local queries, each of which would otherwise have triggered a
linear scan over a basic block.

Also fix a fixme for memory intrinsics which dereference pointers. With this,
we prove that a pointer is non-null because it was dereferenced by an intrinsic
112 times in llvm-test.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123533 91177308-0d34-0410-b5e6-96231b3b80d8

2011-01-15 09:16:12 +00:00

38 KiB

Raw Blame History

View Raw