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 8define void @f() { 9b: 10 br label %d 11 12d: 13 switch i8 0, label %e [ 14 i8 71, label %d 15 i8 56, label %d 16 ] 17 18e: 19 ret void 20} 21 22