; RUN: llc -relocation-model=static < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s --check-prefix=ELF64
define i32 @t1(i32 %a, i32 %b) nounwind {
entry:
; ELF64: t1
%x = add i32 %a, %b
br i1 1, label %if.then, label %if.else
; ELF64-NOT: b {{\.?}}LBB0_1
if.then: ; preds = %entry
call void @foo1()
br label %if.end7
if.else: ; preds = %entry
br i1 0, label %if.then2, label %if.else3
; ELF64: b {{\.?}}LBB0_4
if.then2: ; preds = %if.else
call void @foo2()
br label %if.end6
if.else3: ; preds = %if.else
%y = sub i32 %a, %b
br i1 1, label %if.then5, label %if.end
; ELF64-NOT: b {{\.?}}LBB0_5
if.then5: ; preds = %if.else3
call void @foo1()
br label %if.end
if.end: ; preds = %if.then5, %if.else3
br label %if.end6
if.end6: ; preds = %if.end, %if.then2
br label %if.end7
if.end7: ; preds = %if.end6, %if.then
ret i32 0
}
declare void @foo1()
declare void @foo2()