64 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output -aa-pipeline= < %s 2>&1 | FileCheck %s --check-prefix=NOAA2; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output -aa-pipeline=tbaa < %s 2>&1 | FileCheck %s --check-prefix=TBAA3;4; void jd(int *Int0, int *Int1, float *Float0, float *Float1) {5; for (int i = 0; i < 1024; i++) {6; Int0[i] = Int1[i];7; Float0[i] = Float1[i];8; }9; }10;11target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"12 13define void @jd(ptr nocapture %Int0, ptr nocapture readonly %Int1, ptr nocapture %Float0, ptr nocapture readonly %Float1) {14entry:15 br label %for.body16 17for.body: ; preds = %for.body, %entry18 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]19 %arrayidx = getelementptr inbounds i32, ptr %Int1, i64 %indvars.iv20 %tmp = load i32, ptr %arrayidx, align 4, !tbaa !021 %arrayidx2 = getelementptr inbounds i32, ptr %Int0, i64 %indvars.iv22 store i32 %tmp, ptr %arrayidx2, align 4, !tbaa !023 %arrayidx4 = getelementptr inbounds float, ptr %Float1, i64 %indvars.iv24 %tmp1 = load float, ptr %arrayidx4, align 4, !tbaa !425 %arrayidx6 = getelementptr inbounds float, ptr %Float0, i64 %indvars.iv26 store float %tmp1, ptr %arrayidx6, align 4, !tbaa !427 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 128 %exitcond = icmp eq i64 %indvars.iv.next, 102429 br i1 %exitcond, label %for.end, label %for.body30 31for.end: ; preds = %for.body32 ret void33}34 35!0 = !{!1, !1, i64 0}36!1 = !{!"int", !2, i64 0}37!2 = !{!"omnipotent char", !3, i64 0}38!3 = !{!"Simple C/C++ TBAA"}39!4 = !{!5, !5, i64 0}40!5 = !{!"float", !2, i64 0}41 42; NOAA: Alias Groups (2):43; NOAA-NEXT: {{\[\[}}44; NOAA-DAG: <{ MemRef_Int0[(0)] }, { MemRef_Int0[(1024)] }>45; NOAA-DAG: <{ MemRef_{{(Int|Float)}}1[(0)] }, { MemRef_{{(Int|Float)}}1[(1024)] }>46; NOAA-DAG: <{ MemRef_Float0[(0)] }, { MemRef_Float0[(1024)] }>47; NOAA: {{\]\]}}48; NOAA-NEXT: {{\[\[}}49; NOAA-DAG: <{ MemRef_Int0[(0)] }, { MemRef_Int0[(1024)] }>50; NOAA-DAG: <{ MemRef_Float0[(0)] }, { MemRef_Float0[(1024)] }>51; NOAA-DAG: <{ MemRef_{{(Int|Float)}}1[(0)] }, { MemRef_{{(Int|Float)}}1[(1024)] }>52; NOAA: {{\]\]}}53 54 55; TBAA: Alias Groups (2):56; TBAA-NEXT: {{\[\[}}57; TBAA-DAG: <{ MemRef_Int0[(0)] }, { MemRef_Int0[(1024)] }>58; TBAA-DAG: <{ MemRef_Int1[(0)] }, { MemRef_Int1[(1024)] }>59; TBAA: {{\]\]}}60; TBAA-NEXT: {{\[\[}}61; TBAA-DAG: <{ MemRef_Float0[(0)] }, { MemRef_Float0[(1024)] }>62; TBAA-DAG: <{ MemRef_Float1[(0)] }, { MemRef_Float1[(1024)] }>63; TBBA: {{\]\]}}64