Index: llvm/lib/Transforms/IPO/LowerTypeTests.cpp =================================================================== --- llvm/lib/Transforms/IPO/LowerTypeTests.cpp +++ llvm/lib/Transforms/IPO/LowerTypeTests.cpp @@ -983,7 +983,7 @@ if (F->isWeakForLinker()) replaceWeakDeclarationWithJumpTablePtr(F, FDecl); else - F->replaceAllUsesWith(FDecl); + F->replaceUsesExceptBlockAddr(FDecl); } void LowerTypeTestsModule::lowerTypeTestCalls( Index: llvm/test/Transforms/LowerTypeTests/Inputs/blockaddr-import.yaml =================================================================== --- /dev/null +++ llvm/test/Transforms/LowerTypeTests/Inputs/blockaddr-import.yaml @@ -0,0 +1,12 @@ +--- +TypeIdMap: + typeid1: + TTRes: + Kind: AllOnes + SizeM1BitWidth: 7 +WithGlobalValueDeadStripping: true +CfiFunctionDefs: + - l + - m +CfiFunctionDecls: +... Index: llvm/test/Transforms/LowerTypeTests/blockaddr-import.ll =================================================================== --- /dev/null +++ llvm/test/Transforms/LowerTypeTests/blockaddr-import.ll @@ -0,0 +1,34 @@ +; RUN: opt -lowertypetests -lowertypetests-summary-action=import -lowertypetests-read-summary=%p/Inputs/blockaddr-import.yaml %s -o %t.o -O2 + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux" + +@d = common hidden local_unnamed_addr global void (...)* null, align 8 + +declare i1 @llvm.type.test(i8*, metadata) #1 +declare !type !11 i32 @o(...) + +define hidden void @l() local_unnamed_addr #0 !type !3 { +entry: + %0 = load void (...)*, void (...)** @d, align 8 + %1 = bitcast void (...)* %0 to i8* + %2 = tail call i1 @llvm.type.test(i8* %1, metadata !"_ZTSFvE") + br i1 %2, label %cont, label %handler.cfi_check_fail + +handler.cfi_check_fail: + br label %cont + +cont: + ret void +} + +define hidden void @m() #0 !type !3 { +entry: + br label %n +n: + %call = tail call i32 (i8*, ...) bitcast (i32 (...)* @o to i32 (i8*, ...)*)(i8* blockaddress(@m, %n)) #4 + ret void +} + +!3 = !{i64 0, !"_ZTSFvE"} +!11 = !{i64 0, !"_ZTSFiE"}