summary refs log tree commit diff
path: root/TODO
blob: e144c66a995f41f85c440ed9f01819cd55610de0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
Features
- Operand classes for instructions
- Hints in register allocation
- Fixed register instructions (div, mul)
  Is this part of "operand classes"?

Instructions
- ADD SUB SDIV UDIV SREM UREM MUL LSL LSR ASL ASR
- SEXT ZEXT (we need 8, 16, 32, 64 bits)
- CMP ...
- ALLOC STORE LOAD (we need 8, 16, 32, 64 bits)
(- PTR)
- CALL BRZ JMP RET

Machine
- SREG GREG
- Register use/defs for all instructions.

Types
- Integer (32 & 64 bits)
(- Structure "{a,b,c}")
(- Pointer (to type "t"))

Questions
- Q: Should we allow constant operands?
  A:
  It looks like `Con instructions are a bad idea because
  they introduce spurious live ranges.
  This was not a huge problem, modifications s in loc and
  getreg only fixed this.  Still, it makes use larger bit
  vectors during the liveness analysis.
- Q: How to represent the IR?
  A:
  So far, a graph of basic blocks composed of quadruples
  seems to be the most convenient.
- Q: Do we need types?

Problems
- x = y op z [fixed using freeze]
  if x is spilled, y can be moved to a spill location
  to free one register for x, this is kind of stupid.
  We can probably fix this by having a better heuristic
  for spilling decisions.
- [tentative fix: 4fc98da]
  Phi defined variables with spill location do not work.
- At the end of a block we call loc on all live variables,
  if there are not enough registers, some variables get
  assigned spill locations.  We need to be able to spill
  variables that are already in register.
  NOTE: Following Braun & Hack we could do one pass
  first that determines what variables are in register
  at the end of loops.  This sounds good because
  back-edges are actually easier to detect than loop
  headers!