| ; RUN: llc -verify-machineinstrs < %s | FileCheck %s |
| target datalayout = "e-m:e-i64:64-n32:64" |
| target triple = "powerpc64le-unknown-linux-gnu" |
| |
| @c = external unnamed_addr global i32, align 4 |
| @b = external global [1 x i32], align 4 |
| |
| ; Function Attrs: nounwind |
| define void @fn2() #0 align 4 { |
| br i1 undef, label %.lr.ph, label %4 |
| |
| ; We used to crash because a bad DAGCombine was creating i32-typed SETCC nodes, |
| ; even when crbits are enabled. |
| ; CHECK-LABEL: @fn2 |
| ; CHECK: blr |
| |
| .lr.ph: ; preds = %0 |
| br i1 undef, label %.lr.ph.split, label %.preheader |
| |
| .preheader: ; preds = %.preheader, %.lr.ph |
| br i1 undef, label %.lr.ph.split, label %.preheader |
| |
| .lr.ph.split: ; preds = %.preheader, %.lr.ph |
| br i1 undef, label %._crit_edge, label %.lr.ph.split.split |
| |
| .lr.ph.split.split: ; preds = %.lr.ph.split.split, %.lr.ph.split |
| %1 = phi i32 [ %2, %.lr.ph.split.split ], [ undef, %.lr.ph.split ] |
| %constexpr = select i1 icmp eq (ptr @c, ptr @b), i1 true, i1 false |
| %constexpr1 = zext i1 %constexpr to i32 |
| %constexpr2 = and i32 %constexpr1, %constexpr1 |
| %constexpr3 = and i32 %constexpr2, %constexpr1 |
| %constexpr4 = and i32 %constexpr3, %constexpr1 |
| %constexpr5 = and i32 %constexpr4, %constexpr1 |
| %constexpr6 = and i32 %constexpr5, %constexpr1 |
| %constexpr7 = and i32 %constexpr6, %constexpr1 |
| %constexpr8 = and i32 %constexpr7, %constexpr1 |
| %2 = and i32 %1, %constexpr8 |
| %3 = icmp slt i32 undef, 4 |
| br i1 %3, label %.lr.ph.split.split, label %._crit_edge |
| |
| ._crit_edge: ; preds = %.lr.ph.split.split, %.lr.ph.split |
| %.lcssa = phi i32 [ undef, %.lr.ph.split ], [ %2, %.lr.ph.split.split ] |
| br label %4 |
| |
| 4: ; preds = %._crit_edge, %0 |
| ret void |
| } |
| |
| attributes #0 = { nounwind "target-cpu"="ppc64le" } |
| |