[PowerPC] Add a DAGToDAG peephole to remove unnecessary zero-exts
authorHal Finkel <hfinkel@anl.gov>
Fri, 12 Dec 2014 23:59:36 +0000 (23:59 +0000)
committerHal Finkel <hfinkel@anl.gov>
Fri, 12 Dec 2014 23:59:36 +0000 (23:59 +0000)
commit4e703f82f251f30af75c7e6559398b90e076eebc
tree87def85587bd88ba47905f420c8faeaf7c0221ea
parent3b7e6d27d2d6d7db1b89e896790d0de935713b7a
[PowerPC] Add a DAGToDAG peephole to remove unnecessary zero-exts

On PPC64, we end up with lots of i32 -> i64 zero extensions, not only from all
of the usual places, but also from the ABI, which specifies that values passed
are zero extended. Almost all 32-bit PPC instructions in PPC64 mode are defined
to do *something* to the higher-order bits, and for some instructions, that
action clears those bits (thus providing a zero-extended result). This is
especially common after rotate-and-mask instructions. Adding an additional
instruction to zero-extend the results of these instructions is unnecessary.

This PPCISelDAGToDAG peephole optimization examines these zero-extensions, and
looks back through their operands to see if all instructions will implicitly
zero extend their results. If so, we convert these instructions to their 64-bit
variants (which is an internal change only, the actual encoding of these
instructions is the same as the original 32-bit ones) and remove the
unnecessary zero-extension (changing where the INSERT_SUBREG instructions are
to make everything internally consistent).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@224169 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/PowerPC/PPCISelDAGToDAG.cpp
lib/Target/PowerPC/PPCInstr64Bit.td
lib/Target/PowerPC/PPCInstrInfo.cpp
test/CodeGen/PowerPC/rm-zext.ll [new file with mode: 0644]