loop_with_condition.ll 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. ; REQUIRES: asserts
  2. ; RUN: opt -regions -analyze < %s | FileCheck %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 %"1"
  9. 1:
  10. br i1 1, label %"6", label %"2"
  11. 2:
  12. br i1 1, label %"3", label %"4"
  13. 3:
  14. br label %"5"
  15. 4:
  16. br label %"5"
  17. 5:
  18. br label %"8"
  19. 8:
  20. br i1 1, label %"7", label %"9"
  21. 9:
  22. br label %"2"
  23. 7:
  24. br label %"6"
  25. 6:
  26. ret void
  27. }
  28. ; CHECK-NOT: =>
  29. ; CHECK: [0] 0 => <Function Return>
  30. ; CHECK-NEXT: [1] 1 => 6
  31. ; CHECK-NEXT: [2] 2 => 7
  32. ; CHECK-NEXT: [3] 2 => 5
  33. ; STAT: 4 region - The # of regions
  34. ; STAT: 1 region - The # of simple regions
  35. ; BBIT: 0, 1, 6, 2, 3, 5, 8, 7, 9, 4,
  36. ; BBIT: 1, 2, 3, 5, 8, 7, 9, 4,
  37. ; BBIT: 2, 3, 5, 8, 9, 4,
  38. ; BBIT: 2, 3, 4,
  39. ; RNIT: 0, 1 => 6, 6,
  40. ; RNIT: 1, 2 => 7, 7,
  41. ; RNIT: 2 => 5, 5, 8, 9,
  42. ; RNIT: 2, 3, 4,