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>" \ 3; RUN: "-aa-pipeline=basic-aa,tbaa" 2>&1 | FileCheck %s 4 5define void @f(ptr %a, i32 %n, i64 %n2) { 6; CHECK-LABEL: 'f' 7; CHECK-NEXT: Src: %v = load i32, ptr %arrayidx1, align 4 --> Dst: %v = load i32, ptr %arrayidx1, align 4 8; CHECK-NEXT: da analyze - none! 9; CHECK-NEXT: Src: %v = load i32, ptr %arrayidx1, align 4 --> Dst: store i32 %add, ptr %a.lcssa, align 4 10; CHECK-NEXT: da analyze - anti [*|<]! 11; CHECK-NEXT: Src: store i32 %add, ptr %a.lcssa, align 4 --> Dst: store i32 %add, ptr %a.lcssa, align 4 12; CHECK-NEXT: da analyze - consistent output [S]! 13; 14entry: 15 br label %while.body 16 17while.body: 18 %n.addr = phi i32 [ %mul, %while.body ], [ %n, %entry ] 19 %inc.phi = phi i32 [ %inc, %while.body ], [ 0, %entry ] 20 %mul = mul i32 %n.addr, 3 21 %div = udiv i32 %mul, 2 22 %inc = add i32 %inc.phi, 1 23 %incdec.ptr = getelementptr inbounds i32, ptr %a, i32 %inc 24 %cmp.not = icmp eq i32 %div, 1 25 br i1 %cmp.not, label %while.end, label %while.body 26 27while.end: 28 %a.lcssa = phi ptr [ %incdec.ptr, %while.body ] 29 br label %for.body 30 31for.body: 32 %indvars.iv = phi i64 [ 1, %while.end ], [ %indvars.iv.next, %for.body ] 33 %arrayidx1 = getelementptr inbounds i32, ptr %a, i64 %indvars.iv 34 %v = load i32, ptr %arrayidx1, align 4 35 %add = add nsw i32 %v, 1 36 store i32 %add, ptr %a.lcssa, align 4 37 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 38 %exitcond.not = icmp eq i64 %indvars.iv.next, %n2 39 br i1 %exitcond.not, label %ret, label %for.body 40 41ret: 42 ret void 43} 44