polly/test/CodeGen/20150328-SCEVExpanderIntroducesNewIV.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 @A = common global [1536 x float] zeroinitializer
   6
   7 ; CHECK: polly
   8
   9 define void @foo() {
  10 entry:
  11   br label %while.header
  12
  13 while.cond.loopexit3:
  14   br label %while.header
  15
  16 while.header:
  17   br label %switchbb
  18
  19 switchbb:
  20   switch i32 undef, label %while.header [
  21     i32 1, label %for.body121
  22     i32 2, label %unreachableA
  23     i32 3, label %unreachableB
  24   ]
  25
  26 unreachableA:
  27   unreachable
  28
  29 for.body121:
  30   %indvar = phi i32 [ 0, %switchbb ], [ %indvar.next, %for.body121 ]
  31   %ptr = getelementptr [1536 x float], ptr @A, i64 0, i32 %indvar
  32   store float undef, ptr %ptr
  33   %indvar.next = add nsw i32 %indvar, 1
  34   br i1 false, label %for.body121, label %while.cond.loopexit3
  35
  36 unreachableB:
  37   unreachable
  38 }