polly/test/CodeGen/non-affine-phi-node-expansion.ll

   1 ; RUN: opt %loadPolly -polly-codegen \
   2 ; RUN:     -S < %s | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 %struct.wombat = type {[4 x i32]}
   6
   7 ; CHECK-NOT:  polly.preload.begin:
   8 ; CHECK-NOT:    %polly.access.B
   9 ; CHECK-NOT:    %polly.access.B.load
  10
  11 ; CHECK: polly.split_new_and_old
  12
  13 ; CHECK: polly.stmt.bb3.entry:                             ; preds = %polly.start
  14 ; CHECK:   br label %polly.stmt.bb3
  15
  16 ; CHECK: polly.stmt.bb3:                                   ; preds = %polly.stmt.bb3.entry
  17 ; CHECK:   br i1 true, label %polly.stmt.bb4, label %polly.stmt.bb5
  18
  19 ; CHECK: polly.stmt.bb4:                                   ; preds = %polly.stmt.bb3
  20 ; CHECK:   br label %polly.stmt.bb13.exit
  21
  22 ; CHECK: polly.stmt.bb5:                                   ; preds = %polly.stmt.bb3
  23 ; CHECK:   load i32, ptr %B
  24
  25 ; Function Attrs: nounwind uwtable
  26 define void @quux(ptr %arg, ptr %B) {
  27 bb:
  28   br i1 undef, label %bb2, label %bb1
  29
  30 bb1:                                              ; preds = %bb
  31   br label %bb2
  32
  33 bb2:                                              ; preds = %bb1, %bb
  34   %tmp = phi i1 [ true, %bb ], [ undef, %bb1 ]
  35   br label %bb3
  36
  37 bb3:                                              ; preds = %bb13, %bb2
  38   br i1 %tmp, label %bb4, label %bb5
  39
  40 bb4:                                              ; preds = %bb3
  41   br label %bb13
  42
  43 bb5:                                              ; preds = %bb3
  44   %tmp7 = load i32, ptr %B
  45   store i32 %tmp7, ptr %arg
  46   br label %bb13
  47
  48 bb13:                                             ; preds = %bb5, %bb4
  49   br i1 false, label %bb3, label %bb14
  50
  51 bb14:                                             ; preds = %bb13
  52   br label %bb15
  53
  54 bb15:                                             ; preds = %bb14
  55   ret void
  56 }