1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64
  
     | 
    
      # RUN: llc -mtriple=x86_64-- -run-pass=machine-region-info %s -debug-only=machine-region-info -o /dev/null 2>&1 | FileCheck %s
# REQUIRES: asserts
---
name:            fun
body:             |
  bb.0:
    CMP32ri8 %edi, 40, implicit-def %eflags
    JNE_1 %bb.7, implicit killed %eflags
    JMP_1 %bb.1
  bb.1:
    CMP32ri8 %edi, 1, implicit-def %eflags
    JNE_1 %bb.11, implicit killed %eflags
    JMP_1 %bb.2
  bb.2:
    CMP32ri8 %edi, 2, implicit-def %eflags
    JNE_1 %bb.5, implicit killed %eflags
    JMP_1 %bb.3
  bb.3:
    CMP32ri8 %edi, 90, implicit-def %eflags
    JNE_1 %bb.5, implicit killed %eflags
    JMP_1 %bb.4
  bb.4:
  bb.5:
    CMP32ri8 %edi, 4, implicit-def %eflags
    JNE_1 %bb.11, implicit killed %eflags
    JMP_1 %bb.6
  bb.6:
    JMP_1 %bb.11
  bb.7:
    CMP32ri8 %edi, 5, implicit-def %eflags
    JE_1 %bb.9, implicit killed %eflags
    JMP_1 %bb.8
  bb.8:
  bb.9:
    CMP32ri8 %edi, 6, implicit-def %eflags
    JE_1 %bb.11, implicit killed %eflags
    JMP_1 %bb.10
  bb.10:
  bb.11:
    RET 0
...
# CHECK: Region tree:
# CHECK-NEXT: [0] %bb.0 => <Function Return>
# CHECK-NEXT:   [1] %bb.0 => %bb.11
# CHECK-NEXT:     [2] %bb.7 => %bb.9
# CHECK-NEXT:     [2] %bb.9 => %bb.11
# CHECK-NEXT:     [2] %bb.1 => %bb.11
# CHECK-NEXT:       [3] %bb.2 => %bb.5
# CHECK-NEXT:         [4] %bb.3 => %bb.5
# CHECK-NEXT:       [3] %bb.5 => %bb.11
# CHECK-NEXT: End region tree
 
     |