[llvm-branch-commits] [clang] [llvm] [llvm] Introduce callee_type operand bundle (PR #87573)
Matt Arsenault via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Sat Mar 15 23:42:47 PDT 2025
================
@@ -105,4 +105,17 @@ declare ptr @objc_retainAutoreleasedReturnValue(ptr)
declare ptr @objc_unsafeClaimAutoreleasedReturnValue(ptr)
declare void @llvm.assume(i1)
+define void @f_type(ptr %ptr) {
+; CHECK: Multiple "callee_type" operand bundles
+; CHECK-NEXT: call void @g() [ "callee_type"(metadata !"_ZTSFvE.generalized"), "callee_type"(metadata !"_ZTSFvE.generalized") ]
+; CHECK-NOT: call void @g() [ "callee_type"(metadata !"_ZTSFvE.generalized") ]
----------------
arsenm wrote:
-NOT checks are too fragile, use comprehensive -NEXT checks
https://github.com/llvm/llvm-project/pull/87573
More information about the llvm-branch-commits
mailing list