130 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: -da-disable-delinearization-checks | FileCheck %s4; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \5; RUN: | FileCheck --check-prefix=LIN %s6 7target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"8target triple = "x86_64-apple-macosx10.6.0"9 10;; for (long int i = 0; i < n; i++) {11;; for (long int j = 0; j < n; j++) {12;; for (long int k = 0; k < n; k++) {13;; A[i][j][k] = i;14;; }15;; for (long int k = 0; k < n; k++) {16;; *B++ = A[i + 3][j + 2][k + 1];17 18define void @p2(i64 %n, ptr %A, ptr %B) nounwind uwtable ssp {19; CHECK-LABEL: 'p2'20; CHECK-NEXT: Src: store i64 %i.011, ptr %arrayidx8, align 8 --> Dst: store i64 %i.011, ptr %arrayidx8, align 821; CHECK-NEXT: da analyze - none!22; CHECK-NEXT: Src: store i64 %i.011, ptr %arrayidx8, align 8 --> Dst: %0 = load i64, ptr %arrayidx17, align 823; CHECK-NEXT: da analyze - flow [-3 -2] / assuming 1 loop level(s) fused: [-3 -2 -1]!24; CHECK-NEXT: Src: store i64 %i.011, ptr %arrayidx8, align 8 --> Dst: store i64 %0, ptr %B.addr.24, align 825; CHECK-NEXT: da analyze - confused!26; CHECK-NEXT: Src: %0 = load i64, ptr %arrayidx17, align 8 --> Dst: %0 = load i64, ptr %arrayidx17, align 827; CHECK-NEXT: da analyze - none!28; CHECK-NEXT: Src: %0 = load i64, ptr %arrayidx17, align 8 --> Dst: store i64 %0, ptr %B.addr.24, align 829; CHECK-NEXT: da analyze - confused!30; CHECK-NEXT: Src: store i64 %0, ptr %B.addr.24, align 8 --> Dst: store i64 %0, ptr %B.addr.24, align 831; CHECK-NEXT: da analyze - confused!32;33; LIN-LABEL: 'p2'34; LIN-NEXT: Src: store i64 %i.011, ptr %arrayidx8, align 8 --> Dst: store i64 %i.011, ptr %arrayidx8, align 835; LIN-NEXT: da analyze - output [* * *]!36; LIN-NEXT: Src: store i64 %i.011, ptr %arrayidx8, align 8 --> Dst: %0 = load i64, ptr %arrayidx17, align 837; LIN-NEXT: da analyze - flow [* *|<]!38; LIN-NEXT: Src: store i64 %i.011, ptr %arrayidx8, align 8 --> Dst: store i64 %0, ptr %B.addr.24, align 839; LIN-NEXT: da analyze - confused!40; LIN-NEXT: Src: %0 = load i64, ptr %arrayidx17, align 8 --> Dst: %0 = load i64, ptr %arrayidx17, align 841; LIN-NEXT: da analyze - input [* * *]!42; LIN-NEXT: Src: %0 = load i64, ptr %arrayidx17, align 8 --> Dst: store i64 %0, ptr %B.addr.24, align 843; LIN-NEXT: da analyze - confused!44; LIN-NEXT: Src: store i64 %0, ptr %B.addr.24, align 8 --> Dst: store i64 %0, ptr %B.addr.24, align 845; LIN-NEXT: da analyze - confused!46;47entry:48 %cmp10 = icmp sgt i64 %n, 049 br i1 %cmp10, label %for.cond1.preheader.preheader, label %for.end2650 51for.cond1.preheader.preheader: ; preds = %entry52 br label %for.cond1.preheader53 54for.cond1.preheader: ; preds = %for.cond1.preheader.preheader, %for.inc2455 %B.addr.012 = phi ptr [ %B.addr.1.lcssa, %for.inc24 ], [ %B, %for.cond1.preheader.preheader ]56 %i.011 = phi i64 [ %inc25, %for.inc24 ], [ 0, %for.cond1.preheader.preheader ]57 %cmp26 = icmp sgt i64 %n, 058 br i1 %cmp26, label %for.cond4.preheader.preheader, label %for.inc2459 60for.cond4.preheader.preheader: ; preds = %for.cond1.preheader61 br label %for.cond4.preheader62 63for.cond4.preheader: ; preds = %for.cond4.preheader.preheader, %for.inc2164 %B.addr.18 = phi ptr [ %B.addr.2.lcssa, %for.inc21 ], [ %B.addr.012, %for.cond4.preheader.preheader ]65 %j.07 = phi i64 [ %inc22, %for.inc21 ], [ 0, %for.cond4.preheader.preheader ]66 %cmp51 = icmp sgt i64 %n, 067 br i1 %cmp51, label %for.body6.preheader, label %for.cond10.loopexit68 69for.body6.preheader: ; preds = %for.cond4.preheader70 br label %for.body671 72for.body6: ; preds = %for.body6.preheader, %for.body673 %k.02 = phi i64 [ %inc, %for.body6 ], [ 0, %for.body6.preheader ]74 %arrayidx8 = getelementptr inbounds [100 x [100 x i64]], ptr %A, i64 %i.011, i64 %j.07, i64 %k.0275 store i64 %i.011, ptr %arrayidx8, align 876 %inc = add nsw i64 %k.02, 177 %exitcond13 = icmp ne i64 %inc, %n78 br i1 %exitcond13, label %for.body6, label %for.cond10.loopexit.loopexit79 80for.cond10.loopexit.loopexit: ; preds = %for.body681 br label %for.cond10.loopexit82 83for.cond10.loopexit: ; preds = %for.cond10.loopexit.loopexit, %for.cond4.preheader84 %cmp113 = icmp sgt i64 %n, 085 br i1 %cmp113, label %for.body12.preheader, label %for.inc2186 87for.body12.preheader: ; preds = %for.cond10.loopexit88 br label %for.body1289 90for.body12: ; preds = %for.body12.preheader, %for.body1291 %k9.05 = phi i64 [ %inc19, %for.body12 ], [ 0, %for.body12.preheader ]92 %B.addr.24 = phi ptr [ %incdec.ptr, %for.body12 ], [ %B.addr.18, %for.body12.preheader ]93 %add = add nsw i64 %k9.05, 194 %add13 = add nsw i64 %j.07, 295 %add14 = add nsw i64 %i.011, 396 %arrayidx17 = getelementptr inbounds [100 x [100 x i64]], ptr %A, i64 %add14, i64 %add13, i64 %add97 %0 = load i64, ptr %arrayidx17, align 898 %incdec.ptr = getelementptr inbounds i64, ptr %B.addr.24, i64 199 store i64 %0, ptr %B.addr.24, align 8100 %inc19 = add nsw i64 %k9.05, 1101 %exitcond = icmp ne i64 %inc19, %n102 br i1 %exitcond, label %for.body12, label %for.inc21.loopexit103 104for.inc21.loopexit: ; preds = %for.body12105 %scevgep = getelementptr i64, ptr %B.addr.18, i64 %n106 br label %for.inc21107 108for.inc21: ; preds = %for.inc21.loopexit, %for.cond10.loopexit109 %B.addr.2.lcssa = phi ptr [ %B.addr.18, %for.cond10.loopexit ], [ %scevgep, %for.inc21.loopexit ]110 %inc22 = add nsw i64 %j.07, 1111 %exitcond14 = icmp ne i64 %inc22, %n112 br i1 %exitcond14, label %for.cond4.preheader, label %for.inc24.loopexit113 114for.inc24.loopexit: ; preds = %for.inc21115 %B.addr.2.lcssa.lcssa = phi ptr [ %B.addr.2.lcssa, %for.inc21 ]116 br label %for.inc24117 118for.inc24: ; preds = %for.inc24.loopexit, %for.cond1.preheader119 %B.addr.1.lcssa = phi ptr [ %B.addr.012, %for.cond1.preheader ], [ %B.addr.2.lcssa.lcssa, %for.inc24.loopexit ]120 %inc25 = add nsw i64 %i.011, 1121 %exitcond15 = icmp ne i64 %inc25, %n122 br i1 %exitcond15, label %for.cond1.preheader, label %for.end26.loopexit123 124for.end26.loopexit: ; preds = %for.inc24125 br label %for.end26126 127for.end26: ; preds = %for.end26.loopexit, %entry128 ret void129}130