88 lines · plain
1;; Tests for invalid or (partially invalid) path clonings with -basic-block-sections.2 3declare void @effect(i32 zeroext)4 5;; Test failed application of path cloning.6; RUN: echo 'v1' > %t17; RUN: echo 'f foo' >> %t18; RUN: echo 'p 0 2 3' >> %t19; RUN: echo 'c 0 2.1 3.1 1' >> %t110; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t1 2> %t1.err | FileCheck %s11; RUN: FileCheck %s --check-prefixes=WARN1 < %t1.err12;; Test that valid clonings are applied correctly, even if invalid clonings exist.13; RUN: echo 'v1' > %t214; RUN: echo 'f foo' >> %t215; RUN: echo 'p 0 2 3' >> %t216; RUN: echo 'p 0 1 2 3' >> %t217; RUN: echo 'c 0 1.1 2.2 3.2 2.1 3.1 1' >> %t218; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t2 2> %t2.err | FileCheck %s --check-prefixes=PATH19; RUN: FileCheck %s --check-prefixes=WARN1 < %t2.err20; RUN: echo 'v1' > %t321; RUN: echo 'f foo' >> %t322; RUN: echo 'p 0 100' >> %t323; RUN: echo 'c 0 100.1 1' >> %t324; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t3 2> %t3.err | FileCheck %s25; RUN: FileCheck %s --check-prefixes=WARN2 < %t3.err26; RUN: echo 'v1' > %t427; RUN: echo 'f foo' >> %t428; RUN: echo 'p 1 6' >> %t429; RUN: echo 'c 0 1 6.1' >> %t430; RUN: llc < %s -mtriple=x86_64-pc-linux -O0 -function-sections -basic-block-sections=%t4 2> %t4.err | FileCheck %s31; RUN: FileCheck %s --check-prefixes=WARN3 < %t4.err32 33 34 35define void @foo(i1 %a, i1 %b, i1 %c, i1 %d) {36b0:37 call void @effect(i32 0)38 br i1 %a, label %b1, label %b339 40b1: ; preds = %b041 call void @effect(i32 1)42 br i1 %b, label %b2, label %b643 44b2: ; preds = %b145 call void @effect(i32 2)46 br label %b347 48b3: ; preds = %b0, %b249 call void @effect(i32 3)50 br i1 %c, label %b4, label %b551 52b4: ; preds = %b353 call void @effect(i32 4)54 callbr void asm sideeffect "je ${0:l}", "!i,~{dirflag},~{fpsr},~{flags}"()55 to label %b5 [label %b6]56 57b5: ; preds = %b3, %b458 call void @effect(i32 5)59 ret void60 61b6: ; preds = %b1, %b462 call void @effect(i32 6)63 ret void64 65cold:66 call void @effect(i32 6) ; preds = %b467 ret void68}69 70; CHECK: .section .text.foo,"ax",@progbits71; CHECK: foo:72; CHECK: # %bb.0: # %b073 74; CHECK: je .LBB0_375; PATH: # %bb.7: # %b176; PATH: # %bb.8: # %b277; PATH: jne .LBB0_478; CHECK: # %bb.1: # %b179; CHECK: jne foo.cold80 81; CHECK: foo.cold: # %b282 83;; Check the warnings84; WARN1: warning: block #2 is not a successor of block #0 in function foo85; WARN2: warning: no block with id 100 in function foo86; WARN3: warning: block #6 is a branch target of an 'asm goto' in function foo87 88