llvm/test/Analysis/BasicAA/phi-spec-order.ll

   1 target 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"
   2 target 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
  16 define signext i32 @s000() nounwind {
  17 entry:
  18   br label %for.cond2.preheader
  19
  20 for.cond2.preheader:                              ; preds = %for.end, %entry
  21   %nl.018 = phi i32 [ 0, %entry ], [ %inc9, %for.end ]
  22   br label %for.body4
  23
  24 for.body4:                                        ; preds = %for.body4, %for.cond2.preheader
  25   %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.iv4
  30   load [16000 x double], ptr %lsr.iv1
  31   %scevgep11 = getelementptr <4 x double>, ptr %lsr.iv4, i64 -2
  32   %i6 = load <4 x double>, ptr %scevgep11, align 32
  33   %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 32
  35   %scevgep10 = getelementptr <4 x double>, ptr %lsr.iv4, i64 -1
  36   %i7 = load <4 x double>, ptr %scevgep10, align 32
  37   %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 1
  39   store <4 x double> %add.4, ptr %scevgep9, align 32
  40   %i8 = load <4 x double>, ptr %lsr.iv4, align 32
  41   %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 2
  43   store <4 x double> %add.8, ptr %scevgep8, align 32
  44   %scevgep7 = getelementptr <4 x double>, ptr %lsr.iv4, i64 1
  45   %i9 = load <4 x double>, ptr %scevgep7, align 32
  46   %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 3
  48   store <4 x double> %add.12, ptr %scevgep3, align 32
  49
  50   %lsr.iv.next = add i32 %lsr.iv, -16
  51   %scevgep = getelementptr [16000 x double], ptr %lsr.iv1, i64 0, i64 16
  52   load double, ptr %scevgep
  53   %scevgep5 = getelementptr [16000 x double], ptr %lsr.iv4, i64 0, i64 16
  54   load double, ptr %scevgep5
  55   %exitcond.15 = icmp eq i32 %lsr.iv.next, 0
  56   br i1 %exitcond.15, label %for.end, label %for.body4
  57
  58 for.end:                                          ; preds = %for.body4
  59   %inc9 = add nsw i32 %nl.018, 1
  60   %exitcond = icmp eq i32 %inc9, 400000
  61   br i1 %exitcond, label %for.end10, label %for.cond2.preheader
  62
  63 for.end10:                                        ; preds = %for.end
  64   ret i32 0
  65 }