1;; Test cloning two paths with -basic-block-sections. 2 3declare void @effect(i32 zeroext) 4 5; RUN: echo 'v1' > %t 6; RUN: echo 'f foo' >> %t 7; RUN: echo 'p 0 3 5' >> %t 8; RUN: echo 'p 1 3 4 5' >> %t 9; RUN: echo 'c 0 3.1 5.1' >> %t 10; RUN: echo 'c 1 3.2 4.1 5.2 2 3 4 5' >> %t 11; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t | FileCheck %s 12; 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 13 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 %b3 18 19b1: ; preds = %b0 20 call void @effect(i32 1) 21 br i1 %b, label %b2, label %b3 22 23b2: ; preds = %b1 24 call void @effect(i32 2) 25 br label %b3 26 27b3: ; preds = %b0, %b1, %b2 28 call void @effect(i32 3) 29 br i1 %c, label %b4, label %b5 30 31b4: ; preds = %b3 32 call void @effect(i32 4) 33 br i1 %d, label %b5, label %cold 34 35b5: ; preds = %b3, %b4 36 call void @effect(i32 5) 37 ret void 38cold: 39 call void @effect(i32 6) ; preds = %b4 40 ret void 41} 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",@progbits 55; CHECK: foo: 56; CHECK: # %bb.0: # %b0 57; CHECK: jne foo.__part.1 58; CHECK-NEXT: # %bb.7: # %b3 59; CHECK: jne .LBB0_4 60; CHECK-NEXT: # %bb.8: # %b5 61; CHECK: retq 62 63;; second cluster: 64; CHECK: .section .text.foo,"ax",@progbits,unique,1 65; CHECK-NEXT: foo.__part.1: # %b1 66; CHECK: jne .LBB0_2 67; CHECK-NEXT: # %bb.9: # %b3 68; CHECK: je .LBB0_5 69; CHECK-NEXT: # %bb.10: # %b4 70; CHECK: je foo.cold 71; CHECK-NEXT: # %bb.11: # %b5 72; CHECK: retq 73; CHECK-NEXT: .LBB0_2: # %b2 74; CHECK: callq effect@PLT 75; CHECK-NEXT: # %bb.3: # %b3 76; CHECK: je .LBB0_5 77; CHECK-NEXT: .LBB0_4: # %b4 78; CHECK: je foo.cold 79; CHECK-NEXT: .LBB0_5: # %b5 80; CHECK: retq 81 82;; split section 83; CHECK: .section .text.split.foo,"ax",@progbits 84; CHECK: foo.cold: # %cold 85 86 87