org.jruby.ir

Class IRBuilder

java.lang.Object

org.jruby.ir.IRBuilder

public class IRBuilder
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected List<String>	argumentDescriptions
protected List<Instr>	instructions
protected IRManager	manager
protected IRBuilder	parent
protected IRScope	scope
static String	USING_METHOD

Constructor Summary

Constructors

Constructor and Description
IRBuilder(IRManager manager, IRScope scope, IRBuilder parent)

Method Summary

Methods

Modifier and Type	Method and Description
static Operand[]	addArg(Operand[] args, Operand extraArg)
void	addArgumentDescription(ArgumentType type, String name)
void	addInstr(Instr instr)
void	addInstrAtBeginning(Instr instr)
Operand	build(Node node)
Operand	buildAlias(AliasNode alias)
Operand	buildAnd(AndNode andNode)
Operand	buildArgsCat(ArgsCatNode argsCatNode)
void	buildArgsMasgn(Node node, Operand argsArray, boolean isMasgnRoot, int preArgsCount, int postArgsCount, int index, boolean isSplat)
Operand	buildArgsPush(ArgsPushNode node)
Operand	buildArray(ArrayNode node)
void	buildAssignment(Node node, Variable rhsVal)
static Node	buildAST(boolean isCommandLineScript, String arg)
Operand	buildAttrAssignAssignment(Node node, Operand value)
protected Operand	buildAttrAssignCallArgs(List<Operand> argsList, Node args, boolean containsAssignment)
Operand	buildBackref(BackRefNode node)
Operand	buildBegin(BeginNode beginNode)
Operand	buildBignum(BignumNode node)
Operand	buildBlock(BlockNode node)
void	buildBlockArgsAssignment(Node node, Operand argsArray, int argIndex, boolean isSplat)
Operand	buildBreak(BreakNode breakNode)
Operand	buildCall(CallNode callNode)
protected Operand[]	buildCallArgs(Node args)
Operand	buildCase(CaseNode caseNode)
Operand	buildClass(ClassNode classNode) Build a new class and add it to the current scope (s).
Operand	buildClassVar(ClassVarNode node)
Operand	buildClassVarAsgn(ClassVarAsgnNode classVarAsgnNode)
Operand	buildClassVarDecl(ClassVarDeclNode classVarDeclNode)
Operand	buildColon2(Colon2Node iVisited)
Operand	buildColon3(Colon3Node node)
Operand	buildComplex(ComplexNode node)
Operand	buildConstDecl(ConstDeclNode node)
Operand	buildConstDeclAssignment(ConstDeclNode constDeclNode, Operand val)
Operand	buildDAsgn(DAsgnNode dasgnNode)
protected Variable	buildDefinitionCheck(ResultInstr definedInstr, String definedReturnValue)
Operand	buildDefn(MethodDefNode node)
protected Variable	buildDefnCheckIfThenPaths(Label undefLabel, Operand defVal)
Operand	buildDefs(DefsNode node)
Operand	buildDot(DotNode dotNode)
Operand	buildDRegexp(DRegexpNode node)
Operand	buildDStr(DStrNode node)
Operand	buildDSymbol(DSymbolNode node)
Operand	buildDVar(DVarNode node)
Operand	buildDXStr(DXStrNode dstrNode)
Operand	buildEncoding(EncodingNode node)
Operand	buildEnsureInternal(Node ensureBodyNode, Node ensurerNode)
Operand	buildEnsureNode(EnsureNode ensureNode)
InterpreterContext	buildEvalRoot(RootNode rootNode)
Operand	buildEvStr(EvStrNode node)
Operand	buildFalse()
Operand	buildFCall(FCallNode fcallNode)
Operand	buildFixnum(FixnumNode node)
Operand	buildFlip(FlipNode flipNode)
Operand	buildFloat(FloatNode node)
Operand	buildFor(ForNode forNode)
Operand	buildForIter(ForNode forNode)
Operand	buildGetArgumentDefinition(Node node, String type)
Operand	buildGetDefinition(Node node)
Operand	buildGlobalAsgn(GlobalAsgnNode globalAsgnNode)
Operand	buildGlobalVar(GlobalVarNode node)
Operand	buildHash(HashNode hashNode)
Operand	buildIf(IfNode ifNode)
Operand	buildInstAsgn(InstAsgnNode instAsgnNode)
Operand	buildInstVar(InstVarNode node)
Operand	buildIter(IterNode iterNode)
Operand	buildLambda(LambdaNode node)
Operand	buildLiteral(LiteralNode literalNode)
Operand	buildLocalAsgn(LocalAsgnNode localAsgnNode)
Operand	buildLocalVar(LocalVarNode node)
Operand	buildMatch(MatchNode matchNode)
Operand	buildMatch2(Match2Node matchNode)
Operand	buildMatch3(Match3Node matchNode)
Operand	buildModule(ModuleNode moduleNode)
Operand	buildMultipleAsgn19(MultipleAsgnNode multipleAsgnNode)
void	buildMultipleAsgn19Assignment(MultipleAsgnNode multipleAsgnNode, Operand argsArray, Operand values)
Operand	buildNext(NextNode nextNode)
Operand	buildNil()
Operand	buildNthRef(NthRefNode nthRefNode)
Operand	buildOpAsgn(OpAsgnNode opAsgnNode)
Operand	buildOpAsgnAnd(OpAsgnAndNode andNode)
Operand	buildOpAsgnOr(OpAsgnOrNode orNode)
Operand	buildOpElementAsgn(OpElementAsgnNode node)
Operand	buildOpElementAsgnWithMethod(OpElementAsgnNode opElementAsgnNode)
Operand	buildOr(OrNode orNode)
Operand	buildPostExe(PostExeNode postExeNode)
Operand	buildPreExe(PreExeNode preExeNode)
Operand	buildRational(RationalNode rationalNode)
Operand	buildRedo()
Operand	buildRegexp(RegexpNode reNode)
Operand	buildRescue(RescueNode node)
Operand	buildRetry()
Operand	buildReturn(ReturnNode returnNode)
static InterpreterContext	buildRoot(IRManager manager, RootNode rootNode)
Operand	buildSClass(SClassNode sclassNode)
Variable	buildSelf()
Operand	buildSplat(SplatNode splatNode)
Operand	buildStr(StrNode strNode)
Operand	buildSuper(SuperNode superNode)
Operand	buildSValue(SValueNode node)
Operand	buildSymbol(SymbolNode node)
Operand	buildTrue()
Operand	buildUndef(Node node)
Operand	buildUntil(UntilNode untilNode)
Operand	buildVAlias(VAliasNode valiasNode)
Operand	buildVCall(VCallNode node)
void	buildVersionSpecificBlockArgsAssignment(Node node)
Operand	buildWhile(WhileNode whileNode)
protected Operand	buildWithOrder(Node node, boolean preserveOrder)
Operand	buildXStr(XStrNode node)
Operand	buildYield(YieldNode node)
Operand	buildZArray()
Operand	buildZSuper(ZSuperNode zsuperNode)
Operand	classVarContainer(boolean declContext)
Operand	classVarDeclarationContainer()
Operand	classVarDefinitionContainer()
protected Variable	copyAndReturnValue(Operand val)
protected InterpreterContext	defineMethodInner(MethodDefNode defNode, IRScope parent)
protected LocalVariable	getArgVariable(String name, int depth)
protected LocalVariable	getBlockArgVariable(String name, int depth)
static Operand[]	getCallArgs(IRScope scope, IRBuilder builder) Extract all call arguments from the specified scope (only useful for Closures and Methods) so that we can convert zsupers to supers with explicit arguments.
org.jruby.ir.IRBuilder.IRLoop	getCurrentLoop()
LocalVariable	getLocalVariable(String name, int scopeDepth)
String	getName()
IRBuilder	getNearestFlipVariableScopeBuilder()
LocalVariable	getNewLocalVariable(String name, int scopeDepth)
protected Variable	getValueInTemporaryVariable(Operand val)
void	initFlipStateVariable(Variable v, Operand initState)
IRBuilder	newIRBuilder(IRManager manager, IRScope newScope)
void	receiveArgs(ArgsNode argsNode) Process all arguments specified for this scope.
protected void	receiveBlockArg(ArgsNode argsNode) Reify the implicit incoming block into a full Proc, for use as "block arg", but only if a block arg is specified in this scope's arguments.
protected void	receiveBlockArg(Variable v, Operand argsArray, int argIndex, boolean isSplat)
void	receiveBlockArgs(IterNode node)
void	receiveMethodArgs(ArgsNode argsNode)
protected void	receiveNonBlockArgs(ArgsNode argsNode)
void	receiveRequiredArg(Node node, int argIndex, boolean post, int numPreReqd, int numPostRead)
Operand[]	setupCallArgs(Node args)
static IRBuilder	topIRBuilder(IRManager manager, IRScope newScope)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

USING_METHOD

public static final String USING_METHOD

See Also:

Constant Field Values

parent

protected IRBuilder parent

manager

protected IRManager manager

scope

protected IRScope scope

instructions

protected List<Instr> instructions

argumentDescriptions

protected List<String> argumentDescriptions

Constructor Detail

IRBuilder

public IRBuilder(IRManager manager,
         IRScope scope,
         IRBuilder parent)

Method Detail

buildAST

public static Node buildAST(boolean isCommandLineScript,
            String arg)

getCurrentLoop

public org.jruby.ir.IRBuilder.IRLoop getCurrentLoop()

addArgumentDescription

public void addArgumentDescription(ArgumentType type,
                          String name)

addInstr

public void addInstr(Instr instr)

addInstrAtBeginning

public void addInstrAtBeginning(Instr instr)

getNearestFlipVariableScopeBuilder

public IRBuilder getNearestFlipVariableScopeBuilder()

newIRBuilder

public IRBuilder newIRBuilder(IRManager manager,
                     IRScope newScope)

topIRBuilder

public static IRBuilder topIRBuilder(IRManager manager,
                     IRScope newScope)

build

public Operand build(Node node)

buildLambda

public Operand buildLambda(LambdaNode node)

buildEncoding

public Operand buildEncoding(EncodingNode node)

buildMultipleAsgn19

public Operand buildMultipleAsgn19(MultipleAsgnNode multipleAsgnNode)

copyAndReturnValue

protected Variable copyAndReturnValue(Operand val)

buildWithOrder

protected Operand buildWithOrder(Node node,
                     boolean preserveOrder)

getValueInTemporaryVariable

protected Variable getValueInTemporaryVariable(Operand val)

buildAttrAssignCallArgs

protected Operand buildAttrAssignCallArgs(List<Operand> argsList,
                              Node args,
                              boolean containsAssignment)

buildCallArgs

protected Operand[] buildCallArgs(Node args)

setupCallArgs

public Operand[] setupCallArgs(Node args)

addArg

public static Operand[] addArg(Operand[] args,
               Operand extraArg)

buildAssignment

public void buildAssignment(Node node,
                   Variable rhsVal)

getBlockArgVariable

protected LocalVariable getBlockArgVariable(String name,
                                int depth)

receiveBlockArg

protected void receiveBlockArg(Variable v,
                   Operand argsArray,
                   int argIndex,
                   boolean isSplat)

buildVersionSpecificBlockArgsAssignment

public void buildVersionSpecificBlockArgsAssignment(Node node)

buildBlockArgsAssignment

public void buildBlockArgsAssignment(Node node,
                            Operand argsArray,
                            int argIndex,
                            boolean isSplat)

buildAlias

public Operand buildAlias(AliasNode alias)

buildAnd

public Operand buildAnd(AndNode andNode)

buildArray

public Operand buildArray(ArrayNode node)

buildArgsCat

public Operand buildArgsCat(ArgsCatNode argsCatNode)

buildArgsPush

public Operand buildArgsPush(ArgsPushNode node)

buildAttrAssignAssignment

public Operand buildAttrAssignAssignment(Node node,
                                Operand value)

buildBackref

public Operand buildBackref(BackRefNode node)

buildBegin

public Operand buildBegin(BeginNode beginNode)

buildBignum

public Operand buildBignum(BignumNode node)

buildBlock

public Operand buildBlock(BlockNode node)

buildBreak

public Operand buildBreak(BreakNode breakNode)

buildCall

public Operand buildCall(CallNode callNode)

buildCase

public Operand buildCase(CaseNode caseNode)

buildClass

public Operand buildClass(ClassNode classNode)

Build a new class and add it to the current scope (s).

buildSClass

public Operand buildSClass(SClassNode sclassNode)

buildClassVar

public Operand buildClassVar(ClassVarNode node)

buildClassVarAsgn

public Operand buildClassVarAsgn(ClassVarAsgnNode classVarAsgnNode)

buildClassVarDecl

public Operand buildClassVarDecl(ClassVarDeclNode classVarDeclNode)

classVarDeclarationContainer

public Operand classVarDeclarationContainer()

classVarDefinitionContainer

public Operand classVarDefinitionContainer()

classVarContainer

public Operand classVarContainer(boolean declContext)

buildConstDecl

public Operand buildConstDecl(ConstDeclNode node)

buildConstDeclAssignment

public Operand buildConstDeclAssignment(ConstDeclNode constDeclNode,
                               Operand val)

buildColon2

public Operand buildColon2(Colon2Node iVisited)

buildColon3

public Operand buildColon3(Colon3Node node)

buildComplex

public Operand buildComplex(ComplexNode node)

buildGetDefinition

public Operand buildGetDefinition(Node node)

buildDefnCheckIfThenPaths

protected Variable buildDefnCheckIfThenPaths(Label undefLabel,
                                 Operand defVal)

buildDefinitionCheck

protected Variable buildDefinitionCheck(ResultInstr definedInstr,
                            String definedReturnValue)

buildGetArgumentDefinition

public Operand buildGetArgumentDefinition(Node node,
                                 String type)

buildDAsgn

public Operand buildDAsgn(DAsgnNode dasgnNode)

defineMethodInner

protected InterpreterContext defineMethodInner(MethodDefNode defNode,
                                   IRScope parent)

buildDefn

public Operand buildDefn(MethodDefNode node)

buildDefs

public Operand buildDefs(DefsNode node)

getArgVariable

protected LocalVariable getArgVariable(String name,
                           int depth)

receiveRequiredArg

public void receiveRequiredArg(Node node,
                      int argIndex,
                      boolean post,
                      int numPreReqd,
                      int numPostRead)

receiveNonBlockArgs

protected void receiveNonBlockArgs(ArgsNode argsNode)

receiveBlockArg

protected void receiveBlockArg(ArgsNode argsNode)

Reify the implicit incoming block into a full Proc, for use as "block arg", but only if a block arg is specified in this scope's arguments.

Parameters:

argsNode - the arguments containing the block arg, if any

receiveArgs

public void receiveArgs(ArgsNode argsNode)

Process all arguments specified for this scope. This includes pre args (required args at the beginning of the argument list), opt args (arguments with a default value), a rest arg (catch-all for argument list overflow), post args (required arguments after a rest arg) and a block arg (to reify an incoming block into a Proc object.

Parameters:

argsNode - the args node containing the specification for the arguments

buildArgsMasgn

public void buildArgsMasgn(Node node,
                  Operand argsArray,
                  boolean isMasgnRoot,
                  int preArgsCount,
                  int postArgsCount,
                  int index,
                  boolean isSplat)

buildMultipleAsgn19Assignment

public void buildMultipleAsgn19Assignment(MultipleAsgnNode multipleAsgnNode,
                                 Operand argsArray,
                                 Operand values)

receiveMethodArgs

public void receiveMethodArgs(ArgsNode argsNode)

receiveBlockArgs

public void receiveBlockArgs(IterNode node)

buildDot

public Operand buildDot(DotNode dotNode)

buildDRegexp

public Operand buildDRegexp(DRegexpNode node)

buildDStr

public Operand buildDStr(DStrNode node)

buildDSymbol

public Operand buildDSymbol(DSymbolNode node)

buildDVar

public Operand buildDVar(DVarNode node)

buildDXStr

public Operand buildDXStr(DXStrNode dstrNode)

buildEnsureNode

public Operand buildEnsureNode(EnsureNode ensureNode)

buildEnsureInternal

public Operand buildEnsureInternal(Node ensureBodyNode,
                          Node ensurerNode)

buildEvStr

public Operand buildEvStr(EvStrNode node)

buildFalse

public Operand buildFalse()

buildFCall

public Operand buildFCall(FCallNode fcallNode)

buildFixnum

public Operand buildFixnum(FixnumNode node)

buildFlip

public Operand buildFlip(FlipNode flipNode)

buildFloat

public Operand buildFloat(FloatNode node)

buildFor

public Operand buildFor(ForNode forNode)

buildForIter

public Operand buildForIter(ForNode forNode)

buildGlobalAsgn

public Operand buildGlobalAsgn(GlobalAsgnNode globalAsgnNode)

buildGlobalVar

public Operand buildGlobalVar(GlobalVarNode node)

buildHash

public Operand buildHash(HashNode hashNode)

buildIf

public Operand buildIf(IfNode ifNode)

buildInstAsgn

public Operand buildInstAsgn(InstAsgnNode instAsgnNode)

buildInstVar

public Operand buildInstVar(InstVarNode node)

buildIter

public Operand buildIter(IterNode iterNode)

buildLiteral

public Operand buildLiteral(LiteralNode literalNode)

buildLocalAsgn

public Operand buildLocalAsgn(LocalAsgnNode localAsgnNode)

buildLocalVar

public Operand buildLocalVar(LocalVarNode node)

buildMatch

public Operand buildMatch(MatchNode matchNode)

buildMatch2

public Operand buildMatch2(Match2Node matchNode)

buildMatch3

public Operand buildMatch3(Match3Node matchNode)

buildModule

public Operand buildModule(ModuleNode moduleNode)

buildNext

public Operand buildNext(NextNode nextNode)

buildNthRef

public Operand buildNthRef(NthRefNode nthRefNode)

buildNil

public Operand buildNil()

buildOpAsgn

public Operand buildOpAsgn(OpAsgnNode opAsgnNode)

buildOpAsgnAnd

public Operand buildOpAsgnAnd(OpAsgnAndNode andNode)

buildOpAsgnOr

public Operand buildOpAsgnOr(OpAsgnOrNode orNode)

buildOpElementAsgn

public Operand buildOpElementAsgn(OpElementAsgnNode node)

buildOpElementAsgnWithMethod

public Operand buildOpElementAsgnWithMethod(OpElementAsgnNode opElementAsgnNode)

buildOr

public Operand buildOr(OrNode orNode)

buildPostExe

public Operand buildPostExe(PostExeNode postExeNode)

buildPreExe

public Operand buildPreExe(PreExeNode preExeNode)

buildRational

public Operand buildRational(RationalNode rationalNode)

buildRedo

public Operand buildRedo()

buildRegexp

public Operand buildRegexp(RegexpNode reNode)

buildRescue

public Operand buildRescue(RescueNode node)

buildRetry

public Operand buildRetry()

buildReturn

public Operand buildReturn(ReturnNode returnNode)

buildEvalRoot

public InterpreterContext buildEvalRoot(RootNode rootNode)

buildRoot

public static InterpreterContext buildRoot(IRManager manager,
                           RootNode rootNode)

buildSelf

public Variable buildSelf()

buildSplat

public Operand buildSplat(SplatNode splatNode)

buildStr

public Operand buildStr(StrNode strNode)

buildSuper

public Operand buildSuper(SuperNode superNode)

buildSValue

public Operand buildSValue(SValueNode node)

buildSymbol

public Operand buildSymbol(SymbolNode node)

buildTrue

public Operand buildTrue()

buildUndef

public Operand buildUndef(Node node)

buildUntil

public Operand buildUntil(UntilNode untilNode)

buildVAlias

public Operand buildVAlias(VAliasNode valiasNode)

buildVCall

public Operand buildVCall(VCallNode node)

buildWhile

public Operand buildWhile(WhileNode whileNode)

buildXStr

public Operand buildXStr(XStrNode node)

buildYield

public Operand buildYield(YieldNode node)

buildZArray

public Operand buildZArray()

buildZSuper

public Operand buildZSuper(ZSuperNode zsuperNode)

getLocalVariable

public LocalVariable getLocalVariable(String name,
                             int scopeDepth)

getNewLocalVariable

public LocalVariable getNewLocalVariable(String name,
                                int scopeDepth)

getName

public String getName()

initFlipStateVariable

public void initFlipStateVariable(Variable v,
                         Operand initState)

getCallArgs

public static Operand[] getCallArgs(IRScope scope,
                    IRBuilder builder)

Extract all call arguments from the specified scope (only useful for Closures and Methods) so that we can convert zsupers to supers with explicit arguments. Note: This is fairly expensive because we walk entire scope when we could potentially stop earlier if we knew when recv_* were done.