llvm/test/CodeGen/X86/basic-block-sections-cloning-2.ll

   1 ;; Test cloning two paths with -basic-block-sections.
   2
   3 declare void @effect(i32 zeroext)
   4
   5 ; RUN: echo 'v1' > %t
   6 ; RUN: echo 'f foo' >> %t
   7 ; RUN: echo 'p 0 3 5' >> %t
   8 ; RUN: echo 'p 1 3 4 5' >> %t
   9 ; RUN: echo 'c 0 3.1 5.1' >> %t
  10 ; RUN: echo 'c 1 3.2 4.1 5.2 2 3 4 5' >> %t
  11 ; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t | FileCheck %s
  12 ; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t -stop-after=bb-path-cloning | FileCheck %s --check-prefix=MIR
  13
  14 define void @foo(i1 %a, i1 %b, i1 %c, i1 %d) {
  15 b0:
  16   call void @effect(i32 0)
  17   br i1 %a, label %b1, label %b3
  18
  19 b1:                                           ; preds = %b0
  20   call void @effect(i32 1)
  21   br i1 %b, label %b2, label %b3
  22
  23 b2:                                             ; preds = %b1
  24   call void @effect(i32 2)
  25   br label %b3
  26
  27 b3:                                            ; preds = %b0, %b1, %b2
  28   call void @effect(i32 3)
  29   br i1 %c, label %b4, label %b5
  30
  31 b4:                                             ; preds = %b3
  32   call void @effect(i32 4)
  33   br i1 %d, label %b5, label %cold
  34
  35 b5:                                            ; preds = %b3, %b4
  36   call void @effect(i32 5)
  37   ret void
  38 cold:
  39   call void @effect(i32 6)                     ; preds = %b4
  40   ret void
  41 }
  42
  43 ;; Check the cloned block ids in MIR.
  44
  45 ; MIR:   bb.7.b3 (bb_id 3 1):
  46 ; MIR:   bb.8.b5 (bb_id 5 1):
  47 ; MIR:   bb.9.b3 (bb_id 3 2):
  48 ; MIR:   bb.10.b4 (bb_id 4 1):
  49 ; MIR:   bb.11.b5 (bb_id 5 2):
  50
  51 ;; Check the final layout and branches.
  52
  53 ;; first cluster:
  54 ; CHECK:        .section    .text.foo,"ax",@progbits
  55 ; CHECK:      foo:
  56 ; CHECK:      # %bb.0:        # %b0
  57 ; CHECK:        jne foo.__part.1
  58 ; CHECK-NEXT: # %bb.7:        # %b3
  59 ; CHECK:        jne .LBB0_4
  60 ; CHECK-NEXT: # %bb.8:        # %b5
  61 ; CHECK:        retq
  62
  63 ;; second cluster:
  64 ; CHECK:        .section    .text.foo,"ax",@progbits,unique,1
  65 ; CHECK-NEXT: foo.__part.1:   # %b1
  66 ; CHECK:        jne .LBB0_2
  67 ; CHECK-NEXT: # %bb.9:        # %b3
  68 ; CHECK:        je .LBB0_5
  69 ; CHECK-NEXT: # %bb.10:       # %b4
  70 ; CHECK:        je foo.cold
  71 ; CHECK-NEXT: # %bb.11:       # %b5
  72 ; CHECK:        retq
  73 ; CHECK-NEXT: .LBB0_2:        # %b2
  74 ; CHECK:        callq   effect@PLT
  75 ; CHECK-NEXT: # %bb.3:        # %b3
  76 ; CHECK:        je .LBB0_5
  77 ; CHECK-NEXT: .LBB0_4:        # %b4
  78 ; CHECK:        je foo.cold
  79 ; CHECK-NEXT: .LBB0_5:       # %b5
  80 ; CHECK:        retq
  81
  82 ;; split section
  83 ; CHECK:        .section    .text.split.foo,"ax",@progbits
  84 ; CHECK:      foo.cold:      # %cold
  85
  86