diff options
| author | Ken Jin <kenjin4096@gmail.com> | 2025-07-11 03:11:54 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-10 19:11:54 +0000 |
| commit | 214983bd9be88903833558043a20ba1c2469c333 (patch) | |
| tree | 44e75e5d3ac6c1f569fddf9b6c870aab9d0bae70 /include/ruby/internal | |
| parent | 9ab80a7455c2d661446f946b25d7c25176fcd72f (diff) | |
ZJIT: Add def-use validator via dataflow analysis (#13814)
This PR adds a validator based on dataflow analysis to ZJIT. It checks that all uses are dominated by a GEN-DEF prior.
See issue https://github.com/Shopify/ruby/issues/591
This is especially useful in validating optimizations don't zap away instructions that are actually needed, e.g. DCE.
Also included: a slight refactor of the DCE code to its own function, so I can reuse it.
Note: the algorithm uses the worklist algorithm rather than the iterative version for faster convergence.
Co-Authored-By: Max Bernstein <ruby@bernsteinbear.com>
Diffstat (limited to 'include/ruby/internal')
0 files changed, 0 insertions, 0 deletions