1; 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
2
3define i32 @t1(i32 %a, i32 %b) nounwind {
4entry:
5; ELF64: t1
6  %x = add i32 %a, %b
7  br i1 1, label %if.then, label %if.else
8; ELF64-NOT: b {{\.?}}LBB0_1
9
10if.then:                                          ; preds = %entry
11  call void @foo1()
12  br label %if.end7
13
14if.else:                                          ; preds = %entry
15  br i1 0, label %if.then2, label %if.else3
16; ELF64: b {{\.?}}LBB0_4
17
18if.then2:                                         ; preds = %if.else
19  call void @foo2()
20  br label %if.end6
21
22if.else3:                                         ; preds = %if.else
23  %y = sub i32 %a, %b
24  br i1 1, label %if.then5, label %if.end
25; ELF64-NOT: b {{\.?}}LBB0_5
26
27if.then5:                                         ; preds = %if.else3
28  call void @foo1()
29  br label %if.end
30
31if.end:                                           ; preds = %if.then5, %if.else3
32  br label %if.end6
33
34if.end6:                                          ; preds = %if.end, %if.then2
35  br label %if.end7
36
37if.end7:                                          ; preds = %if.end6, %if.then
38  ret i32 0
39}
40
41declare void @foo1()
42
43declare void @foo2()
44