Teach dag combine to fold the following transformation more aggressively:
authorEvan Cheng <evan.cheng@apple.com>
Wed, 6 Jan 2010 19:38:29 +0000 (19:38 +0000)
committerEvan Cheng <evan.cheng@apple.com>
Wed, 6 Jan 2010 19:38:29 +0000 (19:38 +0000)
commitd40d03e1bd1d51857fc2f9f9230e334c3a32b249
treecc28a8f045a22783624b225433ca137ab6a815d9
parentb419a5cfe9fae934d6c05da173934673f5402c99
Teach dag combine to fold the following transformation more aggressively:
(OP (trunc x), (trunc y)) -> (trunc (OP x, y))

Unfortunately this simple change causes dag combine to infinite looping. The problem is the shrink demanded ops optimization tend to canonicalize expressions in the opposite manner. That is badness. This patch disable those optimizations in dag combine but instead it is done as a late pass in sdisel.

This also exposes some deficiencies in dag combine and x86 setcc / brcond lowering. Teach them to look pass ISD::TRUNCATE in various places.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92849 91177308-0d34-0410-b5e6-96231b3b80d8
12 files changed:
include/llvm/CodeGen/SelectionDAGISel.h
include/llvm/Target/TargetLowering.h
lib/CodeGen/SelectionDAG/DAGCombiner.cpp
lib/CodeGen/SelectionDAG/SelectionDAG.cpp
lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp
lib/CodeGen/SelectionDAG/TargetLowering.cpp
lib/Target/X86/X86ISelLowering.cpp
test/CodeGen/Blackfin/2009-08-15-SetCC-Undef.ll
test/CodeGen/Blackfin/promote-logic.ll
test/CodeGen/CellSPU/mul_ops.ll
test/CodeGen/SystemZ/2009-06-02-Rotate.ll
test/CodeGen/X86/xor-icmp.ll [new file with mode: 0644]