-
Notifications
You must be signed in to change notification settings - Fork 67
/
SmartSyntaxPluginSimulator.class.st
338 lines (300 loc) · 11 KB
/
SmartSyntaxPluginSimulator.class.st
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
Class {
#name : #SmartSyntaxPluginSimulator,
#superclass : #InterpreterPlugin,
#instVars : [
'actualPlugin',
'signatureMap',
'forMap',
'pluginClass',
'logging'
],
#category : #'VMMaker-SmartSyntaxPlugins'
}
{ #category : #simulation }
SmartSyntaxPluginSimulator class >> shouldBeTranslated [
^false
]
{ #category : #accessing }
SmartSyntaxPluginSimulator >> actualPlugin [
"Answer the value of actualPlugin"
^ actualPlugin
]
{ #category : #accessing }
SmartSyntaxPluginSimulator >> actualPlugin: aSmartSyntaxInterpreterPlugin signatureClass: signatureClass [
pluginClass := signatureClass.
actualPlugin := aSmartSyntaxInterpreterPlugin.
actualPlugin simulator: self
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asBooleanValueFrom: anInteger [
^[:oop| interpreterProxy booleanValueOf: oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asCharPtrFrom: stackIndex andThen: validateBlock [
^[:oop|
validateBlock value: oop.
interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'char *']
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asFloatValueFrom: stackIndex [
^[:oop| interpreterProxy floatValueOf: oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asIntPtrFrom: stackIndex andThen: validateBlock [
^[:oop|
validateBlock value: oop.
interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'int *']
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asIntegerValueFrom: anInteger [
^[:oop| interpreterProxy checkedIntegerValueOf: oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asKindOf: aClass from: argIndexOrNil [
^[:oop|
interpreterProxy success: (interpreterProxy is: oop KindOf: aClass name asString).
oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asKindOfIntegerFrom: argIndexOrNil [
^[:oop|
interpreterProxy success: (interpreterProxy isKindOfInteger: oop).
oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asMemberOfLargeNegativeIntegerFrom: argIndexOrNil [
^[:oop|
interpreterProxy success: (interpreterProxy isLargeNegativeIntegerObject: oop).
oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asMemberOfLargePositiveIntegerFrom: argIndexOrNil [
^[:oop|
interpreterProxy success: (interpreterProxy isLargePositiveIntegerObject: oop).
oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asOopPtrFrom: stackIndex andThen: validateBlock [
^[:oop|
validateBlock value: oop.
interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'sqInt *']
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: forProlog expr: failBlock asRawOopFrom: anUndefinedObject [
^[:oop| oop]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asUnsignedPtrFrom: stackIndex andThen: validateBlock [
^[:oop|
validateBlock value: oop.
interpreterProxy cCoerce: (interpreterProxy firstIndexableField: oop) asInteger to: #'unsigned *']
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asUnsignedValueFrom: stackIndex [
^[:oop|
interpreterProxy bytesPerOop = 4
ifTrue: [interpreterProxy positive32BitValueOf: oop]
ifFalse: [interpreterProxy positive64BitValueOf: oop]]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgLoad: codeGen expr: exprBlock asWBFloatPtrFrom: stackIndex [
self shouldBeImplemented
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> ccgValBlock: aString [
^aString caseOf: {
['isBytes'] -> [ [:oop|
interpreterProxy success: (interpreterProxy isBytes: oop).
oop]].
['isWords'] -> [ [:oop|
interpreterProxy success: (interpreterProxy isWords: oop).
oop]].
['isWordsOrBytes'] -> [ [:oop|
interpreterProxy success: (interpreterProxy isWordsOrBytes: oop).
oop]].
['isIndexable'] -> [ [:oop|
interpreterProxy success: (interpreterProxy isIndexable: oop).
oop]] }
]
{ #category : #initialize }
SmartSyntaxPluginSimulator >> computeSignatureFor: selector from: tuple [
| signature |
self assert: tuple first == #forMap.
signature := tuple third collect:
[:className|
(Smalltalk classNamed: className)
ifNil: [self error: 'Argument class' , className, ' does not exist']
ifNotNil:
[:argClass|
argClass
ccg: self
prolog: true
expr: [interpreterProxy primitiveFail]
index: nil]].
^signatureMap
at: tuple second asSymbol
put: { selector.
signature.
tuple fourth
ifNil: [[:oop| oop]]
ifNotNil:
[:rcvrClassSymbol|
(Smalltalk classNamed: rcvrClassSymbol)
ifNil: [self error: 'Receiver class' , rcvrClassSymbol, ' does not exist']
ifNotNil:
[:rcvrClass|
rcvrClass
ccg: self
prolog: false
expr: [interpreterProxy primitiveFail]
index: nil]] }
]
{ #category : #initialize }
SmartSyntaxPluginSimulator >> computeSignatureMap [
forMap := true. "true only while we compute the signatureMap"
signatureMap := Dictionary new.
pluginClass selectorsAndMethodsDo:
[:s :m|
(m messages includesAnyOf: #(primitive: primitive:parameters: primitive:parameters:receiver:))
ifTrue: [self getPrimitiveSignatureFor: s]
ifFalse:
[(m pragmaAt: #export:) ifNotNil:
[:exportPragma|
(exportPragma argumentAt: 1) ifTrue:
[self computeSignatureFor: s from: { #forMap. s. #(). nil }]]]].
forMap := false
]
{ #category : #'message forwarding' }
SmartSyntaxPluginSimulator >> doesNotUnderstand: aMessage [
| signature selector parameters result sp |
signature := signatureMap
at: aMessage selector
ifAbsent: [^super doesNotUnderstand: aMessage].
self log: [interpreterProxy coInterpreter printExternalHeadFrame; print: aMessage selector; cr].
"record the stack pointer to avoid cutting back the stack twice in plugins that mix smart syntax and traditional style."
sp := interpreterProxy getStackPointer.
selector := signature first.
parameters := signature second.
signature third "receiver block" value: (interpreterProxy stackValue: parameters size).
interpreterProxy failed ifTrue:
[self log: 'failed in marshalling'.
^nil].
result := [actualPlugin
perform: selector
withArguments: (parameters withIndexCollect:
[:block :index|
block value: (interpreterProxy stackValue: parameters size - index)])]
on: Notification
do: [:ex|
ex tag == #getInterpreter ifTrue: [ex resume: interpreterProxy] ifFalse:
[ex tag == #getSimulator ifTrue: [ex resume: self]
ifFalse: [ex pass]]].
interpreterProxy failed ifTrue:
[self log: 'failed in execution'.
^nil].
result == actualPlugin ifTrue:
[self log: '^self'.
"For methods in BitBltSimulator that do their own marshalling, don't double pop"
sp = interpreterProxy getStackPointer ifTrue:
[interpreterProxy pop: interpreterProxy methodArgumentCount].
^nil].
self log: [interpreterProxy coInterpreter print: '^'; shortPrintOop: result; flush].
"For methods in BitBltSimulator that do their own marshalling, don't double pop"
sp = interpreterProxy getStackPointer ifTrue:
[interpreterProxy
pop: interpreterProxy methodArgumentCount + 1
thenPush: result].
^nil "SmartSyntaxPluginPrimitives return null"
]
{ #category : #accessing }
SmartSyntaxPluginSimulator >> forMap [
^forMap
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> generateCoerceToBooleanObjectFrom: aBoolean on: ignored [
^interpreterProxy booleanObjectOf: aBoolean
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> generateCoerceToFloatObjectFrom: aNumber on: ignored [
^interpreterProxy floatObjectOf: aNumber
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> generateCoerceToSmallIntegerObjectFrom: aSmallInteger on: ignored [
^interpreterProxy integerObjectOf: aSmallInteger
]
{ #category : #initialize }
SmartSyntaxPluginSimulator >> getPrimitiveSignatureFor: s [
"Execute the primitive until the send of #primitive:parameters: or primitive:parameters:receiver:,
collect the processed signature and store it in the map"
[actualPlugin perform: s withArguments: (1 to: s numArgs) asArray]
on: Notification
do: [:ex|
(ex tag isArray
and: [ex tag first == #forMap]) ifTrue:
[^self computeSignatureFor: s from: ex tag]].
self error: 'can''t find primitive name in ', s
]
{ #category : #initialize }
SmartSyntaxPluginSimulator >> initialiseModule [
^(actualPlugin respondsTo: #initialiseModule) not
or: [actualPlugin initialiseModule]
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> isPluginClass [
"This stands in for SmartSyntaxInterpreterPlugin classes during simulation."
^true
]
{ #category : #accessing }
SmartSyntaxPluginSimulator >> isSmartSyntaxPluginSimulator [
<doNotGenerate>
^true
]
{ #category : #'simulation support' }
SmartSyntaxPluginSimulator >> log: aBlockOrString [
logging ifTrue:
[aBlockOrString isBlock
ifTrue: [aBlockOrString value]
ifFalse: [interpreterProxy coInterpreter print: aBlockOrString; cr; flush]]
]
{ #category : #accessing }
SmartSyntaxPluginSimulator >> logging [
^logging
]
{ #category : #accessing }
SmartSyntaxPluginSimulator >> logging: anObject [
logging := anObject
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> primitive: primNameString [
"If initializing, pass back the type signature. If executing, answer nil."
^self primitive: primNameString parameters: #() receiver: nil
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> primitive: primNameString parameters: argumentClassNames [
"If initializing, pass back the type signature. If executing, answer nil."
^self primitive: primNameString parameters: argumentClassNames receiver: nil
]
{ #category : #simulation }
SmartSyntaxPluginSimulator >> primitive: primNameString parameters: argumentClassNames receiver: rcvrClassSymbolOrNil [
"If initializing, pass back the type signature. If executing, answer the receiver or nil."
forMap
ifTrue:
[Notification new
tag: {#forMap. primNameString. argumentClassNames. rcvrClassSymbolOrNil};
signal]
ifFalse:
[^rcvrClassSymbolOrNil ifNotNil:
[interpreterProxy stackValue: interpreterProxy methodArgumentCount]]
]
{ #category : #'message forwarding' }
SmartSyntaxPluginSimulator >> respondsTo: aSelector [
^(signatureMap notNil and: [signatureMap includesKey: aSelector])
or: [super respondsTo: aSelector]
]
{ #category : #initialize }
SmartSyntaxPluginSimulator >> setInterpreter: anInterpreterProxy [
interpreterProxy := anInterpreterProxy.
actualPlugin setInterpreter: anInterpreterProxy.
logging ifNil: [logging := false].
self computeSignatureMap
]