87 lines · plain
1;; Test cloning two paths with -basic-block-sections.2 3declare void @effect(i32 zeroext)4 5; RUN: echo 'v1' > %t6; RUN: echo 'f foo' >> %t7; RUN: echo 'p 0 3 5' >> %t8; RUN: echo 'p 1 3 4 5' >> %t9; RUN: echo 'c 0 3.1 5.1' >> %t10; RUN: echo 'c 1 3.2 4.1 5.2 2 3 4 5' >> %t11; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t | FileCheck %s12; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t -stop-after=bb-path-cloning | FileCheck %s --check-prefix=MIR13 14define void @foo(i1 %a, i1 %b, i1 %c, i1 %d) {15b0:16 call void @effect(i32 0)17 br i1 %a, label %b1, label %b318 19b1: ; preds = %b020 call void @effect(i32 1)21 br i1 %b, label %b2, label %b322 23b2: ; preds = %b124 call void @effect(i32 2)25 br label %b326 27b3: ; preds = %b0, %b1, %b228 call void @effect(i32 3)29 br i1 %c, label %b4, label %b530 31b4: ; preds = %b332 call void @effect(i32 4)33 br i1 %d, label %b5, label %cold34 35b5: ; preds = %b3, %b436 call void @effect(i32 5)37 ret void38cold:39 call void @effect(i32 6) ; preds = %b440 ret void41}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",@progbits55; CHECK: foo:56; CHECK: # %bb.0: # %b057; CHECK: jne foo.__part.158; CHECK-NEXT: # %bb.7: # %b359; CHECK: jne .LBB0_460; CHECK-NEXT: # %bb.8: # %b561; CHECK: retq62 63;; second cluster:64; CHECK: .section .text.foo,"ax",@progbits,unique,165; CHECK-NEXT: foo.__part.1: # %b166; CHECK: jne .LBB0_267; CHECK-NEXT: # %bb.9: # %b368; CHECK: je .LBB0_569; CHECK-NEXT: # %bb.10: # %b470; CHECK: je foo.cold71; CHECK-NEXT: # %bb.11: # %b572; CHECK: retq73; CHECK-NEXT: .LBB0_2: # %b274; CHECK: callq effect@PLT75; CHECK-NEXT: # %bb.3: # %b376; CHECK: je .LBB0_577; CHECK-NEXT: .LBB0_4: # %b478; CHECK: je foo.cold79; CHECK-NEXT: .LBB0_5: # %b580; CHECK: retq81 82;; split section83; CHECK: .section .text.split.foo,"ax",@progbits84; CHECK: foo.cold: # %cold85 86 87