2018-08-12 21:11:13 +02:00
|
|
|
#ifndef _COMPILER_H_
|
|
|
|
|
#define _COMPILER_H_
|
|
|
|
|
|
|
|
|
|
#include "ph7int.h"
|
|
|
|
|
|
|
|
|
|
/* Forward declaration */
|
|
|
|
|
typedef struct LangConstruct LangConstruct;
|
|
|
|
|
typedef struct JumpFixup JumpFixup;
|
2019-05-03 10:35:54 +02:00
|
|
|
typedef struct Label Label;
|
2018-08-12 21:11:13 +02:00
|
|
|
|
|
|
|
|
/* Block [i.e: set of statements] control flags */
|
|
|
|
|
#define GEN_BLOCK_LOOP 0x001 /* Loop block [i.e: for,while,...] */
|
|
|
|
|
#define GEN_BLOCK_PROTECTED 0x002 /* Protected block */
|
|
|
|
|
#define GEN_BLOCK_COND 0x004 /* Conditional block [i.e: if(condition){} ]*/
|
|
|
|
|
#define GEN_BLOCK_FUNC 0x008 /* Function body */
|
|
|
|
|
#define GEN_BLOCK_GLOBAL 0x010 /* Global block (always set)*/
|
2018-09-04 09:07:58 +02:00
|
|
|
#define GEN_BLOCK_NESTED_FUNC 0x020 /* Nested function body */
|
2018-08-12 21:11:13 +02:00
|
|
|
#define GEN_BLOCK_EXPR 0x040 /* Expression */
|
|
|
|
|
#define GEN_BLOCK_STD 0x080 /* Standard block */
|
|
|
|
|
#define GEN_BLOCK_EXCEPTION 0x100 /* Exception block [i.e: try{ } }*/
|
|
|
|
|
#define GEN_BLOCK_SWITCH 0x200 /* Switch statement */
|
2018-08-21 19:35:00 +02:00
|
|
|
#define GEN_BLOCK_CLASS 0x400 /* Class definition */
|
|
|
|
|
#define GEN_BLOCK_NAMESPACE 0x800 /* Namespace body */
|
2018-08-12 21:11:13 +02:00
|
|
|
|
2019-05-03 10:35:54 +02:00
|
|
|
/*
|
|
|
|
|
* Each label seen in the input is recorded in an instance
|
|
|
|
|
* of the following structure.
|
|
|
|
|
* A label is a target point [i.e: a jump destination] that is specified
|
|
|
|
|
* by an identifier followed by a colon.
|
|
|
|
|
*/
|
|
|
|
|
struct Label {
|
|
|
|
|
ph7_vm_func *pFunc; /* Compiled function where the label was declared.NULL otherwise */
|
|
|
|
|
sxu32 nJumpDest; /* Jump destination */
|
|
|
|
|
SyString sName; /* Label name */
|
|
|
|
|
sxu32 nLine; /* Line number this label occurs */
|
|
|
|
|
sxu8 bRef; /* True if the label was referenced */
|
|
|
|
|
};
|
|
|
|
|
|
2018-08-12 21:11:13 +02:00
|
|
|
/*
|
|
|
|
|
* Compilation of some Aer constructs such as if, for, while, the logical or
|
|
|
|
|
* (||) and logical and (&&) operators in expressions requires the
|
|
|
|
|
* generation of forward jumps.
|
|
|
|
|
* Since the destination PC target of these jumps isn't known when the jumps
|
|
|
|
|
* are emitted, we record each forward jump in an instance of the following
|
|
|
|
|
* structure. Those jumps are fixed later when the jump destination is resolved.
|
|
|
|
|
*/
|
|
|
|
|
struct JumpFixup {
|
2019-05-03 10:35:54 +02:00
|
|
|
sxi32 nJumpType; /* Jump type. Either TRUE jump, FALSE jump or Unconditional jump */
|
|
|
|
|
sxu32 nInstrIdx; /* Instruction index to fix later when the jump destination is resolved. */
|
|
|
|
|
SyString sLabel; /* Label name */
|
|
|
|
|
ph7_vm_func *pFunc; /* Compiled function inside which the goto was emitted. NULL otherwise */
|
|
|
|
|
sxu32 nLine; /* Track line number */
|
2018-08-12 21:11:13 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
* Each language construct is represented by an instance
|
|
|
|
|
* of the following structure.
|
|
|
|
|
*/
|
|
|
|
|
struct LangConstruct {
|
2018-08-12 21:16:05 +02:00
|
|
|
sxu32 nID; /* Language construct ID [i.e: PH7_KEYWORD_WHILE,PH7_KEYWORD_FOR,PH7_KEYWORD_IF...] */
|
2018-08-12 21:11:13 +02:00
|
|
|
ProcLangConstruct xConstruct; /* C function implementing the language construct */
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
/* Compilation flags */
|
2018-08-14 23:48:15 +02:00
|
|
|
#define PH7_COMPILE_STATEMENT 0x001 /* Compile a single statement */
|
2018-08-12 21:11:13 +02:00
|
|
|
|
|
|
|
|
/* Token stream synchronization macros */
|
|
|
|
|
#define SWAP_TOKEN_STREAM(GEN,START,END)\
|
|
|
|
|
pTmp = GEN->pEnd;\
|
|
|
|
|
pGen->pIn = START;\
|
|
|
|
|
pGen->pEnd = END
|
|
|
|
|
|
|
|
|
|
#define UPDATE_TOKEN_STREAM(GEN)\
|
|
|
|
|
if( GEN->pIn < pTmp ){\
|
|
|
|
|
GEN->pIn++;\
|
|
|
|
|
}\
|
|
|
|
|
GEN->pEnd = pTmp
|
|
|
|
|
|
|
|
|
|
#define SWAP_DELIMITER(GEN,START,END)\
|
|
|
|
|
pTmpIn = GEN->pIn;\
|
|
|
|
|
pTmpEnd = GEN->pEnd;\
|
|
|
|
|
GEN->pIn = START;\
|
|
|
|
|
GEN->pEnd = END
|
|
|
|
|
|
|
|
|
|
#define RE_SWAP_DELIMITER(GEN)\
|
|
|
|
|
GEN->pIn = pTmpIn;\
|
|
|
|
|
GEN->pEnd = pTmpEnd
|
|
|
|
|
|
|
|
|
|
/* Flags related to expression compilation */
|
|
|
|
|
#define EXPR_FLAG_LOAD_IDX_STORE 0x001 /* Set the iP2 flag when dealing with the LOAD_IDX instruction */
|
|
|
|
|
#define EXPR_FLAG_RDONLY_LOAD 0x002 /* Read-only load, refer to the 'PH7_OP_LOAD' VM instruction for more information */
|
|
|
|
|
#define EXPR_FLAG_COMMA_STATEMENT 0x004 /* Treat comma expression as a single statement (used by class attributes) */
|
|
|
|
|
|
|
|
|
|
/* Forward declaration */
|
|
|
|
|
static sxi32 PH7_CompileExpr(ph7_gen_state *pGen, sxi32 iFlags, sxi32(*xTreeValidator)(ph7_gen_state *, ph7_expr_node *));
|
2018-08-12 21:58:27 +02:00
|
|
|
static GenBlock *PH7_GenStateFetchBlock(GenBlock *pCurrent, sxi32 iBlockType, sxi32 iCount);
|
|
|
|
|
static void PH7_GenStateInitBlock(ph7_gen_state *pGen, GenBlock *pBlock, sxi32 iType, sxu32 nFirstInstr, void *pUserData);
|
|
|
|
|
static sxi32 PH7_GenStateEnterBlock(ph7_gen_state *pGen, sxi32 iType, sxu32 nFirstInstr, void *pUserData, GenBlock **ppBlock);
|
|
|
|
|
static void PH7_GenStateReleaseBlock(GenBlock *pBlock);
|
|
|
|
|
static void PH7_GenStateFreeBlock(GenBlock *pBlock);
|
|
|
|
|
static sxi32 PH7_GenStateLeaveBlock(ph7_gen_state *pGen, GenBlock **ppBlock);
|
|
|
|
|
static sxi32 PH7_GenStateNewJumpFixup(GenBlock *pBlock, sxi32 nJumpType, sxu32 nInstrIdx);
|
|
|
|
|
static sxu32 PH7_GenStateFixJumps(GenBlock *pBlock, sxi32 nJumpType, sxu32 nJumpDest);
|
|
|
|
|
static sxi32 PH7_GenStateFindLiteral(ph7_gen_state *pGen, const SyString *pValue, sxu32 *pIdx);
|
|
|
|
|
static sxi32 PH7_GenStateInstallLiteral(ph7_gen_state *pGen, ph7_value *pObj, sxu32 nIdx);
|
|
|
|
|
static ph7_value *PH7_GenStateInstallNumLiteral(ph7_gen_state *pGen, sxu32 *pIdx);
|
|
|
|
|
static sxi32 PH7_CompileNumLiteral(ph7_gen_state *pGen, sxi32 iCompileFlag);
|
|
|
|
|
PH7_PRIVATE sxi32 PH7_CompileSimpleString(ph7_gen_state *pGen, sxi32 iCompileFlag);
|
|
|
|
|
static sxi32 PH7_GenStateProcessStringExpression(ph7_gen_state *pGen, sxu32 nLine, const char *zIn, const char *zEnd);
|
|
|
|
|
static ph7_value *PH7_GenStateNewStrObj(ph7_gen_state *pGen, sxi32 *pCount);
|
|
|
|
|
static sxi32 PH7_GenStateCompileString(ph7_gen_state *pGen);
|
|
|
|
|
PH7_PRIVATE sxi32 PH7_CompileString(ph7_gen_state *pGen, sxi32 iCompileFlag);
|
|
|
|
|
static sxi32 PH7_GenStateCompileArrayEntry(ph7_gen_state *pGen, SyToken *pIn, SyToken *pEnd, sxi32 iFlags, sxi32(*xValidator)(ph7_gen_state *, ph7_expr_node *));
|
|
|
|
|
PH7_PRIVATE sxi32 PH7_CompileArray(ph7_gen_state *pGen, sxi32 iCompileFlag);
|
|
|
|
|
static sxi32 PH7_GenStateCompileFunc(ph7_gen_state *pGen, SyString *pName, sxi32 iFlags, int bHandleClosure, ph7_vm_func **ppFunc);
|
2019-05-04 17:08:09 +02:00
|
|
|
static sxi32 GenStateDefineNodeValidator(ph7_gen_state *pGen, ph7_expr_node *pRoot);
|
2019-06-22 11:59:43 +02:00
|
|
|
PH7_PRIVATE sxi32 PH7_CompileDefine(ph7_gen_state *pGen);
|
2018-08-12 21:58:27 +02:00
|
|
|
PH7_PRIVATE sxi32 PH7_CompileVariable(ph7_gen_state *pGen, sxi32 iCompileFlag);
|
|
|
|
|
static sxi32 PH7_GenStateLoadLiteral(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_GenStateResolveNamespaceLiteral(ph7_gen_state *pGen);
|
|
|
|
|
PH7_PRIVATE sxi32 PH7_CompileLiteral(ph7_gen_state *pGen, sxi32 iCompileFlag);
|
|
|
|
|
static int PH7_GenStateIsReservedConstant(SyString *pName);
|
|
|
|
|
static sxi32 PH7_CompileConstant(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileContinue(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileBreak(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_GenStateNextChunk(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileBlock(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileWhile(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileDoWhile(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileFor(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 GenStateForEachNodeValidator(ph7_gen_state *pGen, ph7_expr_node *pRoot);
|
|
|
|
|
static sxi32 PH7_CompileForeach(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileIf(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileReturn(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileHalt(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileVar(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileNamespace(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileUsing(ph7_gen_state *pGen);
|
2019-12-14 23:30:38 +01:00
|
|
|
static sxi32 PH7_CompileImport(ph7_gen_state *pGen);
|
2019-12-10 16:09:26 +01:00
|
|
|
static sxi32 PH7_CompileInclude(ph7_gen_state *pGen);
|
2018-08-12 21:58:27 +02:00
|
|
|
static sxi32 PH7_GenStateProcessArgValue(ph7_gen_state *pGen, ph7_vm_func_arg *pArg, SyToken *pIn, SyToken *pEnd);
|
|
|
|
|
static sxi32 PH7_GenStateCollectFuncArgs(ph7_vm_func *pFunc, ph7_gen_state *pGen, SyToken *pEnd);
|
|
|
|
|
static sxi32 PH7_GenStateCompileFuncBody(ph7_gen_state *pGen, ph7_vm_func *pFunc);
|
|
|
|
|
static sxi32 PH7_GenStateCompileFunc(ph7_gen_state *pGen, SyString *pName, sxi32 iFlags, int bHandleClosure, ph7_vm_func **ppFunc);
|
|
|
|
|
static sxi32 PH7_GetProtectionLevel(sxi32 nKeyword);
|
|
|
|
|
static sxi32 PH7_GenStateCompileClassConstant(ph7_gen_state *pGen, sxi32 iProtection, sxi32 iFlags, ph7_class *pClass);
|
2019-03-29 09:00:55 +01:00
|
|
|
static sxi32 PH7_GenStateCompileClassAttr(ph7_gen_state *pGen, sxi32 iProtection, sxi32 iFlags, sxu32 nType, ph7_class *pClass);
|
2019-03-16 14:57:04 +01:00
|
|
|
static sxi32 PH7_GenStateCompileClassMethod(ph7_gen_state *pGen, sxu32 nType, sxi32 iProtection, sxi32 iFlags, int doBody, ph7_class *pClass);
|
2018-08-12 21:58:27 +02:00
|
|
|
static sxi32 PH7_CompileClassInterface(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_GenStateCompileClass(ph7_gen_state *pGen, sxi32 iFlags);
|
|
|
|
|
static sxi32 PH7_CompileClass(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_GenStateThrowNodeValidator(ph7_gen_state *pGen, ph7_expr_node *pRoot);
|
|
|
|
|
static sxi32 PH7_CompileThrow(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileCatch(ph7_gen_state *pGen, ph7_exception *pException);
|
|
|
|
|
static sxi32 PH7_CompileTry(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_GenStateCompileSwitchBlock(ph7_gen_state *pGen, sxu32 *pBlockStart);
|
|
|
|
|
static sxi32 PH7_GenStateCompileCaseExpr(ph7_gen_state *pGen, ph7_case_expr *pExpr);
|
|
|
|
|
static sxi32 PH7_CompileSwitch(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_GenStateEmitExprCode(ph7_gen_state *pGen, ph7_expr_node *pNode, sxi32 iFlags);
|
|
|
|
|
static sxi32 PH7_CompileExpr(ph7_gen_state *pGen, sxi32 iFlags, sxi32(*xTreeValidator)(ph7_gen_state *, ph7_expr_node *));
|
|
|
|
|
PH7_PRIVATE ProcNodeConstruct PH7_GetNodeHandler(sxu32 nNodeType);
|
|
|
|
|
static ProcLangConstruct PH7_GenStateGetStatementHandler(sxu32 nKeywordID, SyToken *pLookahead);
|
2018-08-16 17:42:30 +02:00
|
|
|
static int PH7_IsLangConstruct(sxu32 nKeywordID);
|
2018-08-12 21:58:27 +02:00
|
|
|
static sxi32 PH7_GenStateCompileChunk(ph7_gen_state *pGen, sxi32 iFlags);
|
2018-08-16 11:15:03 +02:00
|
|
|
static sxi32 PH7_GenStateCompileGlobalScope(ph7_gen_state *pGen);
|
|
|
|
|
static sxi32 PH7_CompileScript(ph7_gen_state *pGen, SySet *pTokenSet, sxi32 iFlags);
|
2018-08-12 21:58:27 +02:00
|
|
|
PH7_PRIVATE sxi32 PH7_InitCodeGenerator(ph7_vm *pVm, ProcConsumer xErr, void *pErrData);
|
|
|
|
|
PH7_PRIVATE sxi32 PH7_ResetCodeGenerator(ph7_vm *pVm, ProcConsumer xErr, void *pErrData);
|
|
|
|
|
PH7_PRIVATE sxi32 PH7_GenCompileError(ph7_gen_state *pGen, sxi32 nErrType, sxu32 nLine, const char *zFormat, ...);
|
2018-08-12 21:11:13 +02:00
|
|
|
|
|
|
|
|
#endif /* _COMPILER_H_ */
|
