[X86] Fix pattern match for 32-to-64-bit zext in the presence of AssertSext
authorMichael Kuperstein <michael.m.kuperstein@intel.com>
Tue, 11 Nov 2014 07:07:40 +0000 (07:07 +0000)
committerMichael Kuperstein <michael.m.kuperstein@intel.com>
Tue, 11 Nov 2014 07:07:40 +0000 (07:07 +0000)
commitf2fe3b72a93e4437eadc79d28844b868e1a1296a
treee617296b78ab6a558bd39a1b7f2e9ad09ac25a80
parentbc64560aedcd2d3d8aac18232e1446a64277e1da
[X86] Fix pattern match for 32-to-64-bit zext in the presence of AssertSext

This fixes an issue with matching trunc -> assertsext -> zext on x86-64, which would not zero the high 32-bits. See PR20494 for details.
Recommitting - This time, with a hopefully working test.

Differential Revision: http://reviews.llvm.org/D6128

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@221672 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/X86/X86InstrCompiler.td
test/CodeGen/X86/TruncAssertZext.ll [new file with mode: 0644]