diff options
| -rw-r--r-- | lib/CodeGen/SelectionDAG/LegalizeTypes.cpp | 1 | ||||
| -rw-r--r-- | test/CodeGen/PowerPC/2008-12-02-LegalizeTypeAssert.ll | 18 |
2 files changed, 18 insertions, 1 deletions
diff --git a/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp b/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp index 9a22f09ee6..0573b6dd35 100644 --- a/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp +++ b/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp @@ -386,7 +386,6 @@ void DAGTypeLegalizer::RemapValue(SDValue &N) { RemapValue(I->second); N = I->second; } - assert(N.getNode()->getNodeId() != NewNode && "Mapped to unanalyzed node!"); } /// ExpungeNode - If N has a bogus mapping in ReplacedValues, eliminate it. diff --git a/test/CodeGen/PowerPC/2008-12-02-LegalizeTypeAssert.ll b/test/CodeGen/PowerPC/2008-12-02-LegalizeTypeAssert.ll new file mode 100644 index 0000000000..f5b3e93d61 --- /dev/null +++ b/test/CodeGen/PowerPC/2008-12-02-LegalizeTypeAssert.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | llc -mtriple=powerpc64-apple-darwin9.5 + +define void @__multc3({ ppc_fp128, ppc_fp128 }* noalias sret %agg.result, ppc_fp128 %a, ppc_fp128 %b, ppc_fp128 %c, ppc_fp128 %d) nounwind { +entry: + %.pre139 = and i1 false, false ; <i1> [#uses=1] + br i1 false, label %bb6, label %bb21 + +bb6: ; preds = %entry + %0 = tail call ppc_fp128 @copysignl(ppc_fp128 0xM00000000000000000000000000000000, ppc_fp128 %a) nounwind readnone ; <ppc_fp128> [#uses=0] + %iftmp.1.0 = select i1 %.pre139, ppc_fp128 0xM3FF00000000000000000000000000000, ppc_fp128 0xM00000000000000000000000000000000 ; <ppc_fp128> [#uses=1] + %1 = tail call ppc_fp128 @copysignl(ppc_fp128 %iftmp.1.0, ppc_fp128 %b) nounwind readnone ; <ppc_fp128> [#uses=0] + unreachable + +bb21: ; preds = %entry + unreachable +} + +declare ppc_fp128 @copysignl(ppc_fp128, ppc_fp128) nounwind readnone |