Teach CodeGenPrepare to look through Bitcast instructions when attempting to
authorChris Lattner <sabre@nondot.org>
Wed, 26 Nov 2008 00:26:16 +0000 (00:26 +0000)
committerChris Lattner <sabre@nondot.org>
Wed, 26 Nov 2008 00:26:16 +0000 (00:26 +0000)
commit2efbbb38ba7b9601202f2271301f07195dea8959
treea5cfb199a202b4901c74c9c4823cf3e01aa9ad22
parent6d235bb7a05c17f1c06def0c1c249150b7e9a53a
Teach CodeGenPrepare to look through Bitcast instructions when attempting to
optimize addressing modes.  This allows us to optimize things like isel-sink2.ll
into:

movl 4(%esp), %eax
cmpb $0, 4(%eax)
jne LBB1_2 ## F
LBB1_1: ## TB
movl $4, %eax
ret
LBB1_2: ## F
movzbl 7(%eax), %eax
ret

instead of:

_test:
movl 4(%esp), %eax
cmpb $0, 4(%eax)
leal 4(%eax), %eax
jne LBB1_2 ## F
LBB1_1: ## TB
movl $4, %eax
ret
LBB1_2: ## F
movzbl 3(%eax), %eax
ret

This shrinks (e.g.) 403.gcc from 1133510 to 1128345 lines of .s.

Note that the 2008-10-16-SpillerBug.ll testcase is dubious at best, I doubt
it is really testing what it thinks it is.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60068 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/CodeGenPrepare.cpp
test/CodeGen/X86/2008-10-16-SpillerBug.ll
test/CodeGen/X86/isel-sink2.ll [new file with mode: 0644]