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 %s 4 5@X = external global [16000 x double], align 32 6@Y = external global [16000 x double], align 32 7 8; CHECK: NoAlias: [16000 x double]* %lsr.iv1, [16000 x double]* %lsr.iv4 9; CHECK: NoAlias: <4 x double>* %scevgep11, <4 x double>* %scevgep7 10; CHECK: NoAlias: <4 x double>* %scevgep10, <4 x double>* %scevgep7 11; CHECK: NoAlias: <4 x double>* %scevgep7, <4 x double>* %scevgep9 12; CHECK: NoAlias: <4 x double>* %scevgep11, <4 x double>* %scevgep3 13; CHECK: NoAlias: <4 x double>* %scevgep10, <4 x double>* %scevgep3 14; CHECK: NoAlias: <4 x double>* %scevgep3, <4 x double>* %scevgep9 15; CHECK: NoAlias: double* %scevgep, double* %scevgep5 16define signext i32 @s000() nounwind { 17entry: 18 br label %for.cond2.preheader 19 20for.cond2.preheader: ; preds = %for.end, %entry 21 %nl.018 = phi i32 [ 0, %entry ], [ %inc9, %for.end ] 22 br label %for.body4 23 24for.body4: ; preds = %for.body4, %for.cond2.preheader 25 %lsr.iv4 = phi [16000 x double]* [ %i11, %for.body4 ], [ bitcast (double* getelementptr inbounds ([16000 x double], [16000 x double]* @Y, i64 0, i64 8) 26 to [16000 x double]*), %for.cond2.preheader ] 27 %lsr.iv1 = phi [16000 x double]* [ %i10, %for.body4 ], [ @X, %for.cond2.preheader ] 28 29 %lsr.iv = phi i32 [ %lsr.iv.next, %for.body4 ], [ 16000, %for.cond2.preheader ] 30 load [16000 x double], [16000 x double]* %lsr.iv4 31 load [16000 x double], [16000 x double]* %lsr.iv1 32 %lsr.iv46 = bitcast [16000 x double]* %lsr.iv4 to <4 x double>* 33 %lsr.iv12 = bitcast [16000 x double]* %lsr.iv1 to <4 x double>* 34 %scevgep11 = getelementptr <4 x double>, <4 x double>* %lsr.iv46, i64 -2 35 %i6 = load <4 x double>, <4 x double>* %scevgep11, align 32 36 %add = fadd <4 x double> %i6, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 37 store <4 x double> %add, <4 x double>* %lsr.iv12, align 32 38 %scevgep10 = getelementptr <4 x double>, <4 x double>* %lsr.iv46, i64 -1 39 %i7 = load <4 x double>, <4 x double>* %scevgep10, align 32 40 %add.4 = fadd <4 x double> %i7, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 41 %scevgep9 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 1 42 store <4 x double> %add.4, <4 x double>* %scevgep9, align 32 43 %i8 = load <4 x double>, <4 x double>* %lsr.iv46, align 32 44 %add.8 = fadd <4 x double> %i8, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 45 %scevgep8 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 2 46 store <4 x double> %add.8, <4 x double>* %scevgep8, align 32 47 %scevgep7 = getelementptr <4 x double>, <4 x double>* %lsr.iv46, i64 1 48 %i9 = load <4 x double>, <4 x double>* %scevgep7, align 32 49 %add.12 = fadd <4 x double> %i9, <double 1.000000e+00, double 1.000000e+00, double 1.000000e+00, double 1.000000e+00> 50 %scevgep3 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 3 51 store <4 x double> %add.12, <4 x double>* %scevgep3, align 32 52 53 %lsr.iv.next = add i32 %lsr.iv, -16 54 %scevgep = getelementptr [16000 x double], [16000 x double]* %lsr.iv1, i64 0, i64 16 55 load double, double* %scevgep 56 %i10 = bitcast double* %scevgep to [16000 x double]* 57 %scevgep5 = getelementptr [16000 x double], [16000 x double]* %lsr.iv4, i64 0, i64 16 58 load double, double* %scevgep5 59 %i11 = bitcast double* %scevgep5 to [16000 x double]* 60 %exitcond.15 = icmp eq i32 %lsr.iv.next, 0 61 br i1 %exitcond.15, label %for.end, label %for.body4 62 63for.end: ; preds = %for.body4 64 %inc9 = add nsw i32 %nl.018, 1 65 %exitcond = icmp eq i32 %inc9, 400000 66 br i1 %exitcond, label %for.end10, label %for.cond2.preheader 67 68for.end10: ; preds = %for.end 69 ret i32 0 70} 71