llvm-project

1
; RUN: opt %loadNPMPolly '-passes=print<polly-detect>' -disable-output < %s 2>&1 | 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(ptr %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, 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

25
bb19:                                             ; preds = %bb19, %bb9
26
  br i1 false, label %bb19, label %bb20
27

28
bb20:                                             ; preds = %bb19
29
  %tmp21 = getelementptr inbounds i8, ptr %tmp18, i64 4
30
  %tmp23 = load i32, ptr %tmp21
31
  br label %bb24
32

33
bb24:                                             ; preds = %bb20
34
  unreachable
35
}
36