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
20define void @foo(i1 zeroext) nounwind {
21  %2 = alloca i8, align 1
22  %3 = zext i1 %0 to i8
23  store i8 %3, i8* %2, align 1
24  %4 = load i8, i8* %2, align 1
25  %5 = trunc i8 %4 to i1
26  br i1 %5, label %6, label %8
27
286:                                                ; preds = %1
29  %7 = call i32 @bar()
30  br label %10
31
328:                                                ; preds = %1
33  %9 = call i32 @baz()
34  br label %10
35
3610:                                               ; preds = %8, %6
37  ret void
38}
39
40declare i32 @bar() #1
41
42declare 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:
66