Implement MASM's syntax for specifying floats in raw hexadecimal bytes.
Reviewed By: thakis
Differential Revision: https://reviews.llvm.org/D87401
bool SkipSpace = true;
bool AllowAtInIdentifier;
bool IsAtStartOfStatement = true;
+ bool LexMasmHexFloats = false;
bool LexMasmIntegers = false;
bool UseMasmDefaultRadix = false;
unsigned DefaultRadix = 10;
unsigned getMasmDefaultRadix() const { return DefaultRadix; }
void setMasmDefaultRadix(unsigned Radix) { DefaultRadix = Radix; }
+
+ /// Set whether to lex masm-style hex float literals, such as 3f800000r.
+ void setLexMasmHexFloats(bool V) { LexMasmHexFloats = V; }
};
} // end namespace llvm
return LexFloatLiteral();
}
+ if (LexMasmHexFloats && (*CurPtr == 'r' || *CurPtr == 'R')) {
+ ++CurPtr;
+ return AsmToken(AsmToken::Real, StringRef(TokStart, CurPtr - TokStart));
+ }
+
unsigned Radix = 0;
if (*CurPtr == 'h' || *CurPtr == 'H') {
// hexadecimal number
// We don't truly support arithmetic on floating point expressions, so we
// have to manually parse unary prefixes.
bool IsNeg = false;
+ SMLoc SignLoc;
if (getLexer().is(AsmToken::Minus)) {
+ SignLoc = getLexer().getLoc();
Lexer.Lex();
IsNeg = true;
} else if (getLexer().is(AsmToken::Plus)) {
+ SignLoc = getLexer().getLoc();
Lexer.Lex();
}
Value = APFloat::getZero(Semantics);
else
return TokError("invalid floating point literal");
+ } else if (IDVal.consume_back("r") || IDVal.consume_back("R")) {
+ // MASM hexadecimal floating-point literal; no APFloat conversion needed.
+ // To match ML64.exe, ignore the initial sign.
+ unsigned Size = Value.getSizeInBits(Semantics);
+ if (Size != (IDVal.size() << 2))
+ return TokError("invalid floating point literal");
+
+ // Consume the numeric token.
+ Lex();
+
+ Res = APInt(Size, IDVal, 16);
+ if (SignLoc.isValid())
+ return Warning(SignLoc, "MASM-style hex floats ignore explicit sign");
+ return false;
} else if (errorToBool(
Value.convertFromString(IDVal, APFloat::rmNearestTiesToEven)
.takeError())) {
; CHECK-LABEL: t6_double:
; CHECK-NEXT: .quad 4608533498688228557
+t7_single_hex REAL4 3f800000r
+t7_double_hex REAL8 3FF0000000000000R
+
+; CHECK-LABEL: t7_single_hex:
+; CHECK-NEXT: .long 1065353216
+; CHECK-LABEL: t7_double_hex:
+; CHECK-NEXT: .quad 4607182418800017408
+
.code
END
"masm-integers",
cl::desc("Enable binary and hex masm integers (0b110 and 0ABCh)"));
+static cl::opt<bool> LexMasmHexFloats(
+ "masm-hexfloats",
+ cl::desc("Enable MASM-style hex float initializers (3F800000r)"));
+
static cl::opt<bool> NoExecStack("no-exec-stack",
cl::desc("File doesn't need an exec stack"));
Parser->setShowParsedOperands(ShowInstOperands);
Parser->setTargetParser(*TAP);
Parser->getLexer().setLexMasmIntegers(LexMasmIntegers);
+ Parser->getLexer().setLexMasmHexFloats(LexMasmHexFloats);
int Res = Parser->Run(NoInitialTextSection);
Lexer.setBuffer(SrcMgr.getMemoryBuffer(SrcMgr.getMainFileID())->getBuffer());
Lexer.setLexMasmIntegers(true);
Lexer.useMasmDefaultRadix(true);
+ Lexer.setLexMasmHexFloats(true);
bool Error = false;
while (Lexer.Lex().isNot(AsmToken::Eof)) {
Parser->setTargetParser(*TAP);
Parser->getLexer().setLexMasmIntegers(true);
Parser->getLexer().useMasmDefaultRadix(true);
+ Parser->getLexer().setLexMasmHexFloats(true);
int Res = Parser->Run(/*NoInitialTextSection=*/true);