|
211
|
1 import ir
|
|
|
2 from asmnodes import ALabel
|
|
218
|
3 import cortexm3 as arm
|
|
211
|
4 from ppci import CompilerError
|
|
|
5
|
|
|
6 class ArmCodeGenerator:
|
|
219
|
7 """
|
|
|
8 Simple code generator
|
|
|
9 Ad hoc implementation
|
|
|
10 """
|
|
211
|
11 def __init__(self, out):
|
|
|
12 self.outs = out
|
|
|
13
|
|
|
14 def emit(self, item):
|
|
|
15 self.outs.emit(item)
|
|
|
16
|
|
|
17 def generate(self, ircode):
|
|
|
18 assert isinstance(ircode, ir.Module)
|
|
|
19 print('ARM code generation')
|
|
|
20 self.outs.selectSection('data')
|
|
|
21
|
|
|
22 for gvar in ircode.Variables:
|
|
|
23 self.emit(ALabel(gvar.name))
|
|
|
24 # TODO: use initial value:
|
|
|
25 self.emit(arm.dcd_ins(0))
|
|
|
26
|
|
219
|
27 self.imms = [] # list with immediates relative to PC.
|
|
211
|
28 self.outs.selectSection('code')
|
|
|
29 for f in ircode.Functions:
|
|
219
|
30 # Add global variable addresses to immediate list:
|
|
|
31 for gvar in ircode.Variables:
|
|
|
32 pass #self.imms.append((
|
|
|
33
|
|
|
34 self.stack_frame = []
|
|
211
|
35 self.emit(ALabel(f.name))
|
|
218
|
36 # Save some registers:
|
|
|
37 self.emit(arm.push_ins(arm.RegisterSet({arm.r4, arm.r5, arm.r6,arm.r7,arm.lr})))
|
|
211
|
38 for bb in f.BasicBlocks:
|
|
|
39 self.emit(ALabel(bb.name))
|
|
|
40 for ins in bb.Instructions:
|
|
|
41 self.generateInstruction(ins)
|
|
|
42
|
|
219
|
43 self.outs.align(4)
|
|
|
44 while self.imms:
|
|
|
45 l, v = self.imms.pop()
|
|
|
46 self.emit(ALabel(l))
|
|
|
47 self.emit(arm.dcd_ins(v))
|
|
|
48 self.outs.align(4)
|
|
|
49
|
|
|
50 def getStack(self, v):
|
|
|
51 off = self.stack_frame.index(v)
|
|
|
52 return off * 4
|
|
|
53 def addStack(self, v):
|
|
|
54 self.stack_frame.append(v)
|
|
|
55 return self.getStack(v)
|
|
|
56 def getGlobal(self, r, g):
|
|
|
57 _global_address = g.name + '__global'
|
|
|
58 self.emit(arm.ldr_pcrel(r, ALabel(_global_address)))
|
|
|
59
|
|
211
|
60 def generateInstruction(self, ins):
|
|
|
61 if type(ins) is ir.Branch:
|
|
219
|
62 tgt = ALabel(ins.target.name)
|
|
|
63 self.emit(arm.jmp_ins(tgt))
|
|
|
64 elif type(ins) is ir.ImmLoad:
|
|
|
65 lname = ins.target.name + '_ivalue'
|
|
|
66 self.emit(arm.ldr_pcrel(arm.r0, ALabel(lname)))
|
|
|
67 self.imms.append((lname, ins.value))
|
|
|
68 self.emit(arm.str_sprel(arm.r0, self.addStack(ins.target)))
|
|
211
|
69 elif type(ins) is ir.Store:
|
|
219
|
70 # Load value in r0:
|
|
|
71 self.emit(arm.ldr_sprel(arm.r0, self.getStack(ins.value)))
|
|
|
72 # store in memory:
|
|
|
73 self.getGlobal(arm.r1, ins.location)
|
|
|
74 self.emit(arm.storeimm5_ins(arm.r0, arm.MemoryOp(arm.r1, 0)))
|
|
211
|
75 elif type(ins) is ir.Load:
|
|
219
|
76 self.getGlobal(arm.r0, ins.location)
|
|
|
77 self.emit(arm.loadimm5_ins(arm.r0, arm.MemoryOp(arm.r0, 0)))
|
|
|
78 # Store value on stack:
|
|
|
79 self.emit(arm.str_sprel(arm.r0, self.addStack(ins.value)))
|
|
211
|
80 elif type(ins) is ir.BinaryOperator:
|
|
219
|
81 # Load operands:
|
|
|
82 self.emit(arm.ldr_sprel(arm.r0, self.getStack(ins.value1)))
|
|
|
83 self.emit(arm.ldr_sprel(arm.r1, self.getStack(ins.value2)))
|
|
|
84 # do operation:
|
|
|
85 if ins.operation == '+':
|
|
|
86 self.emit(arm.addregs_ins(arm.r0, arm.r0, arm.r1))
|
|
|
87 else:
|
|
|
88 print('operation not implemented', ins.operation)
|
|
|
89 # Store value back:
|
|
|
90 self.emit(arm.str_sprel(arm.r0, self.addStack(ins.result)))
|
|
|
91 elif type(ins) is ir.Return:
|
|
|
92 self.emit(arm.pop_ins(arm.RegisterSet({arm.r4, arm.r5, arm.r6, arm.r7, arm.pc})))
|
|
212
|
93 elif type(ins) is ir.ConditionalBranch:
|
|
219
|
94 self.emit(arm.ldr_sprel(arm.r0, self.getStack(ins.a)))
|
|
|
95 self.emit(arm.ldr_sprel(arm.r1, self.getStack(ins.b)))
|
|
218
|
96 self.emit(arm.cmp_ins(arm.r1, arm.r0))
|
|
219
|
97 tgt_yes = ALabel(ins.lab1.name)
|
|
|
98 if ins.cond == '==':
|
|
|
99 self.emit(arm.beq_ins(tgt_yes))
|
|
|
100 else:
|
|
|
101 print('TODO', ins.cond)
|
|
|
102 tgt_no = ALabel(ins.lab2.name)
|
|
|
103 self.emit(arm.jmp_ins(tgt_no))
|
|
211
|
104 else:
|
|
|
105 raise CompilerError('IR "{}" not covered'.format(ins))
|
|
|
106
|
|
|
107
|
