1; RUN: llc < %s -verify-machineinstrs | FileCheck %s
2target datalayout = "E-m:e-i64:64-n32:64-S128"
3target triple = "sparc64-unknown-linux-gnu"
4
5define void @f() align 2 {
6entry:
7; CHECK: %xcc, .LBB0_1
8  %cmp = icmp eq i64 undef, 0
9  br i1 %cmp, label %targetblock, label %cond.false
10
11cond.false:
12  unreachable
13
14; CHECK: .LBB0_1: ! %targetblock
15targetblock:
16  br i1 undef, label %cond.false.i83, label %exit.i85
17
18cond.false.i83:
19  unreachable
20
21exit.i85:
22  unreachable
23}
24