ruby.git/zjit/src/bitset.rs, branch v4.0.4 The Ruby Programming Language ZJIT: Ensure `clippy` passes and silence unnecessary warnings (#14439) 2025-09-03T21:45:54+00:00 Aiden Fox Ivey aiden.foxivey@shopify.com 2025-09-03T21:45:54+00:00 a6d397e29c61030f130f8d83e6bfe6d99ebbae91 






ZJIT: Add missing module doc comments
2025-09-03T20:18:42+00:00

Aiden Fox Ivey
aiden.foxivey@shopify.com

2025-09-03T19:41:45+00:00

8a350775aab898ea0f0fad5663b259caa840fc1f












ZJIT: Add def-use validator via dataflow analysis (#13814)
2025-07-10T19:11:54+00:00

Ken Jin
kenjin4096@gmail.com

2025-07-10T19:11:54+00:00

214983bd9be88903833558043a20ba1c2469c333

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>




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>






ZJIT: Add a BitSet type
2025-07-08T19:57:31+00:00

Max Bernstein
max@bernsteinbear.com

2025-07-08T14:55:23+00:00

e59f404bea4cacadb8cb786a79ec57b3e44eb67b