[PATCH] D43027: [ThinLTO] Skip BlockAddresses while replacing uses in function import

[Dmitry Mikulin via Phabricator via llvm-commits]

dmikulin updated this revision to Diff 133464.
dmikulin added a comment.

Re-wrote the test.


https://reviews.llvm.org/D43027

Files:
  llvm/lib/Transforms/IPO/LowerTypeTests.cpp
  llvm/test/Transforms/LowerTypeTests/Inputs/blockaddr-import.yaml
  llvm/test/Transforms/LowerTypeTests/blockaddr-import.ll


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"
+
+ at 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"}
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/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(


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D43027.133464.patch
Type: text/x-patch
Size: 2102 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180208/577b7292/attachment.bin>