Update tasks

This commit is contained in:
Dmitry Stogov 2023-04-14 10:45:56 +03:00
parent ac7f9a3a02
commit 204251a83c

11
TODO
View File

@ -11,9 +11,13 @@
- irreducable loops detection/support - irreducable loops detection/support
- Extend SCCP to support range inference and PI node - 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 ? instruction selection
- xor, btsl=INCL, btrl=EXCL, btl=IN, bsr - btsl=INCL, btrl=EXCL, btl=IN, bsr
- MOVZX to avoid a SHIFT and AND instruction - MOVZX to avoid a SHIFT and AND instruction
- BURS ??? - BURS ???
@ -22,9 +26,8 @@
tests/x86/ra_015.irt, tests/x86/combo_004.irt tests/x86/min_005.ir, tests/x86/min_006.irt, tests/x86/abs_001.irt) tests/x86/ra_015.irt, tests/x86/combo_004.irt tests/x86/min_005.ir, tests/x86/min_006.irt, tests/x86/abs_001.irt)
- optimisation of spill code placement (BB local or through resolution) - optimisation of spill code placement (BB local or through resolution)
- separate INT and FP allocation phases (for performance) - separate INT and FP allocation phases (for performance)
- respect multi-ENTRY code (Zend/tests/bug72598.phpt)
- proper live ranges for complex codegen rules (Zend/tests/match/042.phpt [jit=1254/ZTS/32])
- tests/x86/ra_007.irt loads one of the parameters too early that leads to the following useless move - tests/x86/ra_007.irt loads one of the parameters too early that leads to the following useless move
- Try to avoid live-interval construction, see "Efficient Global Register Allocation" Ian Rogers
? code generation ? code generation
- COND - COND
@ -37,5 +40,3 @@
- C front-end - C front-end
- interpreter - interpreter
- alias analyzes - alias analyzes
- PHP support