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 do not produce BLOCKADDR_USERS bitcode function code on the first 11; fn, @repro, by accident, when @fun and @fun2 use a global value, @foo, 12; which is initialized to @repro's blockaddress constants. 13; 2. Ensure we can round-trip serializing+desearlizing such case. 14 15; CHECK: <FUNCTION_BLOCK 16; CHECK-NOT: <BLOCKADDR_USERS 17 18@foo = global i8* blockaddress(@repro, %label) 19 20define void @repro() { 21 br label %label 22 23label: 24 call void @fun() 25 ret void 26} 27 28define void @fun() noinline { 29 call void @f(i8** @foo) 30 ret void 31} 32 33define void @fun2() noinline { 34 call void @f(i8** @foo) 35 ret void 36} 37 38declare void @f(i8**)