llvm-project

1
; RUN: opt %loadNPMPolly '-passes=print<polly-ast>' -disable-output < %s | FileCheck %s
2
target 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"
3

4
@A = common global [1024 x i32] zeroinitializer, align 16 ; <ptr> [#uses=3]
5

6
define void @bar(i64 %n) nounwind {
7
bb:
8
  fence seq_cst
9
  br label %bb1
10

11
bb1:                                              ; preds = %bb3, %bb
12
  %i.0 = phi i64 [ 0, %bb ], [ %tmp, %bb3 ]       ; <i64> [#uses=3]
13
  %scevgep = getelementptr [1024 x i32], ptr @A, i64 0, i64 %i.0 ; <ptr> [#uses=1]
14
  %exitcond = icmp ne i64 %i.0, %n                ; <i1> [#uses=1]
15
  br i1 %exitcond, label %bb2, label %bb4
16

17
bb2:                                              ; preds = %bb1
18
  store i32 1, ptr %scevgep
19
  br label %bb3
20

21
bb3:                                              ; preds = %bb2
22
  %tmp = add nsw i64 %i.0, 1                      ; <i64> [#uses=1]
23
  br label %bb1
24

25
bb4:                                              ; preds = %bb1
26
  fence seq_cst
27
  ret void
28
}
29

30
define i32 @main() nounwind {
31
bb:
32
  call void @llvm.memset.p0.i64(ptr @A, i8 0, i64 4096, i32 1, i1 false)
33
  call void @bar(i64 1024)
34
  br label %bb1
35

36
bb1:                                              ; preds = %bb7, %bb
37
  %indvar = phi i64 [ %indvar.next, %bb7 ], [ 0, %bb ] ; <i64> [#uses=3]
38
  %scevgep = getelementptr [1024 x i32], ptr @A, i64 0, i64 %indvar ; <ptr> [#uses=1]
39
  %i.0 = trunc i64 %indvar to i32                 ; <i32> [#uses=1]
40
  %tmp = icmp slt i32 %i.0, 1024                  ; <i1> [#uses=1]
41
  br i1 %tmp, label %bb2, label %bb8
42

43
bb2:                                              ; preds = %bb1
44
  %tmp3 = load i32, ptr %scevgep                      ; <i32> [#uses=1]
45
  %tmp4 = icmp ne i32 %tmp3, 1                    ; <i1> [#uses=1]
46
  br i1 %tmp4, label %bb5, label %bb6
47

48
bb5:                                              ; preds = %bb2
49
  br label %bb9
50

51
bb6:                                              ; preds = %bb2
52
  br label %bb7
53

54
bb7:                                              ; preds = %bb6
55
  %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=1]
56
  br label %bb1
57

58
bb8:                                              ; preds = %bb1
59
  br label %bb9
60

61
bb9:                                              ; preds = %bb8, %bb5
62
  %.0 = phi i32 [ 1, %bb5 ], [ 0, %bb8 ]          ; <i32> [#uses=1]
63
  ret i32 %.0
64
}
65

66
declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i32, i1) nounwind
67

68
; CHECK: for (int c0 = 0; c0 < n; c0 += 1)
69
; CHECK:   Stmt_bb2(c0);
70

71