xref: /llvm-project/polly/test/ScopDetect/multidim.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed)
1; RUN: opt %loadNPMPolly '-passes=print<polly-detect>' -disable-output < %s 2>&1 | 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(ptr %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, ptr %arg, i64 %tmp15
21  %tmp17 = getelementptr inbounds i8, ptr %tmp16, i64 4
22  %tmp18 = getelementptr inbounds i8, ptr %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, ptr %tmp18, i64 4
30  %tmp23 = load i32, ptr %tmp21
31  br label %bb24
32
33bb24:                                             ; preds = %bb20
34  unreachable
35}
36