66 lines · plain
1target 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-f128:128:128-v128:128:128-n32:64"2target triple = "powerpc64le-unknown-linux"3; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s4 5@X = external global [16000 x double], align 326@Y = external global [16000 x double], align 327 8; CHECK: NoAlias: [16000 x double]* %lsr.iv1, [16000 x double]* %lsr.iv49; CHECK: NoAlias: <4 x double>* %scevgep11, <4 x double>* %scevgep710; CHECK: NoAlias: <4 x double>* %scevgep10, <4 x double>* %scevgep711; CHECK: NoAlias: <4 x double>* %scevgep7, <4 x double>* %scevgep912; CHECK: NoAlias: <4 x double>* %scevgep11, <4 x double>* %scevgep313; CHECK: NoAlias: <4 x double>* %scevgep10, <4 x double>* %scevgep314; CHECK: NoAlias: <4 x double>* %scevgep3, <4 x double>* %scevgep915; CHECK: NoAlias: double* %scevgep, double* %scevgep516define signext i32 @s000() nounwind {17entry:18 br label %for.cond2.preheader19 20for.cond2.preheader: ; preds = %for.end, %entry21 %nl.018 = phi i32 [ 0, %entry ], [ %inc9, %for.end ]22 br label %for.body423 24for.body4: ; preds = %for.body4, %for.cond2.preheader25 %lsr.iv4 = phi ptr [ %scevgep5, %for.body4 ], [ getelementptr inbounds ([16000 x double], ptr @Y, i64 0, i64 8), %for.cond2.preheader ]26 %lsr.iv1 = phi ptr [ %scevgep, %for.body4 ], [ @X, %for.cond2.preheader ]27 28 %lsr.iv = phi i32 [ %lsr.iv.next, %for.body4 ], [ 16000, %for.cond2.preheader ]29 load [16000 x double], ptr %lsr.iv430 load [16000 x double], ptr %lsr.iv131 %scevgep11 = getelementptr <4 x double>, ptr %lsr.iv4, i64 -232 %i6 = load <4 x double>, ptr %scevgep11, align 3233 %add = fadd <4 x double> %i6, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>34 store <4 x double> %add, ptr %lsr.iv1, align 3235 %scevgep10 = getelementptr <4 x double>, ptr %lsr.iv4, i64 -136 %i7 = load <4 x double>, ptr %scevgep10, align 3237 %add.4 = fadd <4 x double> %i7, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>38 %scevgep9 = getelementptr <4 x double>, ptr %lsr.iv1, i64 139 store <4 x double> %add.4, ptr %scevgep9, align 3240 %i8 = load <4 x double>, ptr %lsr.iv4, align 3241 %add.8 = fadd <4 x double> %i8, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>42 %scevgep8 = getelementptr <4 x double>, ptr %lsr.iv1, i64 243 store <4 x double> %add.8, ptr %scevgep8, align 3244 %scevgep7 = getelementptr <4 x double>, ptr %lsr.iv4, i64 145 %i9 = load <4 x double>, ptr %scevgep7, align 3246 %add.12 = fadd <4 x double> %i9, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00>47 %scevgep3 = getelementptr <4 x double>, ptr %lsr.iv1, i64 348 store <4 x double> %add.12, ptr %scevgep3, align 3249 50 %lsr.iv.next = add i32 %lsr.iv, -1651 %scevgep = getelementptr [16000 x double], ptr %lsr.iv1, i64 0, i64 1652 load double, ptr %scevgep53 %scevgep5 = getelementptr [16000 x double], ptr %lsr.iv4, i64 0, i64 1654 load double, ptr %scevgep555 %exitcond.15 = icmp eq i32 %lsr.iv.next, 056 br i1 %exitcond.15, label %for.end, label %for.body457 58for.end: ; preds = %for.body459 %inc9 = add nsw i32 %nl.018, 160 %exitcond = icmp eq i32 %inc9, 40000061 br i1 %exitcond, label %for.end10, label %for.cond2.preheader62 63for.end10: ; preds = %for.end64 ret i32 065}66