1 ; RUN: opt %loadPolly -polly-detect-unprofitable -basicaa -polly-detect-track-failures -polly-detect-keep-going -polly-detect -analyze < %s | FileCheck %s
3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4 target triple = "x86_64-unknown-linux-gnu"
6 define i32 @a(i32 %n, i32* noalias %A, i32* noalias %B) #0 {
10 entry.split: ; preds = %entry
13 for.cond2.preheader: ; preds = %for.body
16 for.body: ; preds = %entry.split, %for.body
17 %indvar = phi i64 [ 0, %entry.split ], [ %indvar.next, %for.body ]
18 %j.02 = trunc i64 %indvar to i32
19 %arrayidx = getelementptr i32, i32* %B, i64 %indvar
20 store i32 %j.02, i32* %arrayidx, align 4
21 %indvar.next = add i64 %indvar, 1
22 %exitcond3 = icmp ne i64 %indvar.next, 32
23 br i1 %exitcond3, label %for.body, label %for.cond2.preheader
25 for.body4: ; preds = %for.cond2.preheader, %for.body4
26 %0 = phi i32 [ 0, %for.cond2.preheader ], [ %1, %for.body4 ]
28 %idxprom5 = sext i32 %mul to i64
29 %arrayidx6 = getelementptr inbounds i32, i32* %A, i64 %idxprom5
30 store i32 %0, i32* %arrayidx6, align 4
31 %1 = add nsw i32 %0, 1
32 %exitcond = icmp ne i32 %1, 32
33 br i1 %exitcond, label %for.body4, label %for.end9
35 for.end9: ; preds = %for.body4
36 %idxprom10 = sext i32 %n to i64
37 %arrayidx11 = getelementptr inbounds i32, i32* %A, i64 %idxprom10
38 %2 = load i32* %arrayidx11, align 4
39 %idxprom12 = sext i32 %n to i64
40 %arrayidx13 = getelementptr inbounds i32, i32* %B, i64 %idxprom12
41 %3 = load i32* %arrayidx13, align 4
42 %add = add nsw i32 %3, %2
46 ; CHECK: Valid Region for Scop: for.body => for.cond2.preheader