OSDN Git Service

[InstCombine] Do an about-face on how LLVM canonicalizes (cast (load
authorChandler Carruth <chandlerc@gmail.com>
Sat, 18 Oct 2014 06:36:22 +0000 (06:36 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Sat, 18 Oct 2014 06:36:22 +0000 (06:36 +0000)
commit9b2d091a9c2509a766a233a64453462faa2bdffc
tree81734d9a5b6c499f85cede17ca58374cca2f2c3a
parenta45d0c8bd1bdad81a60da186bf46ec5affd67a8f
[InstCombine] Do an about-face on how LLVM canonicalizes (cast (load
...)) and (load (cast ...)): canonicalize toward the former.

Historically, we've tried to load using the type of the *pointer*, and
tried to match that type as closely as possible removing as many pointer
casts as we could and trading them for bitcasts of the loaded value.
This is deeply and fundamentally wrong.

Repeat after me: memory does not have a type! This was a hard lesson for
me to learn working on SROA.

There is only one thing that should actually drive the type used for
a pointer, and that is the type which we need to use to load from that
pointer. Matching up pointer types to the loaded value types is very
useful because it minimizes the physical size of the IR required for
no-op casts. Similarly, the only thing that should drive the type used
for a loaded value is *how that value is used*! Again, this minimizes
casts. And in fact, the *only* thing motivating types in any part of
LLVM's IR are the types used by the operations in the IR. We should
match them as closely as possible.

I've ended up removing some tests here as they were testing bugs or
behavior that is no longer present. Mostly though, this is just cleanup
to let the tests continue to function as intended.

The only fallout I've found so far from this change was SROA and I have
fixed it to not be impeded by the different type of load. If you find
more places where this change causes optimizations not to fire, those
too are likely bugs where we are assuming that the type of pointers is
"significant" for optimization purposes.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220138 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
test/Transforms/InstCombine/atomic.ll
test/Transforms/InstCombine/bitcast-alias-function.ll
test/Transforms/InstCombine/constant-fold-address-space-pointer.ll
test/Transforms/InstCombine/descale-zero.ll
test/Transforms/InstCombine/getelementptr.ll
test/Transforms/InstCombine/load-addrspace-cast.ll [deleted file]