51 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \3; RUN: | FileCheck %s4 5;; Test to make sure the dump shows the src and dst6;; instructions (including call instructions).7;;8;; void bar(ptr restrict A);9;; void foo(ptr restrict A, int n) {10;; for (int i = 0; i < n; i++) {11;; A[i] = i;12;; bar(A);13;; }14;; }15 16define void @foo(ptr noalias %A, i32 signext %n) {17; CHECK-LABEL: 'foo'18; CHECK-NEXT: Src: store float %conv, ptr %arrayidx, align 4 --> Dst: store float %conv, ptr %arrayidx, align 419; CHECK-NEXT: da analyze - none!20; CHECK-NEXT: Src: store float %conv, ptr %arrayidx, align 4 --> Dst: call void @bar(ptr %A)21; CHECK-NEXT: da analyze - confused!22; CHECK-NEXT: Src: call void @bar(ptr %A) --> Dst: call void @bar(ptr %A)23; CHECK-NEXT: da analyze - confused!24;25entry:26 %cmp1 = icmp slt i32 0, %n27 br i1 %cmp1, label %for.body.lr.ph, label %for.end28 29for.body.lr.ph: ; preds = %entry30 br label %for.body31 32for.body: ; preds = %for.body.lr.ph, %for.body33 %i.02 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ]34 %conv = sitofp i32 %i.02 to float35 %idxprom = zext i32 %i.02 to i6436 %arrayidx = getelementptr inbounds float, ptr %A, i64 %idxprom37 store float %conv, ptr %arrayidx, align 438 call void @bar(ptr %A) #339 %inc = add nuw nsw i32 %i.02, 140 %cmp = icmp slt i32 %inc, %n41 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge42 43for.cond.for.end_crit_edge: ; preds = %for.body44 br label %for.end45 46for.end: ; preds = %for.cond.for.end_crit_edge, %entry47 ret void48}49 50declare void @bar(ptr)51