polly/test/ScopDetect/parametric-multiply-in-scev.ll

   1 ; RUN: opt %loadPolly -polly-print-detect -disable-output < %s | FileCheck %s
   2
   3 ;  foo(float *A, long n, long k) {
   4 ;    if (true)
   5 ;      A[n * k] = 0;
   6 ;  }
   7 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-n8:16:32:64-S128"
   8
   9 define void @foo(ptr %A, i64 %n, i64 %k) {
  10 entry:
  11   br label %for.j
  12
  13 for.j:
  14   br i1 true, label %if.then, label %return
  15
  16 if.then:
  17   %mul = mul nsw i64 %n, %k
  18   %arrayidx = getelementptr float, ptr %A, i64 %mul
  19   store float 0.000000e+00, ptr %arrayidx
  20   br label %return
  21
  22 return:
  23   ret void
  24 }
  25
  26 ; CHECK: Valid Region for Scop: for.j => return