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