polly/test/CodeGen/MemAccess/invariant_base_ptr.ll

   1 ; RUN: opt %loadNPMPolly '-passes=polly-import-jscop,polly-codegen' \
   2 ; RUN:   -polly-invariant-load-hoisting -S \
   3 ; RUN:   2>&1 < %s | FileCheck %s
   4
   5 ; Setting new access functions where the base pointer of the array that is newly
   6 ; accessed is only loaded within the scop itself caused incorrect code to be
   7 ; generated when invariant load hoisting is disabled. This test case checks
   8 ; that in case invariant load hoisting is enabled, we generate correct code.
   9
  10 ; CHECK: %polly.access.polly.access.X.load = getelementptr float, ptr %polly.access.X.load, i64 %polly.indvar
  11
  12 define void @invariant_base_ptr(ptr noalias %Array, ptr noalias %X,
  13                                 ptr noalias %C) {
  14
  15 start:
  16   br label %loop
  17
  18 loop:
  19   %indvar = phi i64 [0, %start], [%indvar.next, %latch]
  20   %indvar.next = add i64 %indvar, 1
  21   %cmp = icmp slt i64 %indvar, 1024
  22   br i1 %cmp, label %body, label %exit
  23
  24 body:
  25   %gep= getelementptr float, ptr %Array, i64 %indvar
  26   store float 42.0, ptr %gep
  27   br label %body2
  28
  29 body2:
  30   %Base = load ptr, ptr %X
  31   %gep2 = getelementptr float, ptr %Base, i64 %indvar
  32   %val2 = load float, ptr %gep2
  33   store float %val2, ptr %C
  34   br label %latch
  35
  36 latch:
  37   br label %loop
  38
  39 exit:
  40   ret void
  41 }