Teach the load analysis driving core instcombine logic and other bits of
authorChandler Carruth <chandlerc@gmail.com>
Mon, 20 Oct 2014 00:24:14 +0000 (00:24 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Mon, 20 Oct 2014 00:24:14 +0000 (00:24 +0000)
commit35c4e071bef11d3e6d193a1fa337788a99bbce3d
tree988f10503d9f87a2a801abb0230725e15fc52123
parentfc1c1ec435bfcd2add086f05be09195eb842d721
Teach the load analysis driving core instcombine logic and other bits of
logic to look through pointer casts, making them trivially stronger in
the face of loads and stores with intervening pointer casts.

I've included a few test cases that demonstrate the kind of folding
instcombine can do without pointer casts and then variations which
obfuscate the logic through bitcasts. Without this patch, the variations
all fail to optimize fully.

This is more important now than it has been in the past as I've started
moving the load canonicialization to more closely follow the value type
requirements rather than the pointer type requirements and thus this
needs to be prepared for more pointer casts. When I made the same change
to stores several test cases regressed without logic along these lines
so I wanted to systematically improve matters first.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220178 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/Loads.cpp
lib/Transforms/InstCombine/InstCombineLoadStoreAlloca.cpp
lib/Transforms/Scalar/JumpThreading.cpp
test/Transforms/InstCombine/select.ll