lcfOS: python/ppci/target/instructionselector.py comparison

Moved target directory

author	Windel Bouwman
date	Sat, 01 Mar 2014 15:40:31 +0100
parents	python/target/instructionselector.py@d1ecc493384e
children	3bb7dcfe5529

comparison

equal deleted inserted replaced

-:4d204f6f7d4e
+:86b02c98a717
+from ppci import ir
+from ppci import irmach
+from ppci.irmach import AbstractInstruction as makeIns
+from .basetarget import Label
+def genTemps():
+n = 900
+while True:
+yield ir.Temp('t{}'.format(n))
+n = n + 1
+class InstructionSelector:
+"""
+Base instruction selector. This class must be overridden by
+backends.
+"""
+def __init__(self):
+self.temps = genTemps()
+def newTmp(self):
+return self.temps.__next__()
+def munchFunction(self, f, frame):
+# Entry point for instruction selection
+assert isinstance(f, ir.Function)
+self.targets = {}
+# Enter a frame per function:
+self.frame = frame
+# First define labels:
+for bb in f.Blocks:
+itgt = makeIns(Label(ir.label_name(bb)))
+self.targets[bb] = itgt
+# Generate code for all blocks:
+for bb in f.Blocks:
+self.emit2(self.targets[bb])
+for i in bb.Instructions:
+self.munchStm(i)
+self.munchStm(ir.Move(self.frame.rv, f.return_value))
+def move(self, dst, src):
+raise NotImplementedError('Not target implemented')
+def emit(self, *args, **kwargs):
+""" Abstract instruction emitter """
+i = makeIns(*args, **kwargs)
+return self.emit2(i)
+def emit2(self, i):
+self.frame.instructions.append(i)
+return i
+def munchStm(self, s):
+""" Implement this in the target specific back-end """
+raise NotImplementedError()
+def munchExpr(self, e):
+""" Implement this in the target specific back-end """
+raise NotImplementedError()

Mercurial > lcfOS