annotate python/ir/instruction.py @ 222:c3f1ce8b638f

Fixup of parser
author Windel Bouwman
date Tue, 09 Jul 2013 17:36:31 +0200
parents 848c4b15fd0b
children 88a1e0baef65
rev   line source
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
1 from .basicblock import BasicBlock
175
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
2 from .function import Function
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
3
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
4
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
5 class Value:
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
6 """ Temporary SSA value (value that is assigned only once! """
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
7 def __init__(self, name):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
8 # TODO: add typing? for now only handle integers
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
9 self.name = name
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
10 self.used_by = []
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
11 def __repr__(self):
176
5fd02aa38b42 Added while loop code generation
Windel Bouwman
parents: 175
diff changeset
12 return '{0}'.format(self.name) # + str(self.IsUsed)
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
13 @property
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
14 def IsUsed(self):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
15 return len(self.used_by) > 0
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
16
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
17 class Variable(Value):
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
18 pass
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
19
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
20 class Use:
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
21 def __init__(self, user, val):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
22 self.user = user
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
23 assert isinstance(val, Value)
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
24 self.val = val
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
25 self.val.used_by.append(self.user)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
26 def delete(self):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
27 self.val.used_by.remove(self.user)
110
9e552d34bd60 Work on compiler
Windel Bouwman
parents: 104
diff changeset
28
155
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 147
diff changeset
29 class Instruction:
104
ed230e947dc6 Added hexviewer
windel
parents: 99
diff changeset
30 """ Base class for all instructions. """
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
31 def __init__(self):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
32 # live variables at this node:
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
33 self.live_in = set()
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
34 self.live_out = set()
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
35 # What variables this instruction uses and defines:
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
36 self.defs = []
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
37 self.uses = []
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
38 def delete(self):
209
07bfea4c1ed7 Added codegen test
Windel Bouwman
parents: 205
diff changeset
39 while self.uses:
07bfea4c1ed7 Added codegen test
Windel Bouwman
parents: 205
diff changeset
40 use = self.uses.pop()
07bfea4c1ed7 Added codegen test
Windel Bouwman
parents: 205
diff changeset
41 use.delete()
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
42 def addUse(self, val):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
43 self.uses.append(Use(self, val))
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
44 def addDef(self, v):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
45 self.defs.append(v)
173
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
46 def getParent(self):
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
47 return self.parent
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
48 def setParent(self, p):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
49 self.parent = p
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
50 Parent = property(getParent, setParent)
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
51
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
52 class Terminator(Instruction):
173
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
53 @property
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
54 def Targets(self):
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
55 return self.getTargets()
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
56 def changeTarget(self, tfrom, tto):
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
57 pass
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
58
158
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
59 # Function calling:
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
60 class Call(Instruction):
175
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
61 def __init__(self, callee, arguments, result=None):
110
9e552d34bd60 Work on compiler
Windel Bouwman
parents: 104
diff changeset
62 super().__init__()
9e552d34bd60 Work on compiler
Windel Bouwman
parents: 104
diff changeset
63 self.callee = callee
175
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
64 assert type(callee) is Function
110
9e552d34bd60 Work on compiler
Windel Bouwman
parents: 104
diff changeset
65 self.arguments = arguments
175
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
66 for arg in arguments:
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
67 assert type(arg) is Value
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
68 self.addUse(arg)
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
69 self.result = result
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
70 if result:
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
71 assert type(result) is Value
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
72 self.addDef(result)
158
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
73 def __repr__(self):
175
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
74 if self.result:
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
75 pfx = '{0} = '.format(self.result)
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
76 else:
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
77 pfx = ''
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
78 args = ','.join([str(arg) for arg in self.arguments])
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
79 return pfx + '{0}({1})'.format(self.callee.name, args)
110
9e552d34bd60 Work on compiler
Windel Bouwman
parents: 104
diff changeset
80
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
81 class Return(Terminator):
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
82 def __init__(self, value=None):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
83 super().__init__()
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
84 self.value = value
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
85 if value:
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
86 self.addUse(value)
158
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
87 def __repr__(self):
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
88 if self.value:
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
89 return 'Return {0}'.format(self.value)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
90 else:
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
91 return 'Return'
173
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
92 def getTargets(self):
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
93 return []
70
35286e8abd03 Added some llvm classes
windel
parents:
diff changeset
94
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
95 class Alloc(Instruction):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
96 """ Allocates space on the stack """
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
97 def __init__(self, value):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
98 super().__init__()
222
c3f1ce8b638f Fixup of parser
Windel Bouwman
parents: 221
diff changeset
99 assert isinstance(value, Value)
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
100 self.value = value
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
101 self.addDef(value)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
102 def __repr__(self):
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
103 return '{0} = alloc'.format(self.value)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
104
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
105 class ImmLoad(Instruction):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
106 def __init__(self, target, value):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
107 super().__init__()
204
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 177
diff changeset
108 assert type(target) is Value
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
109 self.target = target
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
110 self.value = value
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
111 self.addDef(target)
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
112 def __repr__(self):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
113 return '{0} = {1}'.format(self.target, self.value)
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
114
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
115 # Data operations
70
35286e8abd03 Added some llvm classes
windel
parents:
diff changeset
116 class BinaryOperator(Instruction):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
117 def __init__(self, result, operation, value1, value2):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
118 super().__init__()
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
119 #print('operation is in binops:', operation in BinOps)
104
ed230e947dc6 Added hexviewer
windel
parents: 99
diff changeset
120 # Check types of the two operands:
204
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 177
diff changeset
121 assert type(value1) is Value
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 177
diff changeset
122 assert type(value2) is Value
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
123 self.result = result
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
124 self.addDef(result)
104
ed230e947dc6 Added hexviewer
windel
parents: 99
diff changeset
125 self.value1 = value1
ed230e947dc6 Added hexviewer
windel
parents: 99
diff changeset
126 self.value2 = value2
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
127 self.addUse(value1)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
128 self.addUse(value2)
104
ed230e947dc6 Added hexviewer
windel
parents: 99
diff changeset
129 self.operation = operation
158
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
130 def __repr__(self):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
131 return '{0} = {2} {1} {3}'.format(self.result, self.operation, self.value1, self.value2)
70
35286e8abd03 Added some llvm classes
windel
parents:
diff changeset
132
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
133 # Memory functions:
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
134 class Load(Instruction):
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
135 def __init__(self, location, value):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
136 super().__init__()
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
137 assert type(value) is Value
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
138 assert isinstance(location, Value), "Location must be a value"
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
139 self.value = value
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
140 self.addDef(value)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
141 self.location = location
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
142 self.addUse(self.location)
158
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
143 def __repr__(self):
221
848c4b15fd0b pointers
Windel Bouwman
parents: 219
diff changeset
144 return '{} <= [{}]'.format(self.value, self.location)
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
145
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
146 class Store(Instruction):
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
147 def __init__(self, location, value):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
148 super().__init__()
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
149 assert type(value) is Value
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
150 assert isinstance(location, Value), "Location must be a value"
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
151 self.location = location
160
10330be89bc2 Started from scratch with code edit
Windel Bouwman
parents: 158
diff changeset
152 self.value = value
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
153 self.addUse(value)
175
a51b3c956386 Added function call in expressions
Windel Bouwman
parents: 174
diff changeset
154 self.addUse(location)
160
10330be89bc2 Started from scratch with code edit
Windel Bouwman
parents: 158
diff changeset
155 def __repr__(self):
221
848c4b15fd0b pointers
Windel Bouwman
parents: 219
diff changeset
156 return '[{}] <= {}'.format(self.location, self.value)
160
10330be89bc2 Started from scratch with code edit
Windel Bouwman
parents: 158
diff changeset
157
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
158 # Branching:
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
159 class Branch(Terminator):
219
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
160 def __init__(self, target):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
161 super().__init__()
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
162 assert type(target) is BasicBlock
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
163 self.target = target
219
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
164 def __repr__(self):
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
165 return 'BRANCH {0}'.format(self.target)
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
166 def getTargets(self):
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
167 return [self.target]
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
168 def changeTarget(self, tfrom, tto):
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
169 assert tfrom is self.target
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
170 self.target = tto
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
171
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
172 class ConditionalBranch(Terminator):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
173 def __init__(self, a, cond, b, lab1, lab2):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
174 super().__init__()
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
175 self.a = a
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
176 assert type(a) is Value
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
177 self.cond = cond
221
848c4b15fd0b pointers
Windel Bouwman
parents: 219
diff changeset
178 assert cond in ['==', '<', '>']
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
179 self.b = b
174
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
180 self.addUse(a)
3eb06f5fb987 Added memory alloc for locals
Windel Bouwman
parents: 173
diff changeset
181 self.addUse(b)
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
182 assert type(b) is Value
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
183 assert type(lab1) is BasicBlock
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
184 self.lab1 = lab1
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
185 assert type(lab2) is BasicBlock
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
186 self.lab2 = lab2
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
187 def __repr__(self):
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
188 return 'IF {0} {1} {2} THEN {3} ELSE {4}'.format(self.a, self.cond, self.b, self.lab1, self.lab2)
173
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
189 def getTargets(self):
c1d2b6b9f9a7 Rework into passes
Windel Bouwman
parents: 171
diff changeset
190 return [self.lab1, self.lab2]
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
191 def changeTarget(self, tfrom, tto):
219
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
192 assert tfrom is self.lab1 or tfrom is self.lab2
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
193 if tfrom is self.lab1:
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
194 self.lab1 = tto
219
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 209
diff changeset
195 elif tfrom is self.lab2:
177
460db5669efa Added clean pass for IR
Windel Bouwman
parents: 176
diff changeset
196 self.lab2 = tto
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 160
diff changeset
197
171
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
198 class PhiNode(Instruction):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
199 def __init__(self):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
200 super().__init__()
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
201 self.incBB = []
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
202 def addIncoming(self, bb):
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
203 self.incBB.append(bb)
3eb9b9e2958d Improved IR code
Windel Bouwman
parents: 170
diff changeset
204