test/GPGPU/invariant-load-escaping-values.ll

   1 ; RUN: opt %loadPolly -S -polly-codegen-ppcg \
   2 ; RUN: -polly-invariant-load-hoisting < %s | FileCheck %s
   3
   4 ; REQUIRES: pollyacc
   5
   6 ; CHECK: store i64 %polly.access.B.load, i64* %invariant.preload.s2a
   7 ; CHECK: %invariant.final_reload = load i64, i64* %invariant.preload.s2a
   8
   9 ; Verify that the final reload of an invariant scalar memory access uses the
  10 ; same stack slot that into which the invariant memory access was stored
  11 ; originally. Earlier, this was broken as we introduce a new stack slot aside
  12 ; of the preload stack slot, which remained uninitialized and caused our escaping
  13 ; loads to contain garbage.
  14
  15 define i64 @foo(float* %A, i64* %B) {
  16 entry:
  17   br label %loop
  18
  19 loop:
  20   %indvar = phi i64 [0, %entry], [%indvar.next, %loop]
  21   %indvar.next = add nsw i64 %indvar, 1
  22   %idx = getelementptr float, float* %A, i64 %indvar
  23   store float 42.0, float* %idx
  24   %invariant = load i64, i64* %B
  25   %cmp = icmp sle i64 %indvar, 1024
  26   br i1 %cmp, label %loop, label %exit
  27
  28 exit:
  29   ret i64 %invariant
  30 }