40 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | not FileCheck %s2target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"3 4@.str = private unnamed_addr constant [17 x i8] c"Random Value: %d\00", align 15 6define i32 @main() nounwind uwtable ssp {7entry:8 %A = alloca [1048576 x i32], align 169 br label %entry.split10 11entry.split: ; preds = %entry12 br label %for.body13 14for.body: ; preds = %entry.split, %for.body15 %0 = phi i32 [ 0, %entry.split ], [ %1, %for.body ]16 %mul = mul i32 %0, 217 %mul1 = mul nsw i32 %0, %018 %idxprom1 = zext i32 %mul1 to i6419 %arrayidx = getelementptr inbounds [1048576 x i32], ptr %A, i64 0, i64 %idxprom120 store i32 %mul, ptr %arrayidx, align 421 %1 = add nsw i32 %0, 122 %exitcond = icmp ne i32 %1, 102423 br i1 %exitcond, label %for.body, label %for.end24 25for.end: ; preds = %for.body26 %call = call i32 @rand() nounwind27 %rem = srem i32 %call, 102428 %mul2 = shl nsw i32 %rem, 1029 %idxprom3 = sext i32 %mul2 to i6430 %arrayidx4 = getelementptr inbounds [1048576 x i32], ptr %A, i64 0, i64 %idxprom331 %2 = load i32, ptr %arrayidx4, align 1632 %call5 = call i32 (ptr, ...) @printf(ptr @.str, i32 %2) nounwind33 ret i32 034}35 36declare i32 @printf(ptr, ...)37 38declare i32 @rand()39; CHECK: { Stmt_for_body[i0] -> MemRef_A[o0] };40