Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / ca81fbcadbb5c1648973f4cbfee5f60f198b6ee3 / . / llvm / test / Transforms / StructurizeCFG / one-loop-multiple-backedges.ll
blob: aff59642cbcb466df85c9e831d5f1a44fa237383 [file] [log] [blame]
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]1; RUN: opt -S -structurizecfg %s -o - | FileCheck %s
2
3; CHECK-NOT: br i1 true
4
5define void @blam(i32 addrspace(1)* nocapture %arg, float %arg1, float %arg2) {
6; CHECK: bb:
7bb:
8 br label %bb3
9
10; CHECK: bb3:
11bb3: ; preds = %bb7, %bb
12 %tmp = phi i64 [ 0, %bb ], [ %tmp8, %bb7 ]
13 %tmp4 = fcmp ult float %arg1, 3.500000e+00
Matt Arsenaultd3406bc2017-04-19 18:29:07 +0000[diff] [blame]14; CHECK: %tmp4 = fcmp oge float %arg1, 3.500000e+00
15; CHECK: br i1 %tmp4, label %bb5, label %Flow
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]16 br i1 %tmp4, label %bb7, label %bb5
17
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]18; CHECK: bb5:
19bb5: ; preds = %bb3
20 %tmp6 = fcmp olt float 0.000000e+00, %arg2
Tom Stellard071ec902015-02-04 20:49:44 +0000[diff] [blame]21; CHECK: br label %Flow
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]22 br i1 %tmp6, label %bb10, label %bb7
23
Tom Stellard071ec902015-02-04 20:49:44 +0000[diff] [blame]24; CHECK: Flow:
Matt Arsenaultd3406bc2017-04-19 18:29:07 +0000[diff] [blame]25; CHECK: %1 = phi i1 [ %tmp6, %bb5 ], [ %tmp4, %bb3 ]
26; CHECK-NEXT: br i1 %1, label %bb7, label %Flow1
Tom Stellard071ec902015-02-04 20:49:44 +0000[diff] [blame]27
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]28; CHECK: bb7
29bb7: ; preds = %bb5, %bb3
30 %tmp8 = add nuw nsw i64 %tmp, 1
31 %tmp9 = icmp slt i64 %tmp8, 5
Tom Stellard071ec902015-02-04 20:49:44 +0000[diff] [blame]32; CHECK: br label %Flow1
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]33 br i1 %tmp9, label %bb3, label %bb10
34
Tom Stellard071ec902015-02-04 20:49:44 +0000[diff] [blame]35; CHECK: Flow1:
Matt Arsenaultd3406bc2017-04-19 18:29:07 +0000[diff] [blame]36; CHECK: %4 = phi i1 [ %tmp9, %bb7 ], [ true, %Flow ]
37; CHECK-NEXT: br i1 %4, label %bb10, label %bb3
Tom Stellard071ec902015-02-04 20:49:44 +0000[diff] [blame]38
Matt Arsenaultd3406bc2017-04-19 18:29:07 +0000[diff] [blame]39; CHECK: bb10:
Tom Stellard1f0dded2014-12-03 04:28:32 +0000[diff] [blame]40bb10: ; preds = %bb7, %bb5
41 %tmp11 = phi i32 [ 15, %bb5 ], [ 255, %bb7 ]
42 store i32 %tmp11, i32 addrspace(1)* %arg, align 4
43 ret void
44}