1; RUN: opt %loadPolly -polly-print-detect -disable-output < %s | FileCheck %s
2target 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
8define void @hoge(i8* %arg)  {
9bb:
10  br label %bb9
11
12bb9:                                              ; 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
25bb19:                                             ; preds = %bb19, %bb9
26  br i1 false, label %bb19, label %bb20
27
28bb20:                                             ; 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
34bb24:                                             ; preds = %bb20
35  unreachable
36}
37