annotate python/irmach.py @ 275:6f2423df0675

Fixed serve arm-as
author Windel Bouwman
date Sat, 14 Sep 2013 17:29:10 +0200
parents ea93e0a7a31e
children 046017431c6a
rev   line source
261
444b9df2ed99 try to split up code generation
Windel Bouwman
parents:
diff changeset
1
269
5f8c04a8d26b Towards better modularity
Windel Bouwman
parents: 268
diff changeset
2 """
270
cdc76d183bcc first register allocator
Windel Bouwman
parents: 269
diff changeset
3 Abstract assembly language instructions.
cdc76d183bcc first register allocator
Windel Bouwman
parents: 269
diff changeset
4
cdc76d183bcc first register allocator
Windel Bouwman
parents: 269
diff changeset
5 This is the second intermediate representation.
cdc76d183bcc first register allocator
Windel Bouwman
parents: 269
diff changeset
6
cdc76d183bcc first register allocator
Windel Bouwman
parents: 269
diff changeset
7 Instructions are selected and scheduled at this stage.
269
5f8c04a8d26b Towards better modularity
Windel Bouwman
parents: 268
diff changeset
8 """
261
444b9df2ed99 try to split up code generation
Windel Bouwman
parents:
diff changeset
9
274
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
10 class Frame:
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
11 """
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
12 Activation record abstraction. This class contains a flattened
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
13 function. Instructions are selected and scheduled at this stage.
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
14 Frames differ per machine.
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
15 """
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
16 def __init__(self, name):
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
17 self.name = name
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
18 self.instructions = []
275
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
19 self.stacksize = 0
274
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
20
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
21 def __repr__(self):
275
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
22 return 'Frame {}'.format(self.name)
274
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
23
275
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
24 def makeIns(*args, **kwargs):
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
25 return AbstractInstruction(*args, **kwargs)
261
444b9df2ed99 try to split up code generation
Windel Bouwman
parents:
diff changeset
26
268
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
27 class AbstractInstruction:
274
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
28 """
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
29 Abstract machine instruction class. This is a very simple
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
30 abstraction of machine instructions.
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
31 """
268
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
32 def __init__(self, assem, src=(), dst=(), jumps=()):
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
33 self.assem = assem
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
34 self.src = tuple(src)
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
35 self.dst = tuple(dst)
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
36 self.jumps = tuple(jumps)
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
37
5ec7580976d9 Op naar tree-IR
Windel Bouwman
parents: 261
diff changeset
38 def __repr__(self):
274
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
39 s = str(self.src) if self.src else ''
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
40 d = str(self.dst) if self.dst else ''
ea93e0a7a31e Move docs
Windel Bouwman
parents: 270
diff changeset
41 l = str(self.jumps) if self.jumps else ''
275
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
42 #return self.assem + s + d + l
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
43 return self.render()
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
44
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
45 def render(self):
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
46 """
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
47 Substitutes source, dst and labels in the string
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
48 """
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
49 x = self.assem
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
50 for i, s in enumerate(self.src):
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
51 p = '%s{}'.format(i)
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
52 x = x.replace(p, str(s))
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
53 for i, d in enumerate(self.dst):
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
54 p = '%d{}'.format(i)
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
55 x = x.replace(p, str(d))
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
56 for i, j in enumerate(self.jumps):
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
57 p = '%l{}'.format(i)
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
58 x = x.replace(p, str(j))
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
59
6f2423df0675 Fixed serve arm-as
Windel Bouwman
parents: 274
diff changeset
60 return x
261
444b9df2ed99 try to split up code generation
Windel Bouwman
parents:
diff changeset
61
444b9df2ed99 try to split up code generation
Windel Bouwman
parents:
diff changeset
62