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

   1 ; RUN: opt %loadPolly -polly-detect -analyze  < %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(%struct.bar* %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   %tmp4 = getelementptr inbounds [4 x i32], [4 x i32]* %tmp, i64 0, i64 0
  19   %tmp5 = load i32, i32* %tmp4
  20   br label %bb8
  21
  22 bb6:                                              ; preds = %bb1
  23   %tmp7 = getelementptr inbounds %struct.bar, %struct.bar* %arg, i64 0, i32 1, i64 undef
  24   store i32 42, i32* %tmp7
  25   br label %bb8
  26
  27 bb8:                                              ; preds = %bb6, %bb3
  28   %tmp9 = add nuw nsw i64 %tmp2, 1
  29   br i1 false, label %bb1, label %bb10
  30
  31 bb10:                                             ; preds = %bb8
  32   ret void
  33 }