Extended the compiler to transform all the new ARMv7 encoding definitions.

1 files changed, 3 insertions, 1 deletions

diff --git a/tools/d2c/tokens.l b/tools/d2c/tokens.l
index 1e4b7b0..220e5d6 100644
--- a/tools/d2c/tokens.l
+++ b/tools/d2c/tokens.l
@@ -45,7 +45,7 @@
 
 "@title"                        { BEGIN(ins_name); return TITLE; }
 
-<ins_name>[ ][A-Za-z-]+         { yylvalp->string = strdup(yytext + 1); BEGIN(try_details); return INS_NAME; }
+<ins_name>[ ][A-Za-z0-9-]+      { yylvalp->string = strdup(yytext + 1); BEGIN(try_details); return INS_NAME; }
 <try_details>[ ,/-]             { BEGIN(ins_details); yylvalp->character = yytext[0]; return INS_SEP; }
 <try_details>[\n]               { BEGIN(INITIAL); }
 
@@ -53,6 +53,8 @@
 <ins_details>[\n]               { BEGIN(INITIAL); }
 
 
+"@desc"                         { yy_push_state(raw_line); return DESC; }
+
 
 "@encoding"                     { BEGIN(encoding); return ENCODING; }