llvm-project

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

3
; CHECK-NOT: Valid
4

5
; Verify that we do not detect loops where the loop latch is a switch statement.
6
; Such loops are not yet supported by Polly.
7

8
define void @f() {
9
b:
10
  br label %d
11

12
d:
13
  switch i8 0, label %e [
14
    i8 71, label %d
15
    i8 56, label %d
16
  ]
17

18
e:
19
 ret void
20
}
21

22