1; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
2; RUN:     -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s
3; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 \
4; RUN:     -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s
5; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -ppc-late-peephole=false \
6; RUN:     -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck %s \
7; RUN:     --implicit-check-not creqv --implicit-check-not crxor
8
9
10; For known CRBit spills, CRSET/CRUNSET, it is more efficient to just load and
11; spill the known value.  These tests verify that for CRSET and CRUNSET spills
12; we do not extract the bit for spilling.
13
14%struct.anon = type { i32 }
15
16@b = common dso_local global %struct.anon* null, align 8
17@a = common dso_local global i64 0, align 8
18
19; Function Attrs: nounwind
20define dso_local signext i32 @spillCRSET(i32 signext %p1, i32 signext %p2) {
21; CHECK-LABEL: spillCRSET:
22; CHECK:        # %bb.2:
23; CHECK-DAG:    crnot [[CREG:.*]]*cr5+lt, eq
24; CHECK-DAG:    mfocrf [[REG2:.*]], [[CREG]]
25; CHECK-DAG:    rlwinm [[REG2]], [[REG2]]
26; CHECK:        .LBB0_3:
27; CHECK-NOT:    #UNENCODED_NOP
28; CHECK:        lis [[REG1:.*]], -32768
29; CHECK:        .LBB0_4:
30; CHECK-NOT:    mfocrf [[REG2:.*]], [[CREG]]
31; CHECK-NOT:    rlwinm [[REG2]], [[REG2]]
32; CHECK:        stw [[REG1]]
33; CHECK:        # %bb.5:
34
35entry:
36  %tobool = icmp eq i32 %p2, 0
37  %tobool2 = icmp eq i32 %p1, 0
38  br label %redo_first_pass
39
40redo_first_pass:                                  ; preds = %for.end, %entry
41  br i1 %tobool, label %if.end, label %if.then
42
43if.then:                                          ; preds = %redo_first_pass
44  %call = tail call signext i32 bitcast (i32 (...)* @fn2 to i32 ()*)() #2
45  %tobool1 = icmp ne i32 %call, 0
46  br label %if.end
47
48if.end:                                           ; preds = %redo_first_pass, %if.then
49  %c.1.off0 = phi i1 [ %tobool1, %if.then ], [ true, %redo_first_pass ]
50  br i1 %tobool2, label %if.end4, label %if.then3
51
52if.then3:                                         ; preds = %if.end
53  %0 = load %struct.anon*, %struct.anon** @b, align 8
54  %contains_i = getelementptr inbounds %struct.anon, %struct.anon* %0, i64 0, i32 0
55  store i32 1, i32* %contains_i, align 4
56  br label %if.end4
57
58if.end4:                                          ; preds = %if.end, %if.then3
59  tail call void asm sideeffect "#DO_NOTHING", "~{cr0},~{cr1},~{cr2},~{cr3},~{cr4},~{cr5},~{cr6},~{cr7}"()
60  br i1 %c.1.off0, label %if.then6, label %if.end13
61
62if.then6:                                         ; preds = %if.end4
63  %1 = load i64, i64* @a, align 8
64  %cmp21 = icmp eq i64 %1, 0
65  br i1 %cmp21, label %if.end13, label %for.body
66
67for.body:                                         ; preds = %if.then6, %for.body
68  %s.122 = phi i64 [ %inc, %for.body ], [ 0, %if.then6 ]
69  %call7 = tail call signext i32 bitcast (i32 (...)* @fn3 to i32 ()*)()
70  %inc = add nuw i64 %s.122, 1
71  %exitcond = icmp eq i64 %inc, %1
72  br i1 %exitcond, label %for.end, label %for.body
73
74for.end:                                          ; preds = %for.body
75  br i1 %cmp21, label %if.end13, label %redo_first_pass
76
77if.end13:                                         ; preds = %if.then6, %for.end, %if.end4
78  ret i32 0
79}
80
81%struct.p5rx = type { i32 }
82
83; Function Attrs: nounwind
84define dso_local signext i32 @spillCRUNSET(%struct.p5rx* readonly %p1, i32 signext %p2, i32 signext %p3) {
85; CHECK-LABEL: spillCRUNSET:
86; CHECK:       # %bb.0: # %entry
87; CHECK-DAG:    li [[REG1:.*]], 0
88; CHECK-NOT:    #UNENCODED_NOP
89; CHECK-NOT:    mfocrf [[REG2:.*]], [[CREG]]
90; CHECK-NOT:    rlwinm [[REG2]], [[REG2]]
91; CHECK:        stw [[REG1]]
92; CHECK:        .LBB1_1:
93entry:
94  %and = and i32 %p3, 128
95  %tobool = icmp eq i32 %and, 0
96  %tobool2 = icmp eq %struct.p5rx* %p1, null
97  %sv_any = getelementptr inbounds %struct.p5rx, %struct.p5rx* %p1, i64 0, i32 0
98  %tobool12 = icmp eq i32 %p2, 0
99  br label %redo_first_pass
100
101redo_first_pass:                                  ; preds = %if.end11, %entry
102  %a.0.off0 = phi i1 [ false, %entry ], [ %a.1.off0, %if.end11 ]
103  br i1 %tobool, label %if.end, label %if.then
104
105if.then:                                          ; preds = %redo_first_pass
106  %call = tail call signext i32 bitcast (i32 (...)* @fn2 to i32 ()*)()
107  %tobool1 = icmp ne i32 %call, 0
108  br label %if.end
109
110if.end:                                           ; preds = %redo_first_pass, %if.then
111  %a.1.off0 = phi i1 [ %tobool1, %if.then ], [ %a.0.off0, %redo_first_pass ]
112  tail call void asm sideeffect "#DO_NOTHING", "~{cr0},~{cr1},~{cr2},~{cr3},~{cr4},~{cr5},~{cr6},~{cr7}"()
113  br i1 %tobool2, label %if.end11, label %land.lhs.true
114
115land.lhs.true:                                    ; preds = %if.end
116  %call3 = tail call signext i32 bitcast (i32 (...)* @fn3 to i32 ()*)()
117  %tobool4 = icmp eq i32 %call3, 0
118  br i1 %tobool4, label %if.end11, label %land.lhs.true5
119
120land.lhs.true5:                                   ; preds = %land.lhs.true
121  %0 = load i32, i32* %sv_any, align 4
122  %tobool6 = icmp eq i32 %0, 0
123  %a.1.off0.not = xor i1 %a.1.off0, true
124  %brmerge = or i1 %tobool6, %a.1.off0.not
125  br i1 %brmerge, label %if.end11, label %if.then9
126
127if.then9:                                         ; preds = %land.lhs.true5
128  %call10 = tail call signext i32 bitcast (i32 (...)* @fn4 to i32 ()*)()
129  br label %if.end11
130
131if.end11:                                         ; preds = %land.lhs.true5, %land.lhs.true, %if.end, %if.then9
132  br i1 %tobool12, label %if.end14, label %redo_first_pass
133
134if.end14:                                         ; preds = %if.end11
135  ret i32 0
136}
137
138declare signext i32 @fn2(...)
139declare signext i32 @fn3(...)
140declare signext i32 @fn4(...)
141