/*****************************************************************************/
/* */
-/* asmstmt.c */
+/* asmstmt.c */
/* */
-/* Inline assembler statements for the cc65 C compiler */
+/* Inline assembler statements for the cc65 C compiler */
/* */
/* */
/* */
-/* (C) 2001 Ullrich von Bassewitz */
-/* Wacholderweg 14 */
-/* D-70597 Stuttgart */
+/* (C) 2001-2008 Ullrich von Bassewitz */
+/* Roemerstrasse 52 */
+/* D-70794 Filderstadt */
/* EMail: uz@musoftware.de */
/* */
/* */
#include "xsprintf.h"
/* cc65 */
+#include "asmlabel.h"
#include "codegen.h"
#include "datatype.h"
#include "error.h"
#include "function.h"
#include "litpool.h"
#include "scanner.h"
+#include "stackptr.h"
#include "symtab.h"
#include "asmstmt.h"
/*****************************************************************************/
-/* Code */
+/* Code */
/*****************************************************************************/
/* Argument must be an identifier */
if (CurTok.Tok != TOK_IDENT) {
- Error ("Identifier expected for argument %u", Arg);
- AsmErrorSkip ();
- return 0;
+ Error ("Identifier expected for argument %u", Arg);
+ AsmErrorSkip ();
+ return 0;
}
/* Get a pointer to the symbol table entry */
/* Did we find a symbol with this name? */
if (Sym == 0) {
- Error ("Undefined symbol `%s' for argument %u", CurTok.Ident, Arg);
- AsmErrorSkip ();
- return 0;
+ Error ("Undefined symbol `%s' for argument %u", CurTok.Ident, Arg);
+ AsmErrorSkip ();
+ return 0;
}
/* We found the symbol - skip the name token */
/* Check if we have a global symbol */
if ((Sym->Flags & Type) != Type) {
- Error ("Type of argument %u differs from format specifier", Arg);
- AsmErrorSkip ();
- return 0;
+ Error ("Type of argument %u differs from format specifier", Arg);
+ AsmErrorSkip ();
+ return 0;
}
/* Mark the symbol as referenced */
ConsumeComma ();
/* Evaluate the expression */
- ConstSubExpr (hie1, &Expr);
+ ConstAbsIntExpr (hie1, &Expr);
/* Check the range but allow negative values if the type is signed */
if (IsSignUnsigned (Expr.Type)) {
- if (Expr.ConstVal < 0 || Expr.ConstVal > 0xFF) {
- AsmRangeError (Arg);
- Expr.ConstVal = 0;
- }
+ if (Expr.IVal < 0 || Expr.IVal > 0xFF) {
+ AsmRangeError (Arg);
+ Expr.IVal = 0;
+ }
} else {
- if (Expr.ConstVal < -128 || Expr.ConstVal > 127) {
- AsmRangeError (Arg);
- Expr.ConstVal = 0;
- }
+ if (Expr.IVal < -128 || Expr.IVal > 127) {
+ AsmRangeError (Arg);
+ Expr.IVal = 0;
+ }
}
/* Convert into a hex number */
- xsprintf (Buf, sizeof (Buf), "$%02lX", Expr.ConstVal & 0xFF);
+ xsprintf (Buf, sizeof (Buf), "$%02lX", Expr.IVal & 0xFF);
/* Add the number to the target buffer */
SB_AppendStr (T, Buf);
ConsumeComma ();
/* Evaluate the expression */
- ConstSubExpr (hie1, &Expr);
+ ConstAbsIntExpr (hie1, &Expr);
/* Check the range but allow negative values if the type is signed */
if (IsSignUnsigned (Expr.Type)) {
- if (Expr.ConstVal < 0 || Expr.ConstVal > 0xFFFF) {
- AsmRangeError (Arg);
- Expr.ConstVal = 0;
- }
+ if (Expr.IVal < 0 || Expr.IVal > 0xFFFF) {
+ AsmRangeError (Arg);
+ Expr.IVal = 0;
+ }
} else {
- if (Expr.ConstVal < -32768 || Expr.ConstVal > 32767) {
- AsmRangeError (Arg);
- Expr.ConstVal = 0;
- }
+ if (Expr.IVal < -32768 || Expr.IVal > 32767) {
+ AsmRangeError (Arg);
+ Expr.IVal = 0;
+ }
}
/* Convert into a hex number */
- xsprintf (Buf, sizeof (Buf), "$%04lX", Expr.ConstVal & 0xFFFF);
+ xsprintf (Buf, sizeof (Buf), "$%04lX", Expr.IVal & 0xFFFF);
/* Add the number to the target buffer */
SB_AppendStr (T, Buf);
-static void ParseLongArg (StrBuf* T, unsigned Arg)
+static void ParseLongArg (StrBuf* T, unsigned Arg attribute ((unused)))
/* Parse the %l format specifier */
{
ExprDesc Expr;
ConsumeComma ();
/* Evaluate the expression */
- ConstSubExpr (hie1, &Expr);
+ ConstAbsIntExpr (hie1, &Expr);
/* Convert into a hex number */
- xsprintf (Buf, sizeof (Buf), "$%08lX", Expr.ConstVal & 0xFFFFFFFF);
+ xsprintf (Buf, sizeof (Buf), "$%08lX", Expr.IVal & 0xFFFFFFFF);
/* Add the number to the target buffer */
SB_AppendStr (T, Buf);
/* Parse the symbol name parameter and check the type */
SymEntry* Sym = AsmGetSym (Arg, SC_STATIC);
if (Sym == 0) {
- /* Some sort of error */
- return;
+ /* Some sort of error */
+ return;
}
/* Check for external linkage */
- if (Sym->Flags & (SC_EXTERN | SC_STORAGE)) {
- /* External linkage */
- /* ### FIXME: Asm name should be generated by codegen */
- SB_AppendChar (T, '_');
- SB_AppendStr (T, Sym->Name);
+ if (Sym->Flags & (SC_EXTERN | SC_STORAGE | SC_FUNC)) {
+ /* External linkage or a function */
+ /* ### FIXME: Asm name should be generated by codegen */
+ SB_AppendChar (T, '_');
+ SB_AppendStr (T, Sym->Name);
+ } else if (Sym->Flags & SC_REGISTER) {
+ char Buf[32];
+ xsprintf (Buf, sizeof (Buf), "regbank+%d", Sym->V.R.RegOffs);
+ SB_AppendStr (T, Buf);
} else {
- /* Static variable */
- char Buf [16];
- xsprintf (Buf, sizeof (Buf), "L%04X", Sym->V.Label);
- SB_AppendStr (T, Buf);
+ /* Static variable */
+ char Buf [16];
+ xsprintf (Buf, sizeof (Buf), "L%04X", Sym->V.Label);
+ SB_AppendStr (T, Buf);
}
}
/* Parse the symbol name parameter and check the type */
SymEntry* Sym = AsmGetSym (Arg, SC_AUTO);
if (Sym == 0) {
- /* Some sort of error */
- return;
+ /* Some sort of error */
+ return;
}
/* The symbol may be a parameter to a variadic function. In this case, we
* don't have a fixed stack offset, so check it and bail out with an error
* if this is the case.
*/
- if ((Sym->Flags & SC_PARAM) == SC_PARAM && IsVariadic (CurrentFunc)) {
- Error ("Argument %u has no fixed stack offset", Arg);
- AsmErrorSkip ();
- return;
+ if ((Sym->Flags & SC_PARAM) == SC_PARAM && F_IsVariadic (CurrentFunc)) {
+ Error ("Argument %u has no fixed stack offset", Arg);
+ AsmErrorSkip ();
+ return;
}
/* Calculate the current offset from SP */
- Offs = Sym->V.Offs - oursp;
+ Offs = Sym->V.Offs - StackPtr;
/* Output the offset */
xsprintf (Buf, sizeof (Buf), (Offs > 0xFF)? "$%04X" : "$%02X", Offs);
+static void ParseLabelArg (StrBuf* T, unsigned Arg attribute ((unused)))
+/* Parse the %g format specifier */
+{
+ /* We expect an identifier separated by a comma */
+ ConsumeComma ();
+ if (CurTok.Tok != TOK_IDENT) {
+
+ Error ("Label name expected");
+
+ } else {
+
+ /* Add a new label symbol if we don't have one until now */
+ SymEntry* Entry = AddLabelSym (CurTok.Ident, SC_REF);
+
+ /* Append the label name to the buffer */
+ SB_AppendStr (T, LocalLabelName (Entry->V.Label));
+
+ /* Eat the label name */
+ NextToken ();
+
+ }
+}
+
+
+
+static void ParseStrArg (StrBuf* T, unsigned Arg attribute ((unused)))
+/* Parse the %s format specifier */
+{
+ ExprDesc Expr;
+ char Buf [64];
+
+ /* We expect an argument separated by a comma */
+ ConsumeComma ();
+
+ /* Check what comes */
+ switch (CurTok.Tok) {
+
+ case TOK_IDENT:
+ /* Identifier */
+ SB_AppendStr (T, CurTok.Ident);
+ NextToken ();
+ break;
+
+ case TOK_SCONST:
+ /* String constant */
+ SB_Append (T, GetLiteralStrBuf (CurTok.SVal));
+ NextToken ();
+ break;
+
+ default:
+ ConstAbsIntExpr (hie1, &Expr);
+ xsprintf (Buf, sizeof (Buf), "%ld", Expr.IVal);
+ SB_AppendStr (T, Buf);
+ break;
+ }
+}
+
+
+
static void ParseAsm (void)
/* Parse the contents of the ASM statement */
{
- unsigned I;
unsigned Arg;
+ char C;
/* Create a target string buffer */
StrBuf T = AUTO_STRBUF_INITIALIZER;
/* Create a string buffer from the string literal */
StrBuf S = AUTO_STRBUF_INITIALIZER;
- GetLiteralStrBuf (&S, CurTok.IVal);
-
- /* Reset the string pointer, effectivly clearing the string from the
- * string table. Since we're working with one token lookahead, this
- * will fail if the next token is also a string token, but that's a
- * syntax error anyway, because we expect a right paren.
- */
- ResetLiteralPoolOffs (CurTok.IVal);
+ SB_Append (&S, GetLiteralStrBuf (CurTok.SVal));
/* Skip the string token */
NextToken ();
/* Parse the statement. It may contain several lines and one or more
* of the following place holders:
- * %b - Numerical 8 bit value
- * %w - Numerical 16 bit value
- * %l - Numerical 32 bit value
- * %v - Assembler name of a (global) variable
- * %o - Stack offset of a (local) variable
- * %% - The % sign
+ * %b - Numerical 8 bit value
+ * %w - Numerical 16 bit value
+ * %l - Numerical 32 bit value
+ * %v - Assembler name of a (global) variable
+ * %o - Stack offset of a (local) variable
+ * %g - Assembler name of a C label
+ * %s - Any argument converted to a string (almost)
+ * %% - The % sign
*/
- I = 0;
Arg = 0;
- while (I < SB_GetLen (&S)) {
-
- /* Get the next character */
- char C = SB_AtUnchecked (&S, I++);
-
- /* If it is a newline, the current line is ready to go */
- if (C == '\n') {
-
- /* Pass it to the backend and start over */
- g_asmcode (&T);
- SB_Clear (&T);
-
- } else if (C == '%') {
-
- /* Format specifier */
- ++Arg;
-
- /* Check if we have characters left */
- if (I >= SB_GetLen (&S)) {
- Error ("Error in __asm__ format specifier %u", Arg);
- AsmErrorSkip ();
- goto Done;
- } else {
- C = SB_AtUnchecked (&S, I++);
- switch (C) {
- case 'b': ParseByteArg (&T, Arg); break;
- case 'w': ParseWordArg (&T, Arg); break;
- case 'l': ParseLongArg (&T, Arg); break;
- case 'v': ParseGVarArg (&T, Arg); break;
- case 'o': ParseLVarArg (&T, Arg); break;
- case '%': SB_AppendChar (&T, '%'); break;
- default:
- Error ("Error in __asm__ format specifier %u", Arg);
- AsmErrorSkip ();
- goto Done;
- }
- }
-
- } else {
-
- /* A normal character, just copy it */
- SB_AppendChar (&T, C);
-
- }
+ while ((C = SB_Get (&S)) != '\0') {
+
+ /* If it is a newline, the current line is ready to go */
+ if (C == '\n') {
+
+ /* Pass it to the backend and start over */
+ g_asmcode (&T);
+ SB_Clear (&T);
+
+ } else if (C == '%') {
+
+ /* Format specifier */
+ ++Arg;
+ C = SB_Get (&S);
+ switch (C) {
+ case '%': SB_AppendChar (&T, '%'); break;
+ case 'b': ParseByteArg (&T, Arg); break;
+ case 'g': ParseLabelArg (&T, Arg); break;
+ case 'l': ParseLongArg (&T, Arg); break;
+ case 'o': ParseLVarArg (&T, Arg); break;
+ case 's': ParseStrArg (&T, Arg); break;
+ case 'v': ParseGVarArg (&T, Arg); break;
+ case 'w': ParseWordArg (&T, Arg); break;
+ default:
+ Error ("Error in __asm__ format specifier %u", Arg);
+ AsmErrorSkip ();
+ goto Done;
+ }
+
+ } else {
+
+ /* A normal character, just copy it */
+ SB_AppendChar (&T, C);
+
+ }
}
/* If the target buffer is not empty, we have a last line in there */
if (!SB_IsEmpty (&T)) {
- g_asmcode (&T);
+ g_asmcode (&T);
}
Done:
/* Call the string buf destructors */
- DoneStrBuf (&S);
- DoneStrBuf (&T);
+ SB_Done (&S);
+ SB_Done (&T);
}
NextToken ();
/* Need left parenthesis */
- ConsumeLParen ();
+ if (!ConsumeLParen ()) {
+ return;
+ }
/* String literal */
if (CurTok.Tok != TOK_SCONST) {
- /* Print a diagnostic */
- Error ("String literal expected");
+ /* Print a diagnostic */
+ Error ("String literal expected");
- /* Try some smart error recovery: Skip tokens until we reach the
- * enclosing paren, or a semicolon.
- */
- AsmErrorSkip ();
+ /* Try some smart error recovery: Skip tokens until we reach the
+ * enclosing paren, or a semicolon.
+ */
+ AsmErrorSkip ();
} else {
- /* Parse the ASM statement */
- ParseAsm ();
+ /* Parse the ASM statement */
+ ParseAsm ();
}
/* Closing paren needed */
ConsumeRParen ();
}
-
-
-