59 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<ast>' -polly-print-ast -polly-allow-nonaffine -disable-output < %s | FileCheck %s2 3;#include <stdio.h>4;#include <stdlib.h>5;#include <math.h>6;7;int main()8;{9; int A[1024*1024];10; int i;11; for (i = 0; i < 1024; i++)12; A[i*i] = 2*i;13;14; printf("Random Value: %d", A[rand() % 1024*1024]);15;16; return 0;17;}18 19target 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"20 21@.str = private unnamed_addr constant [17 x i8] c"Random Value: %d\00", align 122 23define i32 @main() nounwind uwtable ssp {24entry:25 %A = alloca [1048576 x i32], align 1626 br label %entry.split27 28entry.split: ; preds = %entry29 br label %for.body30 31for.body: ; preds = %entry.split, %for.body32 %0 = phi i32 [ 0, %entry.split ], [ %1, %for.body ]33 %mul = mul i32 %0, 234 %mul1 = mul nsw i32 %0, %035 %idxprom1 = zext i32 %mul1 to i6436 %arrayidx = getelementptr inbounds [1048576 x i32], ptr %A, i64 0, i64 %idxprom137 store i32 %mul, ptr %arrayidx, align 438 %1 = add nsw i32 %0, 139 %exitcond = icmp ne i32 %1, 102440 br i1 %exitcond, label %for.body, label %for.end41 42for.end: ; preds = %for.body43 %call = call i32 @rand() nounwind44 %rem = srem i32 %call, 102445 %mul2 = shl nsw i32 %rem, 1046 %idxprom3 = sext i32 %mul2 to i6447 %arrayidx4 = getelementptr inbounds [1048576 x i32], ptr %A, i64 0, i64 %idxprom348 %2 = load i32, ptr %arrayidx4, align 1649 %call5 = call i32 (ptr, ...) @printf(ptr @.str, i32 %2) nounwind50 ret i32 051}52 53declare i32 @printf(ptr, ...)54 55declare i32 @rand()56 57; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 1)58; CHECK: Stmt_for_body(c0);59