[RISCV] Fix gaps in IgnoreUnknown=true for RISCVISAInfo::parseArchString

Prior to this patch, unrecognised z/s/sx/x prefixed extensions were not
ignored when IgnoreUnknown=true.

Differential Revision: https://reviews.llvm.org/D145882
This commit is contained in:
Alex Bradbury
2023-03-13 10:53:05 +00:00
parent b21fb66cb4
commit a7313f83b9
2 changed files with 5 additions and 8 deletions

View File

@@ -804,6 +804,9 @@ RISCVISAInfo::parseArchString(StringRef Arch, bool EnableExperimentalExtension,
Desc.str().c_str(), Name.str().c_str());
}
if (IgnoreUnknown && !isSupportedExtension(Ext))
continue;
ISAInfo->addExtension(Name, Major, Minor);
// Extension format is correct, keep parsing the extensions.
// TODO: Save Type, Name, Major, Minor to avoid parsing them later.

View File

@@ -230,7 +230,8 @@ TEST(ParseArchString, RejectsUnrecognizedExtensionNamesByDefault) {
}
TEST(ParseArchString, IgnoresUnrecognizedExtensionNamesWithIgnoreUnknown) {
for (StringRef Input : {"rv32ib"}) {
for (StringRef Input : {"rv32ib", "rv32i_zmadeup", "rv64i_smadeup",
"rv32i_sxmadeup", "rv64i_xmadeup"}) {
auto MaybeISAInfo = RISCVISAInfo::parseArchString(Input, true, false, true);
ASSERT_THAT_EXPECTED(MaybeISAInfo, Succeeded());
RISCVISAInfo &Info = **MaybeISAInfo;
@@ -238,13 +239,6 @@ TEST(ParseArchString, IgnoresUnrecognizedExtensionNamesWithIgnoreUnknown) {
EXPECT_EQ(Exts.size(), 1UL);
EXPECT_TRUE(Exts.at("i") == (RISCVExtensionInfo{"i", 2, 0}));
}
// FIXME: These unrecognized extensions should be ignored just as in the
// case above. The below captures the current (incorrect) behaviour.
for (StringRef Input :
{"rv32i_zmadeup", "rv64i_smadeup", "rv32i_sxmadeup", "rv64i_xmadeup"}) {
auto MaybeISAInfo = RISCVISAInfo::parseArchString(Input, true, false, true);
EXPECT_THAT_EXPECTED(MaybeISAInfo, Failed());
}
}
TEST(ParseArchString, AcceptsVersionInLongOrShortForm) {