unreachable-loop-pred.ll 621 B

1234567891011121314151617181920
  1. ; RUN: opt -S -loop-simplify -disable-output -verify-loop-info -verify-dom-info < %s
  2. ; PR5235
  3. ; When loopsimplify inserts a preheader for this loop, it should add the new
  4. ; block to the enclosing loop and not get confused by the unreachable
  5. ; bogus loop entry.
  6. define void @is_extract_cab() nounwind {
  7. entry:
  8. br label %header
  9. header: ; preds = %if.end206, %cond.end66, %if.end23
  10. br label %while.body115
  11. while.body115: ; preds = %9, %if.end192, %if.end101
  12. br i1 undef, label %header, label %while.body115
  13. foo:
  14. br label %while.body115
  15. }