Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/StructurizeCFG/one-loop-multiple-backedges.ll @ 221:79ff65ed7e25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -S -structurizecfg %s -o - | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 ; CHECK-NOT: br i1 true
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 define void @blam(i32 addrspace(1)* nocapture %arg, float %arg1, float %arg2) {
anatofuz
parents:
diff changeset
6 ; CHECK: bb:
anatofuz
parents:
diff changeset
7 bb:
anatofuz
parents:
diff changeset
8 br label %bb3
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 ; CHECK: bb3:
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
11 ; CHECK: %tmp4.inv = xor i1 %tmp4, true
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
12 ; CHECK: br i1 %tmp4.inv, label %bb5, label %Flow
150
anatofuz
parents:
diff changeset
13 bb3: ; preds = %bb7, %bb
anatofuz
parents:
diff changeset
14 %tmp = phi i64 [ 0, %bb ], [ %tmp8, %bb7 ]
anatofuz
parents:
diff changeset
15 %tmp4 = fcmp ult float %arg1, 3.500000e+00
anatofuz
parents:
diff changeset
16 br i1 %tmp4, label %bb7, label %bb5
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 ; CHECK: bb5:
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
19 ; CHECK: %tmp6.inv = xor i1 %tmp6, true
150
anatofuz
parents:
diff changeset
20 ; CHECK: br label %Flow
anatofuz
parents:
diff changeset
21 bb5: ; preds = %bb3
anatofuz
parents:
diff changeset
22 %tmp6 = fcmp olt float 0.000000e+00, %arg2
anatofuz
parents:
diff changeset
23 br i1 %tmp6, label %bb10, label %bb7
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 ; CHECK: Flow:
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
26 ; CHECK: %0 = phi i1 [ %tmp6.inv, %bb5 ], [ %tmp4, %bb3 ]
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
27 ; CHECK: br i1 %0, label %bb7, label %Flow1
150
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29 ; CHECK: bb7:
anatofuz
parents:
diff changeset
30 ; CHECK: br label %Flow1
anatofuz
parents:
diff changeset
31 bb7: ; preds = %bb5, %bb3
anatofuz
parents:
diff changeset
32 %tmp8 = add nuw nsw i64 %tmp, 1
anatofuz
parents:
diff changeset
33 %tmp9 = icmp slt i64 %tmp8, 5
anatofuz
parents:
diff changeset
34 br i1 %tmp9, label %bb3, label %bb10
anatofuz
parents:
diff changeset
35
anatofuz
parents:
diff changeset
36 ; CHECK: Flow1:
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
37 ; CHECK: %3 = phi i1 [ %tmp9.inv, %bb7 ], [ true, %Flow ]
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
38 ; CHECK: br i1 %3, label %bb10, label %bb3
150
anatofuz
parents:
diff changeset
39
anatofuz
parents:
diff changeset
40 ; CHECK: bb10:
anatofuz
parents:
diff changeset
41 bb10: ; preds = %bb7, %bb5
anatofuz
parents:
diff changeset
42 %tmp11 = phi i32 [ 15, %bb5 ], [ 255, %bb7 ]
anatofuz
parents:
diff changeset
43 store i32 %tmp11, i32 addrspace(1)* %arg, align 4
anatofuz
parents:
diff changeset
44 ret void
anatofuz
parents:
diff changeset
45 }