1; RUN: opt %loadPolly -basic-aa -sroa -instcombine -simplifycfg -tailcallopt \
2; RUN:    -simplifycfg -reassociate -loop-rotate -instcombine -indvars \
3; RUN:    -polly-prepare -polly-print-scops -disable-output < %s \
4; RUN:     | FileCheck %s --check-prefix=NOLICM
5
6; RUN: opt %loadPolly -basic-aa -sroa -instcombine -simplifycfg -tailcallopt \
7; RUN:    -simplifycfg -reassociate -loop-rotate -instcombine -indvars -licm \
8; RUN:    -polly-prepare -polly-print-scops -disable-output < %s \
9; RUN:     | FileCheck %s --check-prefix=LICM
10
11;    void foo(int n, float A[static const restrict n], float x) {
12;      //      (0)
13;      for (int i = 0; i < 5; i += 1) {
14;        for (int j = 0; j < n; j += 1) {
15;          x = 7; // (1)
16;        }
17;        A[0] = x; // (3)
18;      }
19;      // (4)
20;    }
21
22; LICM:   Statements
23; NOLICM: Statements
24
25target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
26
27define void @foo(i32 %n, float* noalias nonnull %A, float %x) {
28entry:
29  %n.addr = alloca i32, align 4
30  %A.addr = alloca float*, align 8
31  %x.addr = alloca float, align 4
32  %i = alloca i32, align 4
33  %j = alloca i32, align 4
34  store i32 %n, i32* %n.addr, align 4
35  store float* %A, float** %A.addr, align 8
36  store float %x, float* %x.addr, align 4
37  %tmp = load i32, i32* %n.addr, align 4
38  %tmp1 = zext i32 %tmp to i64
39  store i32 0, i32* %i, align 4
40  br label %for.cond
41
42for.cond:                                         ; preds = %for.inc.4, %entry
43  %tmp2 = load i32, i32* %i, align 4
44  %cmp = icmp slt i32 %tmp2, 5
45  br i1 %cmp, label %for.body, label %for.end.6
46
47for.body:                                         ; preds = %for.cond
48  store i32 0, i32* %j, align 4
49  br label %for.cond.1
50
51for.cond.1:                                       ; preds = %for.inc, %for.body
52  %tmp3 = load i32, i32* %j, align 4
53  %tmp4 = load i32, i32* %n.addr, align 4
54  %cmp2 = icmp slt i32 %tmp3, %tmp4
55  br i1 %cmp2, label %for.body.3, label %for.end
56
57for.body.3:                                       ; preds = %for.cond.1
58  store float 7.000000e+00, float* %x.addr, align 4
59  br label %for.inc
60
61for.inc:                                          ; preds = %for.body.3
62  %tmp5 = load i32, i32* %j, align 4
63  %add = add nsw i32 %tmp5, 1
64  store i32 %add, i32* %j, align 4
65  br label %for.cond.1
66
67for.end:                                          ; preds = %for.cond.1
68  %tmp6 = load float, float* %x.addr, align 4
69  %tmp7 = load float*, float** %A.addr, align 8
70  %arrayidx = getelementptr inbounds float, float* %tmp7, i64 0
71  store float %tmp6, float* %arrayidx, align 4
72  br label %for.inc.4
73
74for.inc.4:                                        ; preds = %for.end
75  %tmp8 = load i32, i32* %i, align 4
76  %add5 = add nsw i32 %tmp8, 1
77  store i32 %add5, i32* %i, align 4
78  br label %for.cond
79
80for.end.6:                                        ; preds = %for.cond
81  ret void
82}
83
84; CHECK: Statements {
85; CHECK:     Stmt_for_end
86; CHECK: }
87