llvm/test/CodeGen/X86/basic-block-sections-clusters-branches.ll

   1 ; BB cluster sections test for optimizing basic block branches.
   2 ;
   3 ; Test1: Basic blocks #0 (entry) and #2 will be placed in the same section.
   4 ; There should be a jne from #0 to #1 and a fallthrough to #2.
   5 ; BB #1 will be in a unique section. Therefore, it should retain its jmp to #3.
   6 ; #2 must also have an explicit jump to #3.
   7 ; RUN: echo '!foo' > %t1
   8 ; RUN: echo '!!0 2' >> %t1
   9 ; RUN: echo '!!1' >> %t1
  10 ; RUN: llc < %s -O0 -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=%t1 | FileCheck %s -check-prefix=LINUX-SECTIONS1
  11 ;
  12 ; Test2: Basic blocks #1 and #3 will be placed in the same section.
  13 ; The rest (#0 and #2) go into the function's section.
  14 ; This means #1 must fall through to #3, and #0 must fall through to #2.
  15 ; #2 must have an explicit jump to #3.
  16 ; RUN: echo '!foo' > %t2
  17 ; RUN: echo '!!1 3' >> %t2
  18 ; RUN: llc < %s -O0 -mtriple=x86_64-pc-linux -function-sections -basic-block-sections=%t2 | FileCheck %s -check-prefix=LINUX-SECTIONS2
  19
  20 define void @foo(i1 zeroext) nounwind {
  21   %2 = alloca i8, align 1
  22   %3 = zext i1 %0 to i8
  23   store i8 %3, ptr %2, align 1
  24   %4 = load i8, ptr %2, align 1
  25   %5 = trunc i8 %4 to i1
  26   br i1 %5, label %6, label %8
  27
  28 6:                                                ; preds = %1
  29   %7 = call i32 @bar()
  30   br label %10
  31
  32 8:                                                ; preds = %1
  33   %9 = call i32 @baz()
  34   br label %10
  35
  36 10:                                               ; preds = %8, %6
  37   ret void
  38 }
  39
  40 declare i32 @bar() #1
  41
  42 declare i32 @baz() #1
  43
  44 ; LINUX-SECTIONS1:              .section        .text.foo,"ax",@progbits
  45 ; LINUX-SECTIONS1-LABEL:        foo:
  46 ; LINUX-SECTIONS1:              jne foo.__part.1
  47 ; LINUX-SECTIONS1-NOT:          {{jne|je|jmp}}
  48 ; LINUX-SECTIONS1-LABEL:        # %bb.2:
  49 ; LINUX-SECTIONS1:              jmp foo.cold
  50 ; LINUX-SECTIONS1:              .section        .text.foo,"ax",@progbits,unique,1
  51 ; LINUX-SECTIONS1-LABEL:        foo.__part.1:
  52 ; LINUX-SECTIONS1:              jmp foo.cold
  53 ; LINUX-SECTIONS1:              .section        .text.split.foo,"ax",@progbits
  54 ; LINUX-SECTIONS1-LABEL:        foo.cold:
  55
  56 ; LINUX-SECTIONS2:              .section        .text.foo,"ax",@progbits
  57 ; LINUX-SECTIONS2-LABEL:        foo:
  58 ; LINUX-SECTIONS2:              jne foo.__part.0
  59 ; LINUX-SECTIONS2-NOT:          {{jne|je|jmp}}
  60 ; LINUX-SECTIONS2-LABEL:        # %bb.2:
  61 ; LINUX-SECTIONS2:              jmp .LBB0_3
  62 ; LINUX-SECTIONS2:              .section        .text.foo,"ax",@progbits,unique,1
  63 ; LINUX-SECTIONS2:              foo.__part.0:
  64 ; LINUX-SECTIONS2-NOT:          {{jne|je|jmp}}
  65 ; LINUX-SECTIONS2:              .LBB0_3: