mirror of
https://github.com/danog/ir.git
synced 2024-12-11 16:59:46 +01:00
40 lines
1.6 KiB
Plaintext
40 lines
1.6 KiB
Plaintext
? BSTART, BEND nodes (to free data allocated by ALLOCA) (now it's possible to do this through AFREE)
|
|
- Full support for function prototypes ???
|
|
(now we may only set "fastcall" calling convention for constants or for variables through BITCAST)
|
|
|
|
- VLOAD, VSTORE -> SSA
|
|
|
|
? reassociation folding rules
|
|
- folding engine improvement (one rule for few patterns)
|
|
|
|
- irreducable loops detection/support
|
|
|
|
- Extend SCCP to support range inference and PI node
|
|
- See "Eliminating Range Checks using SSA Form" John Gough, Herbert Klaeren
|
|
- PI nodes may be defined as %dst = BOUND_LOW/HIGH(%ctrl, %src, %low/high_bound)
|
|
- PI nodes may be inserted after IF and GUARD
|
|
- PI should not be lifted to BB with PHIs
|
|
|
|
? instruction selection
|
|
- btsl=INCL, btrl=EXCL, btl=IN, bsr
|
|
- MOVZX to avoid a SHIFT and AND instruction
|
|
- BURS ???
|
|
|
|
? register allocation
|
|
- optimisation of spill code placement (BB local or through resolution)
|
|
- separate INT and FP allocation phases (for performance)
|
|
- Try to avoid live-interval construction, see "Efficient Global Register Allocation" Ian Rogers
|
|
|
|
? code generation
|
|
- VA_START, VA_END, VA_COPY, VA_ARG nodes
|
|
- COND optimization
|
|
- TAILCALL with stack arguments (tests/x86/tailcall_001.itr)
|
|
- 32-bit x86 back-end 64-bit integers support
|
|
(add_009.irt, conv_001.irt, conv_002.irt, conv_004.irt, conv_010.irt, sub_009.irt)
|
|
- binary code emission without DynAsm ???
|
|
|
|
? modules (functions, data objecs, import, export, prototypes, forward declarations, memory segments, ref data, expr data)
|
|
- C front-end
|
|
- interpreter
|
|
- alias analyzes
|