llvm-project

1
; RUN: opt %loadNPMPolly '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s
2

3
; CHECK: Valid Region for Scop: if.end.1631 => for.cond.1647.outer
4

5
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
6

7
define void @qtm_decompress() {
8
entry:
9
  br label %while.cond.outer.outer
10

11
while.cond.outer.outer:                           ; preds = %entry
12
  br label %if.end.1631
13

14
if.end.1631:                                      ; preds = %do.end.1721, %while.cond.outer.outer
15
  br i1 false, label %for.cond.1647.preheader, label %if.then.1635
16

17
if.then.1635:                                     ; preds = %if.end.1631
18
  br label %for.cond.1647.preheader
19

20
for.cond.1647.preheader:                          ; preds = %if.then.1635, %if.end.1631
21
  br label %for.cond.1647.outer
22

23
for.cond.1647.outer:                              ; preds = %do.end.1685, %for.cond.1647.preheader
24
  %bits_needed.5.ph = phi i8 [ 8, %for.cond.1647.preheader ], [ 0, %do.end.1685 ]
25
  br label %for.cond.1647
26

27
for.cond.1647:                                    ; preds = %do.cond.1718, %for.cond.1647.outer
28
  br i1 undef, label %do.cond.1718, label %if.then.1659
29

30
if.then.1659:                                     ; preds = %for.cond.1647
31
  br i1 false, label %do.end.1685, label %if.then.1662
32

33
if.then.1662:                                     ; preds = %if.then.1659
34
  unreachable
35

36
do.end.1685:                                      ; preds = %if.then.1659
37
  br label %for.cond.1647.outer
38

39
do.cond.1718:                                     ; preds = %for.cond.1647
40
  br i1 false, label %do.end.1721, label %for.cond.1647
41

42
do.end.1721:                                      ; preds = %do.cond.1718
43
  br label %if.end.1631
44
}
45