[LLVM] Fix a bug in Intrinsic::getFnAttributes#161248
Merged
Merged
Conversation
When an intrinsic has no function attributes, the current code will hit an assert in `getIntrinsicFnAttributeSet`. Fix this by checking for the sentinel `NoFunctionAttrsID` value and returning an empty attribute set.
Member
|
@llvm/pr-subscribers-tablegen @llvm/pr-subscribers-llvm-ir Author: Rahul Joshi (jurahul) ChangesWhen an intrinsic has no function attributes, the current code will hit an assert in Full diff: https://github.com/llvm/llvm-project/pull/161248.diff 2 Files Affected:
diff --git a/llvm/unittests/IR/IntrinsicsTest.cpp b/llvm/unittests/IR/IntrinsicsTest.cpp
index 49af83609d98c..cfd99ed542162 100644
--- a/llvm/unittests/IR/IntrinsicsTest.cpp
+++ b/llvm/unittests/IR/IntrinsicsTest.cpp
@@ -189,4 +189,12 @@ TEST_F(IntrinsicsTest, InstrProfInheritance) {
}
}
+// Check that getFnAttributes for intrinsics that do not have any function
+// attributes correcty returns an empty set.
+TEST(IntrinsicAttributes, TestGetFnAttributesBug) {
+ using namespace Intrinsic;
+ LLVMContext Context;
+ AttributeSet AS = getFnAttributes(Context, experimental_guard);
+ EXPECT_FALSE(AS.hasAttributes());
+}
} // end namespace
diff --git a/llvm/utils/TableGen/Basic/IntrinsicEmitter.cpp b/llvm/utils/TableGen/Basic/IntrinsicEmitter.cpp
index 559868dd54efe..75dffb18fca5a 100644
--- a/llvm/utils/TableGen/Basic/IntrinsicEmitter.cpp
+++ b/llvm/utils/TableGen/Basic/IntrinsicEmitter.cpp
@@ -794,12 +794,15 @@ AttributeSet Intrinsic::getFnAttributes(LLVMContext &C, ID id) {{
if (id == 0)
return AttributeSet();
auto [FnAttrID, _] = unpackID(IntrinsicsToAttributesMap[id - 1]);
+ if (FnAttrID == {})
+ return AttributeSet();
return getIntrinsicFnAttributeSet(C, FnAttrID);
}
#endif // GET_INTRINSIC_ATTRIBUTES
)",
- UniqAttributesBitSize, MaxNumAttrs, NoFunctionAttrsID);
+ UniqAttributesBitSize, MaxNumAttrs, NoFunctionAttrsID,
+ NoFunctionAttrsID);
}
void IntrinsicEmitter::EmitIntrinsicToBuiltinMap(
|
nikic
approved these changes
Sep 29, 2025
nikic
left a comment
nikic
left a comment
Contributor
There was a problem hiding this comment.
LGTM. Alternatively we could make the "no fn attrs" case less special by getIntrinsicFnAttributeSet() handle that by returning an empty attribute set -- but we'd probably still want an explicit check in getAttributes() to avoid pushing the FunctionIndex, so maybe that's not worthwhile.
Contributor
Author
|
Just want to mention that this bug was flagged by an AI assisted code review tool internally. |
|
LLVM Buildbot has detected a new failure on builder Full details are available at: https://lab.llvm.org/buildbot/#/builders/168/builds/16422 Here is the relevant piece of the build log for the reference |
mahesh-attarde
pushed a commit
to mahesh-attarde/llvm-project
that referenced
this pull request
Oct 3, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
When an intrinsic has no function attributes, the current code will hit an assert in
getIntrinsicFnAttributeSet. Fix this by checking for the sentinelNoFunctionAttrsIDvalue and returning an empty attribute set.