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