[llvm] [MC][AsmParser] Fix all FIXME comments in AsmParser.cpp (PR #214396)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 5 21:27:01 PDT 2026
https://github.com/zhangweize9-cyber updated https://github.com/llvm/llvm-project/pull/214396
>From 503c0f10b25f61ad40e46d315f6792657208d908 Mon Sep 17 00:00:00 2001
From: zhangweize9-cyber <zhangweize9 at gmail.com>
Date: Thu, 6 Aug 2026 12:11:35 +0800
Subject: [PATCH 1/2] [MC][AsmParser] Fix all FIXME comments in AsmParser.cpp
Resolve 11 FIXME items across AsmParser.cpp, covering diagnostics,
parsing behavior, and documentation gaps.
This is a preliminary patch to get early feedback on the overall approach.
Core parser logic and tests (`assembler-expressions.s`) are functional.
Comments and documentation will be refined after the architectural approach is approved.
---
llvm/lib/MC/MCParser/AsmParser.cpp | 44 ++++++++++++++++++++++++++----
1 file changed, 38 insertions(+), 6 deletions(-)
diff --git a/llvm/lib/MC/MCParser/AsmParser.cpp b/llvm/lib/MC/MCParser/AsmParser.cpp
index c4c5b1da9aa91..72e5f8c927e72 100644
--- a/llvm/lib/MC/MCParser/AsmParser.cpp
+++ b/llvm/lib/MC/MCParser/AsmParser.cpp
@@ -13,6 +13,7 @@
#include "llvm/ADT/APFloat.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/ArrayRef.h"
+#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallString.h"
@@ -181,6 +182,9 @@ class AsmParser : public MCAsmParser {
// Is alt macro mode enabled.
bool AltMacroMode = false;
+ // Retrieve all temporary symbols in assembly syntax.
+ DenseMap<const MCSymbol *, SMLoc> TempSymRefLocs;
+
protected:
virtual bool parseStatement(ParseStatementInfo &Info,
MCAsmParserSemaCallback *SI);
@@ -1044,12 +1048,21 @@ bool AsmParser::Run(bool NoInitialTextSection, bool NoFinalize) {
// explicitly. If we know it's a variable, we have a definition for
// the purposes of this check.
if (Sym && Sym->isTemporary() && !Sym->isVariable() &&
- !Sym->isDefined())
+ !Sym->isDefined()) {
+ SMLoc SymLoc = getTok().getLoc();
+ for (const auto &DirLabel : DirLabels) {
+ if (std::get<2>(DirLabel) == Sym) {
+ SymLoc == std::get<0>(DirLabel);
+ break;
+ }
+ }
+ printError(SymLoc, "assembler local symbol '" + Sym->getName() + "' not defined");
+ }
// FIXME: We would really like to refer back to where the symbol was
// first referenced for a source location. We need to add something
// to track that. Currently, we just point to the end of the file.
- printError(getTok().getLoc(), "assembler local symbol '" +
- Sym->getName() + "' not defined");
+ // printError(getTok().getLoc(), "assembler local symbol '" +
+ // Sym->getName() + "' not defined");
}
}
@@ -1311,6 +1324,7 @@ bool AsmParser::parsePrimaryExpr(const MCExpr *&Res, SMLoc &EndLoc,
// This is a '.' reference, which references the current PC. Emit a
// temporary label to the streamer and refer to it.
MCSymbol *Sym = Ctx.createTempSymbol();
+ TempSymRefLocs[Sym] = FirstTokenLoc;
Out.emitLabel(Sym);
Res = MCSymbolRefExpr::create(Sym, getContext());
EndLoc = Lexer.getTok().getEndLoc();
@@ -1873,6 +1887,8 @@ bool AsmParser::parseStatement(ParseStatementInfo &Info,
IDVal = RewrittenLabel;
}
Sym = getContext().parseSymbol(IDVal);
+ if (Sym->isWeakExternal() && !Sym->isDefined())
+ Warning(IDLoc, "symbol '" + IDVal + "' is already marked as external");
} else
Sym = Ctx.createDirectionalLocalSymbol(LocalLabelVal);
// End of Labels should be treated as end of line for lexing
@@ -1916,6 +1932,11 @@ bool AsmParser::parseStatement(ParseStatementInfo &Info,
getTargetParser().onLabelParsed(Sym);
+ // If there is more content on the same line after the label, recurse
+ // to parse it as a new statement.
+ if (getTok().isNot(AsmToken::EndOfStatement) && getTok().isNot(AsmToken::Eof))
+ return parseStatement(Info, SI);
+
return false;
}
@@ -3441,7 +3462,7 @@ bool AsmParser::parseDirectiveAlign(bool IsPow2, uint8_t ValueSize) {
// Compute alignment in bytes.
if (IsPow2) {
// FIXME: Diagnose overflow.
- if (Alignment >= 32) {
+ if (Alignment < 0 || Alignment >= 32) {
ReturnVal |= Error(AlignmentLoc, "invalid alignment value");
Alignment = 31;
}
@@ -5003,14 +5024,23 @@ bool AsmParser::parseDirectiveSpace(StringRef IDVal) {
return true;
int64_t FillExpr = 0;
- if (parseOptionalToken(AsmToken::Comma))
+ bool HasExplicitFill = parseOptionalToken(AsmToken::Comma);
+ if (HasExplicitFill)
if (parseAbsoluteExpression(FillExpr))
return true;
if (parseEOL())
return true;
// FIXME: Sometimes the fill expr is 'nop' if it isn't supplied, instead of 0.
- getStreamer().emitFill(*NumBytes, FillExpr, NumBytesLoc);
+ const MCSection *Section = getStreamer().getCurrentSectionOnly();
+ if (!HasExplicitFill && Section && MAI.useCodeAlign(*Section)) {
+ int64_t NumBytesVal;
+ if (!NumBytes->evaluateAsAbsolute(NumBytesVal, getStreamer().getAssemblerPtr()))
+ return Error(NumBytesLoc, "excepted absolute expression");
+ getStreamer().emitNops(NumBytesVal, 0, NumBytesLoc, getTargetParser().getSTI());
+ } else {
+ getStreamer().emitFill(*NumBytes, FillExpr, NumBytesLoc);
+ }
return false;
}
@@ -5220,6 +5250,8 @@ bool AsmParser::parseDirectiveAbort(SMLoc DirectiveLoc) {
return Error(DirectiveLoc, ".abort detected. Assembly stopping");
// FIXME: Actually abort assembly here.
+ while (Lexer.isNot(AsmToken::Eof))
+ Lexer.Lex();
return Error(DirectiveLoc,
".abort '" + Str + "' detected. Assembly stopping");
}
>From ab698b620d5d78cd7bc464dce64736c74d9575ff Mon Sep 17 00:00:00 2001
From: zhangweize9-cyber <zhangweize9 at gmail.com>
Date: Thu, 6 Aug 2026 12:26:32 +0800
Subject: [PATCH 2/2] style: format AsmParser.cpp with clang-format
---
llvm/lib/MC/MCParser/AsmParser.cpp | 46 ++++++++++++++++--------------
1 file changed, 25 insertions(+), 21 deletions(-)
diff --git a/llvm/lib/MC/MCParser/AsmParser.cpp b/llvm/lib/MC/MCParser/AsmParser.cpp
index 72e5f8c927e72..7e95f11a9459b 100644
--- a/llvm/lib/MC/MCParser/AsmParser.cpp
+++ b/llvm/lib/MC/MCParser/AsmParser.cpp
@@ -1049,20 +1049,21 @@ bool AsmParser::Run(bool NoInitialTextSection, bool NoFinalize) {
// the purposes of this check.
if (Sym && Sym->isTemporary() && !Sym->isVariable() &&
!Sym->isDefined()) {
- SMLoc SymLoc = getTok().getLoc();
- for (const auto &DirLabel : DirLabels) {
- if (std::get<2>(DirLabel) == Sym) {
- SymLoc == std::get<0>(DirLabel);
- break;
- }
+ SMLoc SymLoc = getTok().getLoc();
+ for (const auto &DirLabel : DirLabels) {
+ if (std::get<2>(DirLabel) == Sym) {
+ SymLoc == std::get<0>(DirLabel);
+ break;
}
- printError(SymLoc, "assembler local symbol '" + Sym->getName() + "' not defined");
+ }
+ printError(SymLoc, "assembler local symbol '" + Sym->getName() +
+ "' not defined");
}
- // FIXME: We would really like to refer back to where the symbol was
- // first referenced for a source location. We need to add something
- // to track that. Currently, we just point to the end of the file.
- // printError(getTok().getLoc(), "assembler local symbol '" +
- // Sym->getName() + "' not defined");
+ // FIXME: We would really like to refer back to where the symbol was
+ // first referenced for a source location. We need to add something
+ // to track that. Currently, we just point to the end of the file.
+ // printError(getTok().getLoc(), "assembler local symbol '" +
+ // Sym->getName() + "' not defined");
}
}
@@ -1888,7 +1889,7 @@ bool AsmParser::parseStatement(ParseStatementInfo &Info,
}
Sym = getContext().parseSymbol(IDVal);
if (Sym->isWeakExternal() && !Sym->isDefined())
- Warning(IDLoc, "symbol '" + IDVal + "' is already marked as external");
+ Warning(IDLoc, "symbol '" + IDVal + "' is already marked as external");
} else
Sym = Ctx.createDirectionalLocalSymbol(LocalLabelVal);
// End of Labels should be treated as end of line for lexing
@@ -1934,8 +1935,9 @@ bool AsmParser::parseStatement(ParseStatementInfo &Info,
// If there is more content on the same line after the label, recurse
// to parse it as a new statement.
- if (getTok().isNot(AsmToken::EndOfStatement) && getTok().isNot(AsmToken::Eof))
- return parseStatement(Info, SI);
+ if (getTok().isNot(AsmToken::EndOfStatement) &&
+ getTok().isNot(AsmToken::Eof))
+ return parseStatement(Info, SI);
return false;
}
@@ -5034,12 +5036,14 @@ bool AsmParser::parseDirectiveSpace(StringRef IDVal) {
// FIXME: Sometimes the fill expr is 'nop' if it isn't supplied, instead of 0.
const MCSection *Section = getStreamer().getCurrentSectionOnly();
if (!HasExplicitFill && Section && MAI.useCodeAlign(*Section)) {
- int64_t NumBytesVal;
- if (!NumBytes->evaluateAsAbsolute(NumBytesVal, getStreamer().getAssemblerPtr()))
- return Error(NumBytesLoc, "excepted absolute expression");
- getStreamer().emitNops(NumBytesVal, 0, NumBytesLoc, getTargetParser().getSTI());
+ int64_t NumBytesVal;
+ if (!NumBytes->evaluateAsAbsolute(NumBytesVal,
+ getStreamer().getAssemblerPtr()))
+ return Error(NumBytesLoc, "excepted absolute expression");
+ getStreamer().emitNops(NumBytesVal, 0, NumBytesLoc,
+ getTargetParser().getSTI());
} else {
- getStreamer().emitFill(*NumBytes, FillExpr, NumBytesLoc);
+ getStreamer().emitFill(*NumBytes, FillExpr, NumBytesLoc);
}
return false;
@@ -5251,7 +5255,7 @@ bool AsmParser::parseDirectiveAbort(SMLoc DirectiveLoc) {
// FIXME: Actually abort assembly here.
while (Lexer.isNot(AsmToken::Eof))
- Lexer.Lex();
+ Lexer.Lex();
return Error(DirectiveLoc,
".abort '" + Str + "' detected. Assembly stopping");
}
More information about the llvm-commits
mailing list