summaryrefslogtreecommitdiff
path: root/src/fsmcodegen.h
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2020-03-14 15:29:52 +0200
committerAdrian Thurston <thurston@colm.net>2020-03-14 15:29:52 +0200
commitf653735830d537715f2885bd832cf04851d35401 (patch)
tree95e6551e39407543366d4f49aedf7b78c6e8bbe1 /src/fsmcodegen.h
parentbcc54d5df10cf425e7134b06f70d7ffe1abee4e4 (diff)
downloadcolm-f653735830d537715f2885bd832cf04851d35401.tar.gz
moved source files into commit repository
Diffstat (limited to 'src/fsmcodegen.h')
-rw-r--r--src/fsmcodegen.h211
1 files changed, 211 insertions, 0 deletions
diff --git a/src/fsmcodegen.h b/src/fsmcodegen.h
new file mode 100644
index 00000000..c8f66c9c
--- /dev/null
+++ b/src/fsmcodegen.h
@@ -0,0 +1,211 @@
+/*
+ * Copyright 2001-2018 Adrian Thurston <thurston@colm.net>
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to
+ * deal in the Software without restriction, including without limitation the
+ * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
+ * sell copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in all
+ * copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
+ */
+
+#ifndef _COLM_FSMCODEGEN_H
+#define _COLM_FSMCODEGEN_H
+
+#include <stdio.h>
+
+#include <string>
+#include <iostream>
+
+#include "keyops.h"
+#include "compiler.h"
+#include "redfsm.h"
+
+using std::string;
+using std::ostream;
+
+/* Integer array line length. */
+#define IALL 8
+
+/* Forwards. */
+struct RedFsm;
+struct RedState;
+struct GenAction;
+struct NameInst;
+struct RedAction;
+struct LongestMatch;
+struct TokenInstance;
+struct InlineList;
+struct InlineItem;
+struct NameInst;
+struct FsmCodeGen;
+
+typedef unsigned long ulong;
+typedef unsigned char uchar;
+
+
+/*
+ * The interface to the parser
+ */
+
+std::ostream *openOutput( char *inputFile );
+
+inline string itoa( int i )
+{
+ char buf[16];
+ sprintf( buf, "%i", i );
+ return buf;
+}
+
+/*
+ * class FsmCodeGen
+ */
+struct FsmCodeGen
+{
+public:
+ FsmCodeGen( ostream &out, RedFsm *redFsm, fsm_tables *fsmTables );
+
+protected:
+
+ string FSM_NAME();
+ string START_STATE_ID();
+ ostream &ACTIONS_ARRAY();
+ string GET_WIDE_KEY();
+ string GET_WIDE_KEY( RedState *state );
+ string TABS( int level );
+ string KEY( Key key );
+ string LDIR_PATH( char *path );
+ void ACTION( ostream &ret, GenAction *action, int targState, bool inFinish );
+ void CONDITION( ostream &ret, GenAction *condition );
+ string ALPH_TYPE();
+ string WIDE_ALPH_TYPE();
+ string ARRAY_TYPE( unsigned long maxVal );
+
+ string ARR_OFF( string ptr, string offset );
+ string CAST( string type );
+ string UINT();
+ string GET_KEY();
+
+ string ACCESS() { return "pdaRun->"; }
+
+ string P() { return ACCESS() + "p"; }
+ string PE() { return ACCESS() + "pe"; }
+ string DATA_EOF() { return ACCESS() + "scan_eof"; }
+
+ string CS();
+ string TOP() { return ACCESS() + "top"; }
+ string TOKSTART() { return ACCESS() + "tokstart"; }
+ string TOKEND() { return ACCESS() + "tokend"; }
+ string BLOCK_START() { return ACCESS() + "start"; }
+ string TOKPREF() { return ACCESS() + "tokpref"; }
+ string ACT() { return ACCESS() + "act"; }
+ string MATCHED_TOKEN() { return ACCESS() + "matched_token"; }
+
+ string DATA_PREFIX();
+
+ string START() { return DATA_PREFIX() + "start"; }
+ string ERROR() { return DATA_PREFIX() + "error"; }
+ string FIRST_FINAL() { return DATA_PREFIX() + "first_final"; }
+
+ string ENTRY_BY_REGION() { return DATA_PREFIX() + "entry_by_region"; }
+
+
+ void INLINE_LIST( ostream &ret, InlineList *inlineList,
+ int targState, bool inFinish );
+ void EXEC_TOKEND( ostream &ret, InlineItem *item, int targState, int inFinish );
+ void EXECTE( ostream &ret, InlineItem *item, int targState, int inFinish );
+ void LM_SWITCH( ostream &ret, InlineItem *item, int targState, int inFinish );
+ void SET_ACT( ostream &ret, InlineItem *item );
+ void INIT_TOKSTART( ostream &ret, InlineItem *item );
+ void INIT_ACT( ostream &ret, InlineItem *item );
+ void SET_TOKSTART( ostream &ret, InlineItem *item );
+ void SET_TOKEND( ostream &ret, InlineItem *item );
+ void SET_TOKEND_0( ostream &ret, InlineItem *item );
+ void GET_TOKEND( ostream &ret, InlineItem *item );
+ void SUB_ACTION( ostream &ret, InlineItem *item, int targState, bool inFinish );
+ void LM_ON_LAST( ostream &ret, InlineItem *item );
+ void LM_ON_NEXT( ostream &ret, InlineItem *item );
+ void LM_ON_LAG_BEHIND( ostream &ret, InlineItem *item );
+ void EXEC_TOKEND( ostream &ret );
+ void EMIT_TOKEN( ostream &ret, LangEl *token );
+
+ string ERROR_STATE();
+ string FIRST_FINAL_STATE();
+
+ string PTR_CONST();
+ ostream &OPEN_ARRAY( string type, string name );
+ ostream &CLOSE_ARRAY();
+ ostream &STATIC_VAR( string type, string name );
+
+ string CTRL_FLOW();
+
+ unsigned int arrayTypeSize( unsigned long maxVal );
+
+public:
+ ostream &out;
+ RedFsm *redFsm;
+ fsm_tables *fsmTables;
+ int codeGenErrCount;
+
+ /* Write options. */
+ bool dataPrefix;
+ bool writeFirstFinal;
+ bool writeErr;
+ bool skipTokprefLabelNeeded;
+
+ std::ostream &TO_STATE_ACTION_SWITCH();
+ std::ostream &FROM_STATE_ACTION_SWITCH();
+ std::ostream &ACTION_SWITCH();
+ std::ostream &STATE_GOTOS();
+ std::ostream &TRANSITIONS();
+ std::ostream &EXEC_FUNCS();
+
+ unsigned int TO_STATE_ACTION( RedState *state );
+ unsigned int FROM_STATE_ACTION( RedState *state );
+
+ std::ostream &TO_STATE_ACTIONS();
+ std::ostream &FROM_STATE_ACTIONS();
+
+ void emitCondBSearch( RedState *state, int level, int low, int high );
+ void STATE_CONDS( RedState *state, bool genDefault );
+
+ void emitSingleSwitch( RedState *state );
+ void emitRangeBSearch( RedState *state, int level, int low, int high );
+
+ std::ostream &EXIT_STATES();
+ std::ostream &TRANS_GOTO( RedTrans *trans, int level );
+ std::ostream &FINISH_CASES();
+
+ void writeIncludes();
+ void writeData();
+ void writeInit();
+ void writeExec();
+ void writeCode();
+ void writeMain( long activeRealm );
+
+protected:
+ bool useAgainLabel();
+
+ /* Called from GotoCodeGen::STATE_GOTOS just before writing the gotos for
+ * each state. */
+ bool IN_TRANS_ACTIONS( RedState *state );
+ void GOTO_HEADER( RedState *state );
+ void STATE_GOTO_ERROR();
+
+ /* Set up labelNeeded flag for each state. */
+ void setLabelsNeeded();
+};
+
+#endif /* _COLM_FSMCODEGEN_H */
+