105 lines · plain
1; RUN: opt %loadNPMPolly -polly-ignore-inbounds '-passes=polly-custom<simplify>' -polly-print-simplify -disable-output < %s | FileCheck %s -match-full-lines2;3; Test scalability.4;5define void @func(i32 %n, ptr noalias nonnull %A,6i32 %p0, i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6, i32 %p7, i32 %p8, i32 %p9,7i32 %p10, i32 %p11, i32 %p12, i32 %p13, i32 %p14, i32 %p15, i32 %p16, i32 %p17, i32 %p18, i32 %p19,8i32 %p20, i32 %p21, i32 %p22, i32 %p23, i32 %p24, i32 %p25, i32 %p26, i32 %p27, i32 %p28, i32 %p29,9i32 %p30, i32 %p31, i32 %p32) {10entry:11 br label %for12 13for:14 %j = phi i32 [0, %entry], [%j.inc, %inc]15 %j.cmp = icmp slt i32 %j, %n16 br i1 %j.cmp, label %body, label %exit17 18 19 body:20 %A0 = getelementptr inbounds double, ptr %A, i32 %p021 %A1 = getelementptr inbounds double, ptr %A, i32 %p122 %A2 = getelementptr inbounds double, ptr %A, i32 %p223 %A3 = getelementptr inbounds double, ptr %A, i32 %p324 %A4 = getelementptr inbounds double, ptr %A, i32 %p425 %A5 = getelementptr inbounds double, ptr %A, i32 %p526 %A6 = getelementptr inbounds double, ptr %A, i32 %p627 %A7 = getelementptr inbounds double, ptr %A, i32 %p728 %A8 = getelementptr inbounds double, ptr %A, i32 %p829 %A9 = getelementptr inbounds double, ptr %A, i32 %p930 %A10 = getelementptr inbounds double, ptr %A, i32 %p1031 %A11 = getelementptr inbounds double, ptr %A, i32 %p1132 %A12 = getelementptr inbounds double, ptr %A, i32 %p1233 %A13 = getelementptr inbounds double, ptr %A, i32 %p1334 %A14 = getelementptr inbounds double, ptr %A, i32 %p1435 %A15 = getelementptr inbounds double, ptr %A, i32 %p1536 %A16 = getelementptr inbounds double, ptr %A, i32 %p1637 %A17 = getelementptr inbounds double, ptr %A, i32 %p1738 %A18 = getelementptr inbounds double, ptr %A, i32 %p1839 %A19 = getelementptr inbounds double, ptr %A, i32 %p1940 %A20 = getelementptr inbounds double, ptr %A, i32 %p2041 %A21 = getelementptr inbounds double, ptr %A, i32 %p2142 %A22 = getelementptr inbounds double, ptr %A, i32 %p2243 %A23 = getelementptr inbounds double, ptr %A, i32 %p2344 %A24 = getelementptr inbounds double, ptr %A, i32 %p2445 %A25 = getelementptr inbounds double, ptr %A, i32 %p2546 %A26 = getelementptr inbounds double, ptr %A, i32 %p2647 %A27 = getelementptr inbounds double, ptr %A, i32 %p2748 %A28 = getelementptr inbounds double, ptr %A, i32 %p2849 %A29 = getelementptr inbounds double, ptr %A, i32 %p2950 %A30 = getelementptr inbounds double, ptr %A, i32 %p3051 %A31 = getelementptr inbounds double, ptr %A, i32 %p3152 %A32 = getelementptr inbounds double, ptr %A, i32 %p3253 54 %val = load double, ptr %A055 56 store double %val, ptr %A157 store double %val, ptr %A258 store double %val, ptr %A359 store double %val, ptr %A460 store double %val, ptr %A561 store double %val, ptr %A662 store double %val, ptr %A763 store double %val, ptr %A864 store double %val, ptr %A965 store double %val, ptr %A1066 store double %val, ptr %A1167 store double %val, ptr %A1268 store double %val, ptr %A1369 store double %val, ptr %A1470 store double %val, ptr %A1571 store double %val, ptr %A1672 store double %val, ptr %A1773 store double %val, ptr %A1874 store double %val, ptr %A1975 store double %val, ptr %A2076 store double %val, ptr %A2177 store double %val, ptr %A2278 store double %val, ptr %A2379 store double %val, ptr %A2480 store double %val, ptr %A2581 store double %val, ptr %A2682 store double %val, ptr %A2783 store double %val, ptr %A2884 store double %val, ptr %A2985 store double %val, ptr %A3086 store double %val, ptr %A3187 store double %val, ptr %A3288 89 br label %inc90 91 92inc:93 %j.inc = add nuw nsw i32 %j, 194 br label %for95 96exit:97 br label %return98 99return:100 ret void101}102 103 104; CHECK: SCoP could not be simplified105