39 lines · plain
1; RUN: llvm-as %s -o %t.bc2; RUN: llvm-bcanalyzer -dump %t.bc | FileCheck %s3; RUN: llvm-dis %t.bc4 5; There's a curious case where blockaddress constants may refer to functions6; outside of the function they're used in. There's a special bitcode function7; 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 blockaddress12; constants.13; 2. Ensure we can round-trip serializing+desearlizing such case.14 15; CHECK: <FUNCTION_BLOCK16; CHECK: <BLOCKADDR_USERS op0=1 op1=217; CHECK: <FUNCTION_BLOCK18; CHECK: <FUNCTION_BLOCK19 20define void @repro() {21 br label %label22 23label:24 call void @fun()25 ret void26}27 28define void @fun() noinline {29 call void @f(i64 add (i64 ptrtoint (i8* blockaddress(@repro, %label) to i64), i64 1))30 ret void31}32 33define void @fun2() noinline {34 call void @f(i64 add (i64 ptrtoint (i8* blockaddress(@repro, %label) to i64), i64 2))35 ret void36}37 38declare void @f(i64)39