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

;; Test cloning a single path with -basic-block-sections.

declare void @effect(i32 zeroext)

;; Test a valid application of path cloning.
; RUN: echo 'v1' > %t
; RUN: echo 'f foo' >> %t
; RUN: echo 'p 0 3 5' >> %t
; RUN: echo 'c 0 3.1 5.1 1 2 3 4 5' >> %t
; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t | FileCheck %s
; 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

define void @foo(i1 %a, i1 %b, i1 %c, i1 %d) {
b0:
  call void @effect(i32 0)
  br i1 %a, label %b1, label %b3

b1:                                           ; preds = %b0
  call void @effect(i32 1)
  br i1 %b, label %b2, label %b3

b2:                                             ; preds = %b1
  call void @effect(i32 2)
  br label %b3

b3:                                            ; preds = %b0, %b1, %b2
  call void @effect(i32 3)
  br i1 %c, label %b4, label %b5

b4:                                             ; preds = %b3
  call void @effect(i32 4)
  br i1 %d, label %b5, label %cold

b5:                                            ; preds = %b3, %b4
  call void @effect(i32 5)
  ret void
cold:
  call void @effect(i32 6)                     ; preds = %b4
  ret void
}

;; Check the cloned block ids in MIR.

; MIR: bb.7.b3 (bb_id 3 1):
; MIR: bb.8.b5 (bb_id 5 1):

;; Check the final layout and branches.

;; bb section:
; CHECK:        .section    .text.foo,"ax",@progbits
; CHECK:      foo:
; CHECK:      # %bb.0:        # %b0
; CHECK:        jne .LBB0_1
; CHECK-NEXT: # %bb.7:        # %b3
; CHECK:        jne .LBB0_4
; CHECK-NEXT: # %bb.8:        # %b5
; CHECK:        retq
; CHECK-NEXT: .LBB0_1:        # %b1
; CHECK:        je .LBB0_3
; CHECK-NEXT: # %bb.2:        # %b2
; CHECK:        callq effect@PLT
; CHECK-NEXT: .LBB0_3:        # %b3
; CHECK:        je .LBB0_5
; CHECK-NEXT: .LBB0_4:        # %b4
; CHECK:        je foo.cold
; CHECK-NEXT: .LBB0_5:        # %b5
; CHECK:        retq

;; split section
; CHECK:        .section    .text.split.foo,"ax",@progbits
; CHECK:      foo.cold:      # %cold