diff options
author | Bob Wilson <bob.wilson@apple.com> | 2010-01-29 19:19:08 +0000 |
---|---|---|
committer | Bob Wilson <bob.wilson@apple.com> | 2010-01-29 19:19:08 +0000 |
commit | 3eb4f7e2dd98038f94e45d1c45ccff49e6659c87 (patch) | |
tree | 9ad9e9d474fae169ffb5303be1b8ff1336e6704e /lib/Target/README.txt | |
parent | 01eba397936941f35dfb0995beace7ed03b847f2 (diff) | |
download | llvm-3eb4f7e2dd98038f94e45d1c45ccff49e6659c87.tar.gz llvm-3eb4f7e2dd98038f94e45d1c45ccff49e6659c87.tar.bz2 llvm-3eb4f7e2dd98038f94e45d1c45ccff49e6659c87.tar.xz |
Improve isSafeToLoadUnconditionally to recognize that GEPs with constant
indices are safe if the result is known to be within the bounds of the
underlying object.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94829 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Target/README.txt')
-rw-r--r-- | lib/Target/README.txt | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/Target/README.txt b/lib/Target/README.txt index 716085cf1b..ce84cbb79d 100644 --- a/lib/Target/README.txt +++ b/lib/Target/README.txt @@ -1760,13 +1760,3 @@ entry: This function is equivalent to "ashr i32 %x, 5". Testcase derived from gcc. //===---------------------------------------------------------------------===// - -isSafeToLoadUnconditionally should allow a GEP of a global/alloca with constant -indicies within the bounds of the allocated object. Reduced example: - -const int a[] = {3,6}; -int b(int y) { int* x = y ? &a[0] : &a[1]; return *x; } - -All the loads should be eliminated. Testcase derived from gcc. - -//===---------------------------------------------------------------------===// |