commit | 786c7cd14174265cfb0847f6e7faf53b6b96f9f6 | [log] [tgz] |
---|---|---|
author | Nick Lewycky <nicholas@mxc.ca> | Sat Jan 15 09:16:12 2011 +0000 |
committer | Nick Lewycky <nicholas@mxc.ca> | Sat Jan 15 09:16:12 2011 +0000 |
tree | 639db777db47724c50af56a71af27b32db876d32 | |
parent | a5eaa861e48641916dc40a9be8ade17842ac8d07 [diff] |
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