test/ScopDetect/multidim.ll

   1 ; RUN: opt %loadPolly -polly-detect -analyze < %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3
   4 ; CHECK: Valid Region for Scop: bb19 => bb20
   5
   6 ; Make sure we do not crash in this test case.
   7
   8 define void @hoge(i8* %arg)  {
   9 bb:
  10   br label %bb9
  11
  12 bb9:                                              ; preds = %bb
  13   %tmp = add i64 undef, 4
  14   %tmp10 = zext i32 undef to i64
  15   %tmp11 = mul i64 %tmp, %tmp10
  16   %tmp12 = add i64 %tmp11, undef
  17   %tmp13 = add i64 %tmp12, undef
  18   %tmp14 = add i64 %tmp13, 8
  19   %tmp15 = sub i64 %tmp14, undef
  20   %tmp16 = getelementptr i8, i8* %arg, i64 %tmp15
  21   %tmp17 = getelementptr inbounds i8, i8* %tmp16, i64 4
  22   %tmp18 = getelementptr inbounds i8, i8* %tmp17, i64 20
  23   br label %bb19
  24
  25 bb19:                                             ; preds = %bb19, %bb9
  26   br i1 false, label %bb19, label %bb20
  27
  28 bb20:                                             ; preds = %bb19
  29   %tmp21 = getelementptr inbounds i8, i8* %tmp18, i64 4
  30   %tmp22 = bitcast i8* %tmp21 to i32*
  31   %tmp23 = load i32, i32* %tmp22
  32   br label %bb24
  33
  34 bb24:                                             ; preds = %bb20
  35   unreachable
  36 }