test/GPGPU/ignore-parameter-bounds.ll

   1 ; RUN: opt %loadPolly -polly-codegen-ppcg -polly-acc-dump-code \
   2 ; RUN: -disable-output < %s | \
   3 ; RUN: FileCheck -check-prefix=CODE %s
   4
   5 ; REQUIRES: pollyacc
   6
   7 ; CODE: Code
   8 ; CODE: ====
   9 ; CODE: No code generated
  10
  11 source_filename = "bugpoint-output-83bcdeb.bc"
  12 target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
  13 target triple = "x86_64-unknown-linux-gnu"
  14
  15 @__data_radiation_MOD_cobi = external global [168 x double], align 32
  16
  17 ; Function Attrs: nounwind uwtable
  18 define void @__radiation_rg_MOD_coe_so() #0 {
  19 entry:
  20   %polly.access.kspec.load = load i32, i32* undef, align 4
  21   %0 = or i1 undef, undef
  22   br label %polly.preload.cond29
  23
  24 polly.preload.cond29:                             ; preds = %entry
  25   br i1 %0, label %polly.preload.exec31, label %polly.preload.merge30
  26
  27 polly.preload.merge30:                            ; preds = %polly.preload.exec31, %polly.preload.cond29
  28   %polly.preload..merge32 = phi double [ %polly.access.__data_radiation_MOD_cobi.load, %polly.preload.exec31 ], [ 0.000000e+00, %polly.preload.cond29 ]
  29   ret void
  30
  31 polly.preload.exec31:                             ; preds = %polly.preload.cond29
  32   %1 = sext i32 %polly.access.kspec.load to i64
  33   %2 = mul nsw i64 7, %1
  34   %3 = add nsw i64 0, %2
  35   %4 = add nsw i64 %3, 48
  36   %polly.access.__data_radiation_MOD_cobi = getelementptr double, double* getelementptr inbounds ([168 x double], [168 x double]* @__data_radiation_MOD_cobi, i32 0, i32 0), i64 %4
  37   %polly.access.__data_radiation_MOD_cobi.load = load double, double* %polly.access.__data_radiation_MOD_cobi, align 8
  38   br label %polly.preload.merge30
  39 }
  40
  41 attributes #0 = { nounwind uwtable }