VM Maker: BytecodeSets.spur-eem.78.mcz

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

VM Maker: BytecodeSets.spur-eem.78.mcz

commits-2
 
Eliot Miranda uploaded a new version of BytecodeSets to project VM Maker:
http://source.squeak.org/VMMaker/BytecodeSets.spur-eem.78.mcz

==================== Summary ====================

Name: BytecodeSets.spur-eem.78
Author: eem
Time: 14 March 2018, 1:30:53.55385 pm
UUID: d8b1dd67-7d87-4b6b-91f2-d29060f54f32
Ancestors: BytecodeSets.spur-eem.77

Implement multiple bytecode set aware scanning machinery for NewsqueakV4.

=============== Diff against BytecodeSets.spur-eem.77 ===============

Item was added:
+ ----- Method: EncoderForNewsqueakV4 class>>scanBlockOrNilForLiteral: (in category 'scanning') -----
+ scanBlockOrNilForLiteral: aLiteral
+ "Answer a block argument for CompiledMethod>>#scanFor: that answers
+ if the method refers to the literal implicitly via a special bytecode.
+ If the literal is not accessible via a special bytecode, answer nil."
+ | value |
+
+ "80-95 0101 i i i i Send Arithmetic Message #iiii
+ 96-111 0110 i i i i Send Special Message #iiii"
+ aLiteral isSymbol ifTrue:
+ [value := 80 + ((Smalltalk specialSelectors indexOf: aLiteral ifAbsent: [^nil]) // 2).
+ ^[:byte| byte = value]].
+
+ "78 01001110 Push 0
+ 79 01001111 Push 1"
+ aLiteral isInteger ifTrue:
+ [(aLiteral between: 0 and: 1) ifFalse: [^nil].
+ value := aLiteral + 78.
+ ^[:byte| byte = value]].
+
+ "77 01001101 Push false [* 1:true, 2:nil, 3:thisContext, ..., -N: pushExplicitOuter: N, N = Extend B]"
+ aLiteral == false ifTrue:
+ [^[:byte| byte = 77]].
+ aLiteral == true ifTrue:
+ [^[:b1 :b2 :b3| b1 = 16rE1 and: [b2 = 1 and: [b3 = 77]]]].
+ aLiteral == nil ifTrue:
+ [^[:b1 :b2 :b3| b1 = 16rE1 and: [b2 = 2 and: [b3 = 77]]]].
+
+ ^nil!