test/ScopDetectionDiagnostics/ReportIrreducibleRegionWithoutDebugLoc.ll

   1 ; RUN: opt %loadPolly -analyze -polly-detect \
   2 ; RUN:     -pass-remarks-missed="polly-detect" \
   3 ; RUN:     < %s 2>&1| FileCheck %s
   4
   5 ; CHECK: remark: <unknown>:0:0: Irreducible region encountered in control flow.
   6
   7 define void @hoge(i8* %arg)  {
   8 bb1:
   9   br i1 false, label %bb2, label %bb3
  10
  11 bb2:
  12   br i1 false, label %bb4, label %bb5
  13
  14 bb4:
  15   br i1 false, label %bb3, label %bb5
  16
  17 bb5:
  18   br label %bb6
  19
  20 bb6:
  21   br label %bb4
  22
  23 bb3:
  24   ret void
  25 }
  26