gecko-dev/js/js2/icodegenerator.h

301 lines
12 KiB
C
Raw Normal View History

/* -*- Mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
*
* The contents of this file are subject to the Netscape Public
* License Version 1.1 (the "License"); you may not use this file
* except in compliance with the License. You may obtain a copy of
* the License at http://www.mozilla.org/NPL/
*
* Software distributed under the License is distributed on an "AS
* IS" basis, WITHOUT WARRANTY OF ANY KIND, either express oqr
* implied. See the License for the specific language governing
* rights and limitations under the License.
*
* The Original Code is the JavaScript 2 Prototype.
*
* The Initial Developer of the Original Code is Netscape
* Communications Corporation. Portions created by Netscape are
* Copyright (C) 1998 Netscape Communications Corporation. All
* Rights Reserved.
*
* Contributor(s):
*
* Alternatively, the contents of this file may be used under the
* terms of the GNU Public License (the "GPL"), in which case the
* provisions of the GPL are applicable instead of those above.
* If you wish to allow use of your version of this file only
* under the terms of the GPL and not to allow others to use your
* version of this file under the NPL, indicate your decision by
* deleting the provisions above and replace them with the notice
* and other provisions required by the GPL. If you do not delete
* the provisions above, a recipient may use your version of this
* file under either the NPL or the GPL.
*/
2000-03-29 19:19:23 +00:00
#ifndef icodegenerator_h
#define icodegenerator_h
#include <vector>
#include <stack>
#include "utilities.h"
#include "parser.h"
#include "vmtypes.h"
2000-06-24 01:02:34 +00:00
#include "jsclasses.h"
namespace JavaScript {
namespace ICG {
using namespace VM;
using namespace JSTypes;
2000-06-24 01:02:34 +00:00
using namespace JSClasses;
typedef std::map<String, TypedRegister, std::less<String> > VariableList;
typedef std::map<uint32, uint32, std::less<uint32> > InstructionMap;
2000-05-26 22:33:05 +00:00
2000-05-02 21:36:28 +00:00
class ICodeModule {
public:
ICodeModule(InstructionStream *iCode, VariableList *variables,
uint32 maxRegister, uint32 maxParameter,
InstructionMap *instructionMap) :
its_iCode(iCode), itsVariables(variables),
itsParameterCount(maxParameter), itsMaxRegister(maxRegister),
2000-05-26 22:33:05 +00:00
mID(++sMaxID), mInstructionMap(instructionMap) { }
~ICodeModule()
{
delete its_iCode;
delete itsVariables;
2000-05-26 22:33:05 +00:00
delete mInstructionMap;
}
Formatter& print(Formatter& f);
void setFileName (String aFileName) { mFileName = aFileName; }
String getFileName () { return mFileName; }
InstructionStream *its_iCode;
2000-05-02 21:36:28 +00:00
VariableList *itsVariables;
uint32 itsParameterCount;
uint32 itsMaxRegister;
uint32 mID;
2000-05-26 22:33:05 +00:00
InstructionMap *mInstructionMap;
String mFileName;
2000-05-26 22:33:05 +00:00
static uint32 sMaxID;
};
typedef std::vector<const StringAtom *> LabelSet;
class LabelEntry {
public:
LabelEntry(LabelSet *labelSet, Label *breakLabel)
: labelSet(labelSet), breakLabel(breakLabel), continueLabel(NULL) { }
LabelEntry(LabelSet *labelSet, Label *breakLabel, Label *continueLabel)
: labelSet(labelSet), breakLabel(breakLabel), continueLabel(continueLabel) { }
bool containsLabel(const StringAtom *label);
LabelSet *labelSet;
Label *breakLabel;
Label *continueLabel;
};
typedef std::vector<LabelEntry *> LabelStack;
Formatter& operator<<(Formatter &f, ICodeModule &i);
/****************************************************************/
// An ICodeGenerator provides the interface between the parser and the
// interpreter. The parser constructs one of these for each
// function/script, adds statements and expressions to it and then
// converts it into an ICodeModule, ready for execution.
2000-03-29 19:19:23 +00:00
class ICodeGenerator {
2000-06-29 01:21:41 +00:00
public:
typedef enum { kNoFlags = 0, kIsTopLevel = 0x01, kIsStaticMethod = 0x02, kIsWithinWith = 0x04 } ICodeGeneratorFlags;
private:
InstructionStream *iCode;
bool iCodeOwner;
LabelList labels;
2000-05-02 21:36:28 +00:00
Register topRegister; // highest (currently) alloacated register
Register registerBase; // start of registers available for expression temps
uint32 maxRegister; // highest (ever) allocated register
uint32 parameterCount; // number of parameters declared for the function
// these must come before any variables declared.
TypedRegister exceptionRegister;// reserved to carry the exception object.
2000-05-02 21:36:28 +00:00
VariableList *variableList; // name|register pair for each variable
World *mWorld; // used to register strings
JSScope *mGlobal; // the scope for compiling within
2000-05-26 22:33:05 +00:00
LabelStack mLabelStack; // stack of LabelEntry objects, one per nested looping construct
// maps source position to instruction index
InstructionMap *mInstructionMap;
2000-05-26 22:33:05 +00:00
2000-06-24 01:02:34 +00:00
JSClass *mClass; // enclosing class when generating code for methods
2000-06-29 01:21:41 +00:00
ICodeGeneratorFlags mFlags; // assorted flags
2000-05-26 22:33:05 +00:00
2000-06-27 02:39:32 +00:00
void markMaxRegister()
{ if (topRegister > maxRegister) maxRegister = topRegister; }
2000-06-27 02:39:32 +00:00
Register getRegister()
{ return topRegister++; }
2000-05-02 21:36:28 +00:00
2000-06-27 02:39:32 +00:00
void resetTopRegister()
2000-05-02 21:36:28 +00:00
{ markMaxRegister(); topRegister = registerBase; }
2000-05-02 21:36:28 +00:00
void setLabel(Label *label);
2000-04-27 01:27:09 +00:00
void jsr(Label *label) { iCode->push_back(new Jsr(label)); }
void rts() { iCode->push_back(new Rts()); }
void branch(Label *label);
GenericBranch *branchTrue(Label *label, TypedRegister condition);
GenericBranch *branchFalse(Label *label, TypedRegister condition);
2000-04-27 01:27:09 +00:00
void beginTry(Label *catchLabel, Label *finallyLabel)
2000-05-05 21:38:16 +00:00
{ iCode->push_back(new Tryin(catchLabel, finallyLabel)); }
2000-04-27 01:27:09 +00:00
void endTry()
2000-05-05 21:38:16 +00:00
{ iCode->push_back(new Tryout()); }
2000-05-26 22:33:05 +00:00
void beginWith(TypedRegister obj)
2000-05-26 22:33:05 +00:00
{ iCode->push_back(new Within(obj)); }
void endWith()
{ iCode->push_back(new Without()); }
2000-05-02 21:36:28 +00:00
void resetStatement() { resetTopRegister(); }
void setRegisterForVariable(const StringAtom& name, TypedRegister r)
2000-05-26 22:33:05 +00:00
{ (*variableList)[name] = r; }
void startStatement(uint32 pos)
{ (*mInstructionMap)[iCode->size()] = pos; }
2000-05-26 22:33:05 +00:00
ICodeOp mapExprNodeToICodeOp(ExprNode::Kind kind);
2000-05-26 22:33:05 +00:00
2000-06-23 23:43:24 +00:00
TypedRegister grabRegister(const StringAtom& name, JSType *type)
2000-05-26 22:33:05 +00:00
{
TypedRegister result(getRegister(), type);
2000-05-26 22:33:05 +00:00
(*variableList)[name] = result;
registerBase = topRegister;
return result;
}
2000-06-29 01:21:41 +00:00
bool isTopLevel() { return (mFlags & kIsTopLevel) != 0; }
bool isWithinWith() { return (mFlags & kIsWithinWith) != 0; }
bool isStaticMethod() { return (mFlags & kIsStaticMethod) != 0; }
void setFlag(uint32 flag, bool v) { mFlags = (ICodeGeneratorFlags)((v) ? mFlags | flag : mFlags & ~flag); }
2000-06-23 23:43:24 +00:00
JSType *findType(const StringAtom& typeName);
TypedRegister handleDot(BinaryExprNode *b, ExprNode::Kind use, ICodeOp xcrementOp, TypedRegister ret);
2000-06-29 01:21:41 +00:00
ICodeModule *genFunction(FunctionStmtNode *f);
public:
2000-06-29 01:21:41 +00:00
ICodeGenerator(World *world, JSScope *global, JSClass *aClass = NULL, ICodeGeneratorFlags flags = kIsTopLevel);
~ICodeGenerator()
{
2000-05-26 22:33:05 +00:00
if (iCodeOwner) {
delete iCode;
2000-05-26 22:33:05 +00:00
delete mInstructionMap;
}
}
ICodeModule *complete();
TypedRegister genExpr(ExprNode *p,
2000-05-26 22:33:05 +00:00
bool needBoolValueInBranch = false,
Label *trueBranch = NULL,
Label *falseBranch = NULL);
void preprocess(StmtNode *p);
TypedRegister genStmt(StmtNode *p, LabelSet *currentLabelSet = NULL);
void returnStmt(TypedRegister r);
void returnStmt();
void throwStmt(TypedRegister r)
{ iCode->push_back(new Throw(r)); }
void debuggerStmt()
{ iCode->push_back(new Debugger()); }
2000-05-02 21:36:28 +00:00
TypedRegister allocateVariable(const StringAtom& name);
TypedRegister allocateVariable(const StringAtom& name, const StringAtom& typeName);
TypedRegister findVariable(const StringAtom& name)
{ VariableList::iterator i = variableList->find(name);
return (i == variableList->end()) ? TypedRegister(NotARegister, &None_Type) : (*i).second; }
2000-05-05 21:38:16 +00:00
TypedRegister allocateParameter(const StringAtom& name)
{ parameterCount++; return grabRegister(name, &Any_Type); }
TypedRegister allocateParameter(const StringAtom& name, const StringAtom& typeName)
{ parameterCount++; return grabRegister(name, findType(typeName)); }
2000-06-24 01:02:34 +00:00
TypedRegister allocateParameter(const StringAtom& name, JSType *type)
{ parameterCount++; return grabRegister(name, type); }
Formatter& print(Formatter& f);
TypedRegister op(ICodeOp op, TypedRegister source);
TypedRegister op(ICodeOp op, TypedRegister source1, TypedRegister source2);
2000-06-21 22:32:21 +00:00
TypedRegister call(TypedRegister target, const StringAtom &name, RegisterList args);
TypedRegister methodCall(TypedRegister targetBase, TypedRegister targetValue, RegisterList args);
TypedRegister staticCall(JSClass *c, const StringAtom &name, RegisterList args);
void move(TypedRegister destination, TypedRegister source);
TypedRegister logicalNot(TypedRegister source);
TypedRegister test(TypedRegister source);
TypedRegister loadBoolean(bool value);
TypedRegister loadImmediate(double value);
TypedRegister loadString(String &value);
2000-06-21 22:32:21 +00:00
TypedRegister loadString(const StringAtom &name);
2000-04-19 22:45:57 +00:00
TypedRegister newObject();
TypedRegister newArray();
2000-06-21 22:32:21 +00:00
TypedRegister newFunction(ICodeModule *icm);
TypedRegister newClass(const StringAtom &name);
TypedRegister loadName(const StringAtom &name);
void saveName(const StringAtom &name, TypedRegister value);
TypedRegister nameXcr(const StringAtom &name, ICodeOp op);
TypedRegister getProperty(TypedRegister base, const StringAtom &name);
void setProperty(TypedRegister base, const StringAtom &name, TypedRegister value);
TypedRegister propertyXcr(TypedRegister base, const StringAtom &name, ICodeOp op);
2000-06-27 02:39:32 +00:00
TypedRegister getStatic(JSClass *base, const StringAtom &name);
void setStatic(JSClass *base, const StringAtom &name, TypedRegister value);
TypedRegister staticXcr(JSClass *base, const StringAtom &name, ICodeOp op);
2000-06-27 02:39:32 +00:00
TypedRegister getElement(TypedRegister base, TypedRegister index);
void setElement(TypedRegister base, TypedRegister index, TypedRegister value);
TypedRegister elementXcr(TypedRegister base, TypedRegister index, ICodeOp op);
2000-06-23 23:43:24 +00:00
TypedRegister getSlot(TypedRegister base, uint32 slot);
void setSlot(TypedRegister base, uint32 slot, TypedRegister value);
TypedRegister slotXcr(TypedRegister base, uint32 slot, ICodeOp op);
2000-06-23 23:43:24 +00:00
TypedRegister varXcr(TypedRegister var, ICodeOp op);
2000-05-02 21:36:28 +00:00
Register getRegisterBase() { return topRegister; }
2000-06-27 02:39:32 +00:00
InstructionStream *getICode() { return iCode; }
Label *getLabel();
};
Formatter& operator<<(Formatter &f, ICodeGenerator &i);
Formatter& operator<<(Formatter &f, ICodeModule &i);
/*
std::ostream &operator<<(std::ostream &s, ICodeGenerator &i);
std::ostream &operator<<(std::ostream &s, StringAtom &str);
*/
} /* namespace IGC */
} /* namespace JavaScript */
2000-04-01 02:53:16 +00:00
#endif /* icodegenerator_h */