test/ScopDetect/switch-in-loop-patch.ll

   1 ; RUN: opt %loadPolly -polly-detect -analyze < %s | 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