44 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>" \3; RUN: "-aa-pipeline=basic-aa,tbaa" 2>&1 | FileCheck %s4 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 48; CHECK-NEXT: da analyze - none!9; CHECK-NEXT: Src: %v = load i32, ptr %arrayidx1, align 4 --> Dst: store i32 %add, ptr %a.lcssa, align 410; 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 412; CHECK-NEXT: da analyze - consistent output [S]!13;14entry:15 br label %while.body16 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, 321 %div = udiv i32 %mul, 222 %inc = add i32 %inc.phi, 123 %incdec.ptr = getelementptr inbounds i32, ptr %a, i32 %inc24 %cmp.not = icmp eq i32 %div, 125 br i1 %cmp.not, label %while.end, label %while.body26 27while.end:28 %a.lcssa = phi ptr [ %incdec.ptr, %while.body ]29 br label %for.body30 31for.body:32 %indvars.iv = phi i64 [ 1, %while.end ], [ %indvars.iv.next, %for.body ]33 %arrayidx1 = getelementptr inbounds i32, ptr %a, i64 %indvars.iv34 %v = load i32, ptr %arrayidx1, align 435 %add = add nsw i32 %v, 136 store i32 %add, ptr %a.lcssa, align 437 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 138 %exitcond.not = icmp eq i64 %indvars.iv.next, %n239 br i1 %exitcond.not, label %ret, label %for.body40 41ret:42 ret void43}44