1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5 2; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \ 3; RUN: | FileCheck %s 4 5;; Test to make sure the dump shows the src and dst 6;; 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 4 19; 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, %n 27 br i1 %cmp1, label %for.body.lr.ph, label %for.end 28 29for.body.lr.ph: ; preds = %entry 30 br label %for.body 31 32for.body: ; preds = %for.body.lr.ph, %for.body 33 %i.02 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ] 34 %conv = sitofp i32 %i.02 to float 35 %idxprom = zext i32 %i.02 to i64 36 %arrayidx = getelementptr inbounds float, ptr %A, i64 %idxprom 37 store float %conv, ptr %arrayidx, align 4 38 call void @bar(ptr %A) #3 39 %inc = add nuw nsw i32 %i.02, 1 40 %cmp = icmp slt i32 %inc, %n 41 br i1 %cmp, label %for.body, label %for.cond.for.end_crit_edge 42 43for.cond.for.end_crit_edge: ; preds = %for.body 44 br label %for.end 45 46for.end: ; preds = %for.cond.for.end_crit_edge, %entry 47 ret void 48} 49 50declare void @bar(ptr) 51