author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Mon, 17 Sep 2012 09:03:06 +0000 | |
changeset 39 | d361eb9419e6 |
parent 37 | be8c2dd09dff |
child 41 | f3898a3b378d |
permissions | -rw-r--r-- |
23
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
1 |
"{ Package: 'cvut:stx/goodies/newcompiler' }" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
2 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
3 |
IRInterpreter subclass:#IRPrinter |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
4 |
instanceVariableNames:'stream indent' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
5 |
classVariableNames:'' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
6 |
poolDictionaries:'' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
7 |
category:'NewCompiler-IR' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
8 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
9 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
10 |
IRPrinter comment:'I interpret IRMethod instructions and write them out to a print stream.' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
11 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
12 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
13 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
14 |
!IRPrinter methodsFor:'initialize'! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
15 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
16 |
indent: tabs |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
17 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
18 |
indent _ tabs |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
19 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
20 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
21 |
stream: stringWriteStream |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
22 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
23 |
stream _ stringWriteStream |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
24 |
! ! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
25 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
26 |
!IRPrinter methodsFor:'instructions'! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
27 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
28 |
blockReturnTop |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
29 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
30 |
stream nextPutAll: 'blockReturnTop'. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
31 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
32 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
33 |
goto: seqNum |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
34 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
35 |
stream nextPutAll: 'goto: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
36 |
seqNum printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
37 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
38 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
39 |
if: bool goto: seqNum1 otherwise: seqNum2 |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
40 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
41 |
stream nextPutAll: 'if: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
42 |
bool printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
43 |
stream nextPutAll: ' goto: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
44 |
seqNum1 printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
45 |
stream nextPutAll: ' else: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
46 |
seqNum2 printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
47 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
48 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
49 |
jumpOverBlock: blockSeq to: dest |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
50 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
51 |
stream nextPutAll: 'jumpOverBlock: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
52 |
stream nextPutAll: ' block '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
53 |
blockSeq printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
54 |
stream nextPutAll: ' cont: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
55 |
dest printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
56 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
57 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
58 |
label: seqNum |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
59 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
60 |
"add tab and cr since this does not get called within interpretInstruction:" |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
61 |
stream cr. "extra cr just to space out sequences" |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
62 |
indent timesRepeat: [stream tab]. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
63 |
stream nextPutAll: 'label: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
64 |
seqNum printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
65 |
stream cr. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
66 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
67 |
|
6
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
68 |
line: line |
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
69 |
|
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
70 |
stream nextPutAll: 'line: '. |
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
71 |
line printOn: stream |
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
72 |
|
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
73 |
"Created: / 02-12-2008 / 09:00:40 / Jan Vrany <vranyj1@fel.cvut.cz>" |
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
74 |
! |
49a61123c743
A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
5
diff
changeset
|
75 |
|
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
76 |
popTop |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
77 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
78 |
stream nextPutAll: 'popTop' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
79 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
80 |
|
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
81 |
pushBlock: irClosure |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
82 |
|
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
83 |
stream nextPutAll: 'pushBlock:'. |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
84 |
IRPrinter new |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
85 |
indent: indent + 1; |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
86 |
stream: stream; |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
87 |
interpret: irClosure removeEmptyStart. |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
88 |
|
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
89 |
"Modified: / 30-03-2009 / 16:51:49 / Jan Vrany <vranyj1@fel.cvut.cz>" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
90 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
91 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
92 |
pushDup |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
93 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
94 |
stream nextPutAll: 'pushDup' |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
95 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
96 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
97 |
pushLiteral: object |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
98 |
|
3
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
99 |
stream nextPutAll: 'pushLiteral: '. |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
100 |
object isVariableBinding ifTrue: [^ stream nextPutAll: object key]. |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
101 |
object printOn: stream. |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
102 |
|
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
103 |
|
3
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
104 |
((object isKindOf: BlockClosure) or: [object isKindOf: CompiledMethod]) |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
105 |
ifTrue: [ |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
106 |
IRPrinter new |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
107 |
indent: indent + 1; |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
108 |
stream: stream; |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
109 |
interpret: object method ir removeEmptyStart]. |
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
110 |
|
c9845c180bd4
Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1
diff
changeset
|
111 |
"Modified: / 03-11-2008 / 17:59:13 / Jan Vrany <vranyj1@fel.cvut.cz>" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
112 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
113 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
114 |
pushLiteralVariable: object |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
115 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
116 |
stream nextPutAll: 'pushLiteralVariable: '. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
117 |
object isVariableBinding ifTrue: [^ stream nextPutAll: object key]. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
118 |
object printOn: stream. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
119 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
120 |
|
9
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
121 |
pushTemp: index kind: kind level: level |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
122 |
|
9
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
123 |
stream |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
124 |
nextPutAll: 'push '; |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
125 |
nextPutAll: kind; |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
126 |
nextPutAll: ': '. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
127 |
index printOn: stream. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
128 |
level == 0 ifFalse: |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
129 |
[stream |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
130 |
nextPutAll:' level: '. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
131 |
level printOn: stream]. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
132 |
|
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
133 |
index = 0 ifTrue: [stream nextPutAll: ' "receiver"']. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
134 |
index = -1 ifTrue: [stream nextPutAll: ' "thisEnv"']. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
135 |
index = -2 ifTrue: [stream nextPutAll: ' "thisContext"']. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
136 |
|
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
137 |
"Created: / 30-03-2009 / 14:04:20 / Jan Vrany <vranyj1@fel.cvut.cz>" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
138 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
139 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
140 |
remoteReturn |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
141 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
142 |
stream nextPutAll: 'remoteReturn'. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
143 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
144 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
145 |
returnTop |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
146 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
147 |
stream nextPutAll: 'returnTop'. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
148 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
149 |
|
5
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
150 |
send: selector numArgs: numArgs |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
151 |
|
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
152 |
stream |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
153 |
nextPutAll: 'send: '; |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
154 |
nextPutAll: selector storeString. |
5
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
155 |
stream nextPutAll: ' numArgs: '. |
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
156 |
numArgs printOn: stream. |
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
157 |
|
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
158 |
"Created: / 01-12-2008 / 19:41:52 / Jan Vrany <vranyj1@fel.cvut.cz>" |
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
159 |
"Modified: / 30-03-2009 / 18:43:26 / Jan Vrany <vranyj1@fel.cvut.cz>" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
160 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
161 |
|
5
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
162 |
send: selector numArgs: numArgs toSuperOf: behavior |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
163 |
|
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
164 |
stream |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
165 |
nextPutAll: 'send: '; |
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
166 |
nextPutAll: selector storeString. |
5
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
167 |
stream nextPutAll: ' numArgs: '. |
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
168 |
numArgs printOn: stream. |
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
169 |
stream nextPutAll: ' toSuperOf: '. |
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
170 |
behavior printOn: stream. |
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
171 |
|
b94aea1d3710
Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
3
diff
changeset
|
172 |
"Created: / 01-12-2008 / 19:46:28 / Jan Vrany <vranyj1@fel.cvut.cz>" |
10
0fd549e0c784
First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
173 |
"Modified: / 30-03-2009 / 18:44:04 / Jan Vrany <vranyj1@fel.cvut.cz>" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
174 |
! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
175 |
|
17 | 176 |
storeIntoLiteralVariable: name |
177 |
stream |
|
178 |
nextPutAll: 'storeLiteralVariable: '; |
|
179 |
nextPutAll: name |
|
180 |
||
181 |
"Created: / 11-05-2009 / 22:39:23 / Jan Vrany <vranyj1@fel.cvut.cz>" |
|
182 |
! |
|
183 |
||
9
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
184 |
storeTemp: index kind: kind level: level |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
185 |
|
9
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
186 |
stream |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
187 |
nextPutAll: 'store '; |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
188 |
nextPutAll: kind; |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
189 |
nextPutAll: ': '. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
190 |
index printOn: stream. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
191 |
level == 0 ifFalse: |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
192 |
[stream |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
193 |
nextPutAll:' level: '. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
194 |
level printOn: stream]. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
195 |
|
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
196 |
index = -1 ifTrue: [stream nextPutAll: ' "thisEnv"']. |
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
197 |
|
04518c7fb91c
Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
198 |
"Created: / 30-03-2009 / 14:05:10 / Jan Vrany <vranyj1@fel.cvut.cz>" |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
199 |
! ! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
200 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
201 |
!IRPrinter methodsFor:'interpret'! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
202 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
203 |
interpretInstruction: irInstruction |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
204 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
205 |
indent timesRepeat: [stream tab]. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
206 |
super interpretInstruction: irInstruction. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
207 |
stream cr. |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
208 |
! ! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
209 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
210 |
!IRPrinter class methodsFor:'documentation'! |
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
211 |
|
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
212 |
version |
37 | 213 |
^ '$Id$' |
23
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
214 |
! |
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
215 |
|
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
216 |
version_CVS |
37 | 217 |
^ '§Header: /cvs/stx/cvut/stx/goodies/newcompiler/IRPrinter.st,v 1.3 2009/10/08 12:00:24 fm Exp §' |
23
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
218 |
! |
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
219 |
|
377bc46cad12
Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
17
diff
changeset
|
220 |
version_SVN |
37 | 221 |
^ '$Id:: $' |
1
0dd36941955f
Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
222 |
! ! |