; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -verify-machineinstrs | FileCheck %s

target datalayout = "E-m:e-i64:64-n32:64-S128"
target triple = "sparc64-unknown-linux-gnu"

define void @f(i64 %a0) align 2 {
; CHECK-LABEL: f:
; CHECK:         .cfi_startproc
; CHECK-NEXT:  ! %bb.0: ! %entry
; CHECK-NEXT:    cmp %o0, 0
; CHECK-NEXT:    be %xcc, .LBB0_2
; CHECK-NEXT:    nop
; CHECK-NEXT:    ba .LBB0_1
; CHECK-NEXT:    nop
; CHECK-NEXT:  .LBB0_2: ! %targetblock
; CHECK-NEXT:    mov %g0, %o0
; CHECK-NEXT:    cmp %o0, 0
; CHECK-NEXT:    bne .LBB0_4
; CHECK-NEXT:    nop
; CHECK-NEXT:  ! %bb.3: ! %cond.false.i83
; CHECK-NEXT:  .LBB0_1: ! %cond.false
; CHECK-NEXT:  .LBB0_4: ! %exit.i85
entry:
  %cmp = icmp eq i64 %a0, 0
  br i1 %cmp, label %targetblock, label %cond.false

cond.false:
  unreachable

targetblock:
  br i1 undef, label %cond.false.i83, label %exit.i85

cond.false.i83:
  unreachable

exit.i85:
  unreachable
}