test/GPGPU/scalar-param-and-value-use.ll

   1 ; RUN: opt %loadPolly -polly-codegen-ppcg -polly-acc-dump-kernel-ir \
   2 ; RUN: -disable-output < %s | \
   3 ; RUN: FileCheck -check-prefix=IR %s
   4
   5 ; REQUIRES: pollyacc,nvptx
   6
   7 ;    void foo(long n, float A[][n]) {
   8 ;      for (long i = 0; i < 32; i++)
   9 ;        for (long j = 0; j < 32; j++)
  10 ;          A[i][j] += A[i + 1][j + 1];
  11 ;    }
  12
  13 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  14
  15 ; This test case failed at some point as %n was only available in this kernel
  16 ; when referenced through an isl_id in an isl ast expression, but not when
  17 ; it was referenced from a SCEV  or instruction that not part of any loop
  18 ; bound.
  19
  20 ; IR: %polly.access.mul.MemRef_A6 = mul nsw i64 {{.*}}, %n
  21
  22 define void @foo(i64 %n, float* %A) {
  23 bb:
  24   br label %bb2
  25
  26 bb2:                                              ; preds = %bb19, %bb
  27   %i.0 = phi i64 [ 0, %bb ], [ %tmp20, %bb19 ]
  28   %exitcond1 = icmp ne i64 %i.0, 32
  29   br i1 %exitcond1, label %bb3, label %bb21
  30
  31 bb3:                                              ; preds = %bb2
  32   br label %bb4
  33
  34 bb4:                                              ; preds = %bb16, %bb3
  35   %j.0 = phi i64 [ 0, %bb3 ], [ %tmp17, %bb16 ]
  36   %exitcond = icmp ne i64 %j.0, 32
  37   br i1 %exitcond, label %bb5, label %bb18
  38
  39 bb5:                                              ; preds = %bb4
  40   %tmp = add nuw nsw i64 %j.0, 1
  41   %tmp6 = add nuw nsw i64 %i.0, 1
  42   %tmp7 = mul nsw i64 %tmp6, %n
  43   %tmp8 = getelementptr inbounds float, float* %A, i64 %tmp7
  44   %tmp9 = getelementptr inbounds float, float* %tmp8, i64 %tmp
  45   %tmp10 = load float, float* %tmp9, align 4
  46   %tmp11 = mul nsw i64 %i.0, %n
  47   %tmp12 = getelementptr inbounds float, float* %A, i64 %tmp11
  48   %tmp13 = getelementptr inbounds float, float* %tmp12, i64 %j.0
  49   %tmp14 = load float, float* %tmp13, align 4
  50   %tmp15 = fadd float %tmp14, %tmp10
  51   store float %tmp15, float* %tmp13, align 4
  52   br label %bb16
  53
  54 bb16:                                             ; preds = %bb5
  55   %tmp17 = add nuw nsw i64 %j.0, 1
  56   br label %bb4
  57
  58 bb18:                                             ; preds = %bb4
  59   br label %bb19
  60
  61 bb19:                                             ; preds = %bb18
  62   %tmp20 = add nuw nsw i64 %i.0, 1
  63   br label %bb2
  64
  65 bb21:                                             ; preds = %bb2
  66   ret void
  67 }