llvm-project
44 строки · 1.5 Кб
1; RUN: opt %loadNPMPolly -passes=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, ptr %sx) {
18entry:
19br label %entry.split
20
21entry.split: ; preds = %entry
22%cmp1 = icmp sgt i32 %n, 0
23br 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
27br 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, ptr %sx, i64 %indvar
32%tmp = load float, ptr %sx.addr.02, align 4
33%mul = fmul float %tmp, %sa
34store float %mul, ptr %sx.addr.02, align 4
35%indvar.next = add i64 %indvar, 1
36%exitcond = icmp ne i64 %indvar.next, %0
37br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge
38
39for.cond.for.end_crit_edge: ; preds = %for.body
40br label %for.end
41
42for.end: ; preds = %for.cond.for.end_crit_edge, %entry.split
43ret i32 0
44}
45