Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / ccf43ca05cb1540f3d95a73b7b329bf926808c7b / . / polly / test / CodeGen / loop_with_condition.ll
blob: db5b9c18cac1fbc674fcd8625f7245023e1498a3 [file] [log] [blame]
Tobias Grosser75805372011-04-29 06:27:02 +0000[diff] [blame]1; ModuleID = 'loop_with_condition.s'
Tobias Grosser928b2d162011-07-05 19:13:21 +0000[diff] [blame]2; RUN: opt %loadPolly %defaultOpts -polly-cloog -analyze %s | FileCheck %s
Hongbin Zheng0578aaf2012-03-26 15:16:48 +0000[diff] [blame]3; RUN: opt %loadPolly %defaultOpts -polly-codegen %s | lli %EatErrOnX86
Tobias Grosser75805372011-04-29 06:27:02 +0000[diff] [blame]4
5target 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-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
6target triple = "x86_64-pc-linux-gnu"
7
8@A = common global [1024 x i32] zeroinitializer, align 16 ; <[1024 x i32]*> [#uses=4]
9@B = common global [1024 x i32] zeroinitializer, align 16 ; <[1024 x i32]*> [#uses=4]
10
11define void @loop_with_condition() nounwind {
12; <label>:0
Tobias Grosser39913e32011-11-29 14:51:05 +0000[diff] [blame]13 fence seq_cst
Tobias Grosser75805372011-04-29 06:27:02 +0000[diff] [blame]14 br label %1
15
16; <label>:1 ; preds = %7, %0
17 %indvar = phi i64 [ %indvar.next, %7 ], [ 0, %0 ] ; <i64> [#uses=5]
18 %scevgep = getelementptr [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
19 %scevgep1 = getelementptr [1024 x i32]* @B, i64 0, i64 %indvar ; <i32*> [#uses=1]
20 %i.0 = trunc i64 %indvar to i32 ; <i32> [#uses=1]
21 %exitcond = icmp ne i64 %indvar, 1024 ; <i1> [#uses=1]
22 br i1 %exitcond, label %2, label %8
23
24; <label>:2 ; preds = %1
25 %3 = icmp sle i32 %i.0, 512 ; <i1> [#uses=1]
26 br i1 %3, label %4, label %5
27
28; <label>:4 ; preds = %2
29 store i32 1, i32* %scevgep
30 br label %6
31
32; <label>:5 ; preds = %2
33 store i32 2, i32* %scevgep
34 br label %6
35
36; <label>:6 ; preds = %5, %4
37 store i32 3, i32* %scevgep1
38 br label %7
39
40; <label>:7 ; preds = %6
41 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=1]
42 br label %1
43
44; <label>:8 ; preds = %1
Tobias Grosser39913e32011-11-29 14:51:05 +0000[diff] [blame]45 fence seq_cst
Tobias Grosser75805372011-04-29 06:27:02 +0000[diff] [blame]46 ret void
47}
48
Tobias Grosser75805372011-04-29 06:27:02 +0000[diff] [blame]49define i32 @main() nounwind {
50; <label>:0
51 call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @A to i8*), i8 0, i64 4096, i32 1, i1 false)
52 call void @llvm.memset.p0i8.i64(i8* bitcast ([1024 x i32]* @B to i8*), i8 0, i64 4096, i32 1, i1 false)
53 call void @loop_with_condition()
54 br label %1
55
56; <label>:1 ; preds = %8, %0
57 %indvar1 = phi i64 [ %indvar.next2, %8 ], [ 0, %0 ] ; <i64> [#uses=3]
58 %scevgep3 = getelementptr [1024 x i32]* @B, i64 0, i64 %indvar1 ; <i32*> [#uses=1]
59 %i.0 = trunc i64 %indvar1 to i32 ; <i32> [#uses=1]
60 %2 = icmp slt i32 %i.0, 1024 ; <i1> [#uses=1]
61 br i1 %2, label %3, label %9
62
63; <label>:3 ; preds = %1
64 %4 = load i32* %scevgep3 ; <i32> [#uses=1]
65 %5 = icmp ne i32 %4, 3 ; <i1> [#uses=1]
66 br i1 %5, label %6, label %7
67
68; <label>:6 ; preds = %3
69 br label %28
70
71; <label>:7 ; preds = %3
72 br label %8
73
74; <label>:8 ; preds = %7
75 %indvar.next2 = add i64 %indvar1, 1 ; <i64> [#uses=1]
76 br label %1
77
78; <label>:9 ; preds = %1
79 br label %10
80
81; <label>:10 ; preds = %26, %9
82 %indvar = phi i64 [ %indvar.next, %26 ], [ 0, %9 ] ; <i64> [#uses=3]
83 %scevgep = getelementptr [1024 x i32]* @A, i64 0, i64 %indvar ; <i32*> [#uses=2]
84 %i.1 = trunc i64 %indvar to i32 ; <i32> [#uses=3]
85 %11 = icmp slt i32 %i.1, 1024 ; <i1> [#uses=1]
86 br i1 %11, label %12, label %27
87
88; <label>:12 ; preds = %10
89 %13 = icmp sle i32 %i.1, 512 ; <i1> [#uses=1]
90 br i1 %13, label %14, label %18
91
92; <label>:14 ; preds = %12
93 %15 = load i32* %scevgep ; <i32> [#uses=1]
94 %16 = icmp ne i32 %15, 1 ; <i1> [#uses=1]
95 br i1 %16, label %17, label %18
96
97; <label>:17 ; preds = %14
98 br label %28
99
100; <label>:18 ; preds = %14, %12
101 %19 = icmp sgt i32 %i.1, 512 ; <i1> [#uses=1]
102 br i1 %19, label %20, label %24
103
104; <label>:20 ; preds = %18
105 %21 = load i32* %scevgep ; <i32> [#uses=1]
106 %22 = icmp ne i32 %21, 2 ; <i1> [#uses=1]
107 br i1 %22, label %23, label %24
108
109; <label>:23 ; preds = %20
110 br label %28
111
112; <label>:24 ; preds = %20, %18
113 br label %25
114
115; <label>:25 ; preds = %24
116 br label %26
117
118; <label>:26 ; preds = %25
119 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=1]
120 br label %10
121
122; <label>:27 ; preds = %10
123 br label %28
124
125; <label>:28 ; preds = %27, %23, %17, %6
126 %.0 = phi i32 [ 1, %6 ], [ 1, %17 ], [ 1, %23 ], [ 0, %27 ] ; <i32> [#uses=1]
127 ret i32 %.0
128}
129
130declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
131
132; CHECK: for (c2=0;c2<=512;c2++) {
133; CHECK: Stmt_4(c2);
134; CHECK: Stmt_6(c2);
135; CHECK: }
136; CHECK: for (c2=513;c2<=1023;c2++) {
137; CHECK: Stmt_5(c2);
138; CHECK: Stmt_6(c2);
139; CHECK: }
140