; RUN: llc -verify-machineinstrs < %s | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-bgq-linux"

declare zeroext i1 @ri1()
declare void @se1()
declare void @se2()

define void @test() #0 {
entry:
  %b = call zeroext i1 @ri1()
  br label %next

; CHECK-LABEL: @test
; CHECK: bl ri1
; CHECK-NEXT: nop
; CHECK: andi. 3, 3, 1

next:
  br i1 %b, label %case1, label %case2

case1:
  call void @se1()
  br label %end

case2:
  call void @se2()
  br label %end

end:
  ret void

; CHECK: blr
}

attributes #0 = { noinline optnone }