|
322
|
1 from tree import Tree
|
|
|
2 from . import ir
|
|
|
3
|
|
323
|
4 """ Create a tree from ir code. """
|
|
|
5
|
|
322
|
6 f_map = {} # Mapping from types to tree creation functions
|
|
|
7
|
|
|
8 def register(tp):
|
|
|
9 """ Register a function for type tp """
|
|
|
10 def reg_f(f):
|
|
|
11 f_map[tp] = f
|
|
|
12 return f
|
|
|
13 return reg_f
|
|
|
14
|
|
|
15 @register(ir.Binop)
|
|
394
|
16 @register(ir.Add)
|
|
322
|
17 def binop_to_tree(e):
|
|
|
18 names = {'+':'ADDI32', '-':'SUBI32', '|':'ORI32', '<<':'SHLI32',
|
|
356
|
19 '*':'MULI32', '&':'ANDI32', '>>':'SHRI32'}
|
|
322
|
20 op = names[e.operation]
|
|
397
|
21 assert e.ty == ir.i32
|
|
322
|
22 return Tree(op, makeTree(e.a), makeTree(e.b))
|
|
|
23
|
|
|
24 @register(ir.Temp)
|
|
|
25 def temp_to_tree(e):
|
|
|
26 t = Tree('REGI32')
|
|
|
27 t.value = e
|
|
|
28 return t
|
|
|
29
|
|
364
|
30 @register(ir.GlobalVariable)
|
|
|
31 def global_address_to_tree(e):
|
|
|
32 t = Tree('GLOBALADDRESS')
|
|
|
33 t.value = ir.label_name(e)
|
|
|
34 return t
|
|
|
35
|
|
322
|
36 @register(ir.Const)
|
|
|
37 def const_to_tree(e):
|
|
354
|
38 if type(e.value) is bytes:
|
|
|
39 t = Tree('CONSTDATA')
|
|
|
40 t.value = e.value
|
|
|
41 return t
|
|
|
42 elif type(e.value) is int:
|
|
|
43 t = Tree('CONSTI32')
|
|
|
44 t.value = e.value
|
|
|
45 return t
|
|
|
46 else:
|
|
|
47 raise Exception('{} not implemented'.format(type(e.value)))
|
|
322
|
48
|
|
|
49 @register(ir.Mem)
|
|
|
50 def mem_to_tree(e):
|
|
|
51 return Tree('MEMI32', makeTree(e.e))
|
|
|
52
|
|
354
|
53 @register(ir.Addr)
|
|
|
54 def mem_to_tree(e):
|
|
|
55 return Tree('ADR', makeTree(e.e))
|
|
|
56
|
|
322
|
57 @register(ir.Call)
|
|
|
58 def call_to_tree(e):
|
|
323
|
59 t = Tree('CALL')
|
|
|
60 t.value = e
|
|
|
61 return t
|
|
322
|
62
|
|
|
63 def makeTree(ir_node):
|
|
|
64 """ Transform an ir node into a tree usable for matching """
|
|
|
65 return f_map[type(ir_node)](ir_node)
|
