[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / subreg-postra.ll
blob7557e4e9a4679f0cb4b4c9220188ecd09542894d
1 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 < %s | FileCheck %s
2 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 -ppc-gen-isel=false < %s | FileCheck --check-prefix=CHECK-NO-ISEL %s
3 target datalayout = "E-m:e-i64:64-n32:64"
4 target triple = "powerpc64-unknown-linux-gnu"
6 ; Function Attrs: nounwind
7 define void @jbd2_journal_commit_transaction(i32* %journal, i64 %inp1, i32 %inp2,
8                                              i32* %inp3, i32** %inp4,
9                                              i32** %inp5, i1 %inp6,
10                                              i1 %inp7, i1 %inp8) #0 {
11 entry:
12   br i1 undef, label %do.body, label %if.then5
14 if.then5:                                         ; preds = %entry
15   unreachable
17 do.body:                                          ; preds = %entry
18   br i1 undef, label %do.body.i, label %trace_jbd2_start_commit.exit
20 do.body.i:                                        ; preds = %do.body
21   unreachable
23 trace_jbd2_start_commit.exit:                     ; preds = %do.body
24   br i1 undef, label %do.body.i1116, label %trace_jbd2_commit_locking.exit
26 do.body.i1116:                                    ; preds = %trace_jbd2_start_commit.exit
27   br i1 undef, label %if.end.i1123, label %do.body5.i1122
29 do.body5.i1122:                                   ; preds = %do.body.i1116
30   unreachable
32 if.end.i1123:                                     ; preds = %do.body.i1116
33   br label %trace_jbd2_commit_locking.exit
35 trace_jbd2_commit_locking.exit:                   ; preds = %if.end.i1123, %trace_jbd2_start_commit.exit
36   br i1 undef, label %spin_unlock.exit1146, label %if.then.i.i.i.i1144
38 if.then.i.i.i.i1144:                              ; preds = %trace_jbd2_commit_locking.exit
39   unreachable
41 spin_unlock.exit1146:                             ; preds = %trace_jbd2_commit_locking.exit
42   br i1 undef, label %spin_unlock.exit1154, label %if.then.i.i.i.i1152
44 if.then.i.i.i.i1152:                              ; preds = %spin_unlock.exit1146
45   br label %spin_unlock.exit1154
47 spin_unlock.exit1154:                             ; preds = %if.then.i.i.i.i1152, %spin_unlock.exit1146
48   br i1 undef, label %do.body.i1159, label %trace_jbd2_commit_flushing.exit
50 do.body.i1159:                                    ; preds = %spin_unlock.exit1154
51   unreachable
53 trace_jbd2_commit_flushing.exit:                  ; preds = %spin_unlock.exit1154
54   br i1 undef, label %for.end.i, label %for.body.lr.ph.i
56 for.body.lr.ph.i:                                 ; preds = %trace_jbd2_commit_flushing.exit
57   br i1 undef, label %spin_unlock.exit.i, label %if.then.i.i.i.i.i
59 if.then.i.i.i.i.i:                                ; preds = %for.body.lr.ph.i
60   unreachable
62 spin_unlock.exit.i:                               ; preds = %for.body.lr.ph.i
63   unreachable
65 for.end.i:                                        ; preds = %trace_jbd2_commit_flushing.exit
66   br i1 undef, label %journal_submit_data_buffers.exit, label %if.then.i.i.i.i31.i
68 if.then.i.i.i.i31.i:                              ; preds = %for.end.i
69   unreachable
71 journal_submit_data_buffers.exit:                 ; preds = %for.end.i
72   br i1 undef, label %if.end103, label %if.then102
74 if.then102:                                       ; preds = %journal_submit_data_buffers.exit
75   unreachable
77 if.end103:                                        ; preds = %journal_submit_data_buffers.exit
78   br i1 undef, label %do.body.i1182, label %trace_jbd2_commit_logging.exit
80 do.body.i1182:                                    ; preds = %if.end103
81   unreachable
83 trace_jbd2_commit_logging.exit:                   ; preds = %if.end103
84   br i1 undef, label %for.end.i1287, label %for.body.i1277
86 for.body.i1277:                                   ; preds = %trace_jbd2_commit_logging.exit
87   unreachable
89 for.end.i1287:                                    ; preds = %trace_jbd2_commit_logging.exit
90   br i1 undef, label %journal_finish_inode_data_buffers.exit, label %if.then.i.i.i.i84.i
92 if.then.i.i.i.i84.i:                              ; preds = %for.end.i1287
93   unreachable
95 journal_finish_inode_data_buffers.exit:           ; preds = %for.end.i1287
96   br i1 undef, label %if.end256, label %if.then249
98 if.then249:                                       ; preds = %journal_finish_inode_data_buffers.exit
99   unreachable
101 if.end256:                                        ; preds = %journal_finish_inode_data_buffers.exit
102   br i1 undef, label %do.body277, label %if.then260
104 if.then260:                                       ; preds = %if.end256
105   br label %do.body277
107 do.body277:                                       ; preds = %if.then260, %if.end256
108   br label %while.body318
110 while.body318:                                    ; preds = %wait_on_buffer.exit, %do.body277
111   %tobool.i1295 = icmp eq i64 %inp1, 0
112   br i1 %tobool.i1295, label %wait_on_buffer.exit, label %if.then.i1296
114 if.then.i1296:                                    ; preds = %while.body318
115   unreachable
117 wait_on_buffer.exit:                              ; preds = %while.body318
118   br i1 %inp6, label %do.body378, label %while.body318
120 do.body378:                                       ; preds = %wait_on_buffer.exit
121   br i1 %inp7, label %while.end418, label %while.body392.lr.ph
123 while.body392.lr.ph:                              ; preds = %do.body378
124   br label %while.body392
126 while.body392:                                    ; preds = %wait_on_buffer.exit1319, %while.body392.lr.ph
127   %0 = load i8*, i8** undef, align 8
128   %add.ptr399 = getelementptr inbounds i8, i8* %0, i64 -72
129   %b_state.i.i1314 = bitcast i8* %add.ptr399 to i64*
130   %tobool.i1316 = icmp eq i64 %inp1, 0
131   br i1 %tobool.i1316, label %wait_on_buffer.exit1319, label %if.then.i1317
133 if.then.i1317:                                    ; preds = %while.body392
134   unreachable
136 wait_on_buffer.exit1319:                          ; preds = %while.body392
137   %1 = load volatile i64, i64* %b_state.i.i1314, align 8
138   %conv.i.i1322 = and i64 %1, 1
139   %lnot404 = icmp eq i64 %conv.i.i1322, 0
140   %.err.4 = select i1 %lnot404, i32 -5, i32 %inp2
141   %2 = call i64 asm sideeffect "1:.long 0x7c0000a8 $| ((($0) & 0x1f) << 21) $| (((0) & 0x1f) << 16) $| ((($3) & 0x1f) << 11) $| (((0) & 0x1) << 0) \0Aandc $0,$0,$2\0Astdcx. $0,0,$3\0Abne- 1b\0A", "=&r,=*m,r,r,*m,~{cc},~{memory}"(i64* %b_state.i.i1314, i64 262144, i64* %b_state.i.i1314, i64* %b_state.i.i1314) #1
142   %prev.i.i.i1325 = getelementptr inbounds i8, i8* %0, i64 8
143   %3 = load i32*, i32** %inp4, align 8
144   store i32* %3, i32** %inp5, align 8
145   call void @__brelse(i32* %3) #1
146   br i1 %inp8, label %while.end418, label %while.body392
148 ; CHECK-LABEL: @jbd2_journal_commit_transaction
149 ; CHECK-NO-ISEL-LABEL: @jbd2_journal_commit_transaction
150 ; CHECK: andi.
151 ; CHECK: crmove
152 ; CHECK: stdcx.
153 ; CHECK: isel {{[0-9]+}}, {{[0-9]+}}, {{[0-9]+}},
154 ; CHECK-NO-ISEL: bc 12, 1, [[TRUE:.LBB[0-9]+]]
155 ; CHECK-NO-ISEL: ori 30, 3, 0
156 ; CHECK-NO-ISEL: b [[SUCCESSOR:.LBB[0-9]+]]
159 while.end418:                                     ; preds = %wait_on_buffer.exit1319, %do.body378
160   %err.4.lcssa = phi i32 [ %inp2, %do.body378 ], [ %.err.4, %wait_on_buffer.exit1319 ]
161   br i1 %inp7, label %if.end421, label %if.then420
163 if.then420:                                       ; preds = %while.end418
164   call void @jbd2_journal_abort(i32* %journal, i32 signext %err.4.lcssa) #1
165   br label %if.end421
167 if.end421:                                        ; preds = %if.then420, %while.end418
168   unreachable
171 declare void @jbd2_journal_abort(i32*, i32 signext)
173 declare void @__brelse(i32*)
175 attributes #0 = { nounwind }
176 attributes #1 = { nounwind }