[llvm-commits] [llvm] r140733 - in /llvm/trunk: lib/Target/ARM/ARMISelLowering.cpp test/CodeGen/ARM/2011-09-28-CMovCombineBug.ll
Evan Cheng
evan.cheng at apple.com
Wed Sep 28 16:16:34 PDT 2011
Author: evancheng
Date: Wed Sep 28 18:16:31 2011
New Revision: 140733
URL: http://llvm.org/viewvc/llvm-project?rev=140733&view=rev
Log:
Tighten a ARM dag combine condition to avoid an identity transformation, which
ends up introducing a cycle in the DAG.
rdar://10196296
Added:
llvm/trunk/test/CodeGen/ARM/2011-09-28-CMovCombineBug.ll
Modified:
llvm/trunk/lib/Target/ARM/ARMISelLowering.cpp
Modified: llvm/trunk/lib/Target/ARM/ARMISelLowering.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/ARM/ARMISelLowering.cpp?rev=140733&r1=140732&r2=140733&view=diff
==============================================================================
--- llvm/trunk/lib/Target/ARM/ARMISelLowering.cpp (original)
+++ llvm/trunk/lib/Target/ARM/ARMISelLowering.cpp Wed Sep 28 18:16:31 2011
@@ -7344,7 +7344,7 @@
// movne r0, y
/// FIXME: Turn this into a target neutral optimization?
SDValue Res;
- if (CC == ARMCC::NE && FalseVal == RHS) {
+ if (CC == ARMCC::NE && FalseVal == RHS && FalseVal != LHS) {
Res = DAG.getNode(ARMISD::CMOV, dl, VT, LHS, TrueVal, ARMcc,
N->getOperand(3), Cmp);
} else if (CC == ARMCC::EQ && TrueVal == RHS) {
Added: llvm/trunk/test/CodeGen/ARM/2011-09-28-CMovCombineBug.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/ARM/2011-09-28-CMovCombineBug.ll?rev=140733&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/ARM/2011-09-28-CMovCombineBug.ll (added)
+++ llvm/trunk/test/CodeGen/ARM/2011-09-28-CMovCombineBug.ll Wed Sep 28 18:16:31 2011
@@ -0,0 +1,30 @@
+; RUN: llc -mtriple=thumbv7-apple-ios -mcpu=cortex-a8 < %s
+
+; rdar://10196296
+; ARM target specific dag combine created a cycle in DAG.
+
+define void @t() nounwind ssp {
+ %1 = load i64* undef, align 4
+ %2 = shl i32 5, 0
+ %3 = zext i32 %2 to i64
+ %4 = and i64 %1, %3
+ %5 = lshr i64 %4, undef
+ switch i64 %5, label %8 [
+ i64 0, label %9
+ i64 1, label %6
+ i64 4, label %9
+ i64 5, label %7
+ ]
+
+; <label>:6 ; preds = %0
+ unreachable
+
+; <label>:7 ; preds = %0
+ unreachable
+
+; <label>:8 ; preds = %0
+ unreachable
+
+; <label>:9 ; preds = %0, %0
+ ret void
+}
More information about the llvm-commits
mailing list