infinite_loop_4.ll 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. ; REQUIRES: asserts
  2. ; RUN: opt -regions -analyze < %s
  3. ; RUN: opt -regions -stats < %s 2>&1 | FileCheck -check-prefix=STAT %s
  4. ; RUN: opt -regions -print-region-style=bb -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s
  5. ; RUN: opt -regions -print-region-style=rn -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
  6. define void @normal_condition() nounwind {
  7. 0:
  8. br label %"7"
  9. 7:
  10. br i1 1, label %"1", label %"8"
  11. 1:
  12. br i1 1, label %"2", label %"3"
  13. 2:
  14. br label %"5"
  15. 5:
  16. br i1 1, label %"11", label %"12"
  17. 11:
  18. br label %"6"
  19. 12:
  20. br label %"6"
  21. 6:
  22. br i1 1, label %"2", label %"10"
  23. 8:
  24. br label %"9"
  25. 9:
  26. br i1 1, label %"13", label %"14"
  27. 13:
  28. br label %"10"
  29. 14:
  30. br label %"10"
  31. 10:
  32. br label %"8"
  33. 3:
  34. br label %"4"
  35. 4:
  36. ret void
  37. }
  38. ; CHECK-NOT: =>
  39. ; CHECK: [0] 0 => <Function Return>
  40. ; CHECK-NEXT: [1] 7 => 3
  41. ; STAT: 2 region - The # of regions
  42. ; STAT: 1 region - The # of simple regions
  43. ; BBIT: 0, 7, 1, 2, 5, 11, 6, 10, 8, 9, 13, 14, 12, 3, 4,
  44. ; BBIT: 7, 1, 2, 5, 11, 6, 10, 8, 9, 13, 14, 12,
  45. ; RNIT: 0, 7 => 3, 3, 4,
  46. ; RNIT: 7, 1, 2, 5, 11, 6, 10, 8, 9, 13, 14, 12,