1; RUN: opt %loadPolly -polly-codegen < %s
2;
3; Regression test for a bug in the runtime check generation.
4
5; This was extracted from the blas testcase. It crashed in one
6; part of the runtime check generation at some point. To be
7; precise, we couldn't find a suitable block to put the RTC code in.
8;
9; int sscal(int n, float sa, float *sx) {
10;   for(int i=0; i<n; i++, sx++)
11;     *sx *= sa;
12;   return 0;
13; }
14;
15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
16
17define i32 @sscal(i32 %n, float %sa, float* %sx) {
18entry:
19  br label %entry.split
20
21entry.split:                                      ; preds = %entry
22  %cmp1 = icmp sgt i32 %n, 0
23  br i1 %cmp1, label %for.body.lr.ph, label %for.end
24
25for.body.lr.ph:                                   ; preds = %entry.split
26  %0 = zext i32 %n to i64
27  br label %for.body
28
29for.body:                                         ; preds = %for.body.lr.ph, %for.body
30  %indvar = phi i64 [ 0, %for.body.lr.ph ], [ %indvar.next, %for.body ]
31  %sx.addr.02 = getelementptr float, float* %sx, i64 %indvar
32  %tmp = load float, float* %sx.addr.02, align 4
33  %mul = fmul float %tmp, %sa
34  store float %mul, float* %sx.addr.02, align 4
35  %indvar.next = add i64 %indvar, 1
36  %exitcond = icmp ne i64 %indvar.next, %0
37  br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge
38
39for.cond.for.end_crit_edge:                       ; preds = %for.body
40  br label %for.end
41
42for.end:                                          ; preds = %for.cond.for.end_crit_edge, %entry.split
43  ret i32 0
44}
45