test/ScopDetect/run_time_alias_check.ll

   1 ; RUN: opt %loadPolly -polly-detect-unprofitable -polly-detect -polly-code-generator=isl -analyze < %s | FileCheck %s
   2
   3 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-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 declare float* @getNextBasePtr(float*) readnone nounwind
   7
   8 define void @base_pointer_is_inst_inside_invariant_1(i64 %n, float* %A, float* %B) {
   9 entry:
  10   br label %for.i
  11
  12 for.i:
  13   %indvar.i = phi i64 [ %indvar.i.next, %for.i.inc ], [ 0, %entry ]
  14   br label %S1
  15
  16 S1:
  17 ; To get an instruction inside a region, we use a function without side
  18 ; effects on which SCEV blocks, but for which it is still clear that the
  19 ; return value remains invariant throughout the whole loop.
  20   %ptr = call float* @getNextBasePtr(float* %A)
  21   %conv = sitofp i64 %indvar.i to float
  22   %arrayidx5 = getelementptr float, float* %ptr, i64 %indvar.i
  23   store float %conv, float* %arrayidx5, align 4
  24   store float 1.0, float* %B
  25   br label %for.i.inc
  26
  27 for.i.inc:
  28   %indvar.i.next = add i64 %indvar.i, 1
  29   %exitcond.i = icmp ne i64 %indvar.i.next, %n
  30   br i1 %exitcond.i, label %for.i, label %exit
  31
  32 exit:
  33   ret void
  34 }
  35
  36 ; CHECK-NOT: Valid Region for Scop