1; RUN: llc < %s -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s
2target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
3target triple = "powerpc64-unknown-linux-gnu"
4
5define void @foo(i32* %P) #0 {
6entry:
7  %tobool = icmp eq i32* %P, null
8  br i1 %tobool, label %if.end, label %if.then
9
10if.then:                                          ; preds = %entry
11  store i32 0, i32* %P, align 4
12  br label %if.end
13
14if.end:                                           ; preds = %entry, %if.then
15  ret void
16
17; CHECK: @foo
18; CHECK: beqlr
19; CHECK: blr
20}
21
22define void @bar(i32* %P, i32* %Q) #0 {
23entry:
24  %tobool = icmp eq i32* %P, null
25  br i1 %tobool, label %if.else, label %if.then
26
27if.then:                                          ; preds = %entry
28  store i32 0, i32* %P, align 4
29  %tobool1 = icmp eq i32* %Q, null
30  br i1 %tobool1, label %if.end3, label %if.then2
31
32if.then2:                                         ; preds = %if.then
33  store i32 1, i32* %Q, align 4
34  br label %if.end3
35
36if.else:                                          ; preds = %entry
37  store i32 0, i32* %Q, align 4
38  br label %if.end3
39
40if.end3:                                          ; preds = %if.then, %if.then2, %if.else
41  ret void
42
43; CHECK: @bar
44; CHECK: beqlr
45; CHECK: blr
46}
47
48attributes #0 = { nounwind }
49