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

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