| ; RUN: llc -verify-machineinstrs < %s | |
| ; PR25838 | |
| target triple = "armv7--linux-android" | |
| %0 = type { i32, i32 } | |
| define i32 @foo(ptr readonly) { | |
| br i1 undef, label %12, label %2 | |
| ; <label>:2 | |
| %3 = trunc i64 undef to i32 | |
| %4 = icmp eq i32 undef, 0 | |
| br i1 %4, label %5, label %9 | |
| ; <label>:5 | |
| %6 = icmp slt i32 %3, 0 | |
| %7 = sub nsw i32 0, %3 | |
| %8 = select i1 %6, i32 %7, i32 %3 | |
| br label %12 | |
| ; <label>:9 | |
| br i1 undef, label %12, label %10 | |
| ; <label>:10 | |
| %11 = tail call i32 @bar(i32 undef) | |
| unreachable | |
| ; <label>:12 | |
| %13 = phi i32 [ %8, %5 ], [ 0, %1 ], [ undef, %9 ] | |
| ret i32 %13 | |
| } | |
| declare i32 @bar(i32) |