polly/test/ScopDetect/restrict-undef-size-scopdetect.ll

   1 ; RUN: opt %loadPolly -polly-print-detect -disable-output < %s | FileCheck %s
   2 ; CHECK-NOT: Valid Region for Scop:
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5
   6 %struct.bar = type { i32, [4 x i32] }
   7
   8 define void @f(ptr %arg) {
   9 bb:
  10   %tmp = alloca [4 x i32], align 16
  11   br label %bb1
  12
  13 bb1:                                              ; preds = %bb8, %bb
  14   %tmp2 = phi i64 [ 0, %bb ], [ %tmp9, %bb8 ]
  15   br i1 false, label %bb3, label %bb6
  16
  17 bb3:                                              ; preds = %bb1
  18   %tmp5 = load i32, ptr %tmp
  19   br label %bb8
  20
  21 bb6:                                              ; preds = %bb1
  22   %tmp7 = getelementptr inbounds %struct.bar, ptr %arg, i64 0, i32 1, i64 undef
  23   store i32 42, ptr %tmp7
  24   br label %bb8
  25
  26 bb8:                                              ; preds = %bb6, %bb3
  27   %tmp9 = add nuw nsw i64 %tmp2, 1
  28   br i1 false, label %bb1, label %bb10
  29
  30 bb10:                                             ; preds = %bb8
  31   ret void
  32 }