[llvm] Fix: Distinguish CFI Metadata Checks in MergeFunctions Pass (PR #65963)

Duncan P. N. Exon Smith via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 20 21:38:57 PDT 2023


================
@@ -375,9 +375,35 @@ bool MergeFunctions::doFunctionalCheck(std::vector<WeakTrackingVH> &Worklist) {
 }
 #endif
 
+// This function iterates over two functions and compares their
+// metadata to make sure we aren't merging functions which have
+// distinct metadata that is different. We don't care about
----------------
dexonsmith wrote:

I think this should be more precise. It's not actually about "having" metadata. Many many functions will have metadata *attachments* on lots of instructions, which may be distinct without any trouble. The problem is only when an intrinsic references distinct metadata as an operand.

https://github.com/llvm/llvm-project/pull/65963


More information about the llvm-commits mailing list