Adding supernodes #185
Adding supernodes #185
Commits on Apr 23, 2023
-
Add specialized n-ary send nodes that send to an argument
The most common version of this is sending to self. Signed-off-by: Stefan Marr <[email protected]>
-
Implement IntIncrementNode and needed field access/storage support
This also adds the support in the bytecode interpreter (this is mostly incidental, since I had to remove it completely, too) Signed-off-by: Stefan Marr <[email protected]>
-
Generalize the IncOperationNode to arbitary values
- also supports `-` as operator in parser - add tests - add fallback support Signed-off-by: Stefan Marr <[email protected]>
-
Rename field to more consistent and explicit incValue
Signed-off-by: Stefan Marr <[email protected]>
-
Added LocalVariableIncNode and NonLocalVariableIncNode
Signed-off-by: Stefan Marr <[email protected]>
-
Add AssignLocalSquareToLocalNode
Cherry-picked from supernodes branch
-
Added initial tests, the todo list
Signed-off-by: Stefan Marr <[email protected]>
-
Added [Non]LocalVariableSquareNode
Signed-off-by: Stefan Marr <[email protected]>
-
Add [Non]LocalVariableReadSquareWriteNode
- do specialization in the parser to do it as early as possible - remove AssignLocalSquareToLocalNode which is the run-time specialization version Signed-off-by: Stefan Marr <[email protected]>
-
Add StringEqualsNode, which is used for
expr = 'str', i.e. literal ……string comparions. For the nil case in the string comparison, we store `nil` in a local static field to avoid type restrictions of the DSL. Signed-off-by: Stefan Marr <[email protected]>
-
Add [Non]LocalFieldStringEqualsNode
This node inlines the argument and field reading and does the string equal. There's theoretical an early abort for non-object fields. Though, we don't have those in our benchmarks. Well, perhaps uninitialized fields. Though, the structure of the lookup, and caching makes that tricky. Not sure it's worth optimizing that. Signed-off-by: Stefan Marr <[email protected]>
-
Adapt to use createGenericBinary
Signed-off-by: Stefan Marr <[email protected]>
-
Move all supernodes to same package
Signed-off-by: Stefan Marr <[email protected]>
-
Restructure the Increment super nodes to support field increment with…
… some other expression Signed-off-by: Stefan Marr <[email protected]>
-
Add fallback code for UninitIncFieldNode, SomSom needs it...
SomSom's parser also has `text := text + self currentChar.` where `text` is a field in the lexer. Signed-off-by: Stefan Marr <[email protected]>
-
Rename increment nodes for variables that use an int constant
Signed-off-by: Stefan Marr <[email protected]>
-
Signed-off-by: Stefan Marr <[email protected]>
-
Fix test regression after Invokable changes being merged in
Signed-off-by: Stefan Marr <[email protected]>
-
Adapt to use of frame slot index instead of FrameSlot
Signed-off-by: Stefan Marr <[email protected]>
-
Merge PR #144: Update Truffle and MX, and rename bd package to bdt
Signed-off-by: Stefan Marr <[email protected]>
-
Add super node for
local := local fooSigned-off-by: Stefan Marr <[email protected]>
-
Add supernode for
isNil ifTrue:sequenceSigned-off-by: Stefan Marr <[email protected]>
-
Signed-off-by: Stefan Marr <[email protected]>
-
Add GreaterThanIntNode, LessThanIntNode, and LocalArgLessThanInt
Signed-off-by: Stefan Marr <[email protected]>
-
-
-
-
-
-
-
The read+write square nodes may access locals in different lexical co…
…ntexts… Make sure we track the context correctly for each variable. Add a specialization that fetches the context only once if possible.
Commits on Apr 24, 2023
-
Initialize separte test context for each test class
This avoids issues in Eclipse with the SomTests interferring with the context of TruffleTestSetup
-
Remove redundant transferToInterpreterAndInvalidate()
Should be ensured in the caller.
-
-
Keep child nodes only in AST interpreter
The BC interpreter doesn’t need them.
-