1; RUN: llvm-as %s -o %t.bc 2; RUN: llvm-bcanalyzer -dump %t.bc | FileCheck %s 3; RUN: llvm-dis %t.bc 4 5; There's a curious case where blockaddress constants may refer to functions 6; outside of the function they're used in. There's a special bitcode function 7; code, FUNC_CODE_BLOCKADDR_USERS, used to signify that this is the case. 8 9; The intent of this test is two-fold: 10; 1. Ensure we produce BLOCKADDR_USERS bitcode function code on the first fn, 11; @repro, since @fun and @fun2 both refer to @repro via blockaddress 12; constants. 13; 2. Ensure we can round-trip serializing+desearlizing such case. 14 15; CHECK: <FUNCTION_BLOCK 16; CHECK: <BLOCKADDR_USERS op0=2 op1=1 17; CHECK: <FUNCTION_BLOCK 18; CHECK: <FUNCTION_BLOCK 19 20%struct.ptrs = type { i8*, i8* } 21 22define void @repro() { 23 br label %label 24 25label: 26 call void @fun() 27 ret void 28} 29 30define void @fun() noinline { 31 call void @f(%struct.ptrs { i8* blockaddress(@repro, %label), i8* blockaddress(@repro, %label) }) 32 ret void 33} 34 35define void @fun2() noinline { 36 call void @f(%struct.ptrs { i8* blockaddress(@repro, %label), i8* blockaddress(@repro, %label) }) 37 ret void 38} 39 40declare void @f(%struct.ptrs) 41