Optimizer pass reference

This page is generated from the live vyre-foundation optimizer registry by cargo_full run --bin xtask -- optimization-docs. Edit pass registration metadata, not this page.

The optimizer has one semantic layer before verified lowering. Concrete target strategy is not registered in this catalog.

id	kind	owner	phase	boundary	requires	invalidates	capabilities	ABI	invariant	termination	proof	benchmark
atomic_minimize	executable pass	vyre-foundation-optimizer	Sync	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.sync
autotune	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
barrier_coalesce	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
branch_coalesce	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
branch_value_hoist	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
buffer_decl_sort	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
canonicalize	executable pass	vyre-foundation-optimizer	Canonicalization	AbiPreserving	none	fusion	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
const_fold	executable pass	vyre-foundation-optimizer	ScalarAlgebra	AbiPreserving	none	value_numbering	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
cse	executable pass	vyre-foundation-optimizer	FusionCse	AbiPreserving	canonicalize	fusion	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
dce	executable pass	vyre-foundation-optimizer	FusionCse	AbiPreserving	none	region_inline	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
dead_store_elim	executable pass	vyre-foundation-optimizer	Memory	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.memory
decode_scan_fuse	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	buffer_layout fusion	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
empty_block_collapse	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
fusion	executable pass	vyre-foundation-optimizer	FusionCse	AbiPreserving	none	region_inline canonicalize const_fold cse dce	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
dead_buffer_elim	executable pass	vyre-foundation-optimizer	Memory	AbiChanging	fusion	buffer_layout	none	true	requires explicit caller opt-in before changing public buffer ABI	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.memory
if_constant_branch_eliminate	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	const_fold	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
loop_bound_tighten	executable pass	vyre-foundation-optimizer	Loop	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.loop
loop_fission	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
loop_fusion	executable pass	vyre-foundation-optimizer	Loop	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.loop
loop_licm	executable pass	vyre-foundation-optimizer	Loop	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.loop
loop_lower_bound_normalize	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	const_fold	loop_unroll loop_strip_mine	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
loop_peel	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	const_fold	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
loop_redundant_bound_check_elide	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
loop_software_pipeline	executable pass	vyre-foundation-optimizer	Loop	AbiPreserving	const_fold	loop_unroll loop_strip_mine	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.loop
loop_strip_mine	executable pass	vyre-foundation-optimizer	Loop	AbiPreserving	const_fold	loop_unroll vectorization	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.loop
loop_trip_zero_eliminate	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	const_fold	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
loop_unroll	executable pass	vyre-foundation-optimizer	Loop	AbiPreserving	const_fold	const_fold value_numbering fusion	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.loop
loop_var_range_fold	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	const_fold	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
noop_assign_eliminate	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
normalize_atomics	executable pass	vyre-foundation-optimizer	Sync	AbiPreserving	none	fusion	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.sync
reaching_def_propagate	executable pass	vyre-foundation-optimizer	ScalarAlgebra	AbiPreserving	const_fold	const_fold cse dce	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
read_only_load_hoist	executable pass	vyre-foundation-optimizer	Memory	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.memory
region_fusion_hint	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
region_inline	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	none	cse dce	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
region_promote_singleton_block	executable pass	vyre-foundation-optimizer	Unclassified	Unknown	none	none	none	true	must not enter release/profile pipelines until classified	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.classification-gap
rematerialize_cheap_let	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	none	region_inline canonicalize const_fold cse dce	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
store_to_load_forward	executable pass	vyre-foundation-optimizer	Memory	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.memory
strength_reduce	executable pass	vyre-foundation-optimizer	ScalarAlgebra	AbiPreserving	const_fold	const_fold reaching_def_propagate value_numbering	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.scalar
tail_duplication	executable pass	vyre-foundation-optimizer	Cleanup	AbiPreserving	none	none	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.fusion
vectorization	executable pass	vyre-foundation-optimizer	Memory	AbiPreserving	none	buffer_layout	none	true	preserves public buffer ABI and externally visible program semantics	bounded by the scheduler restart and iteration budgets	optimizer::pass_invariants::audit_registered_passes	foundation.optimizer.memory
const_fold.unary.logical_not_involution	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.negate_involution	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.reverse_bits_involution	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.bitnot_involution	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.negate_sub_flip	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.abs_neg	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.abs_idempotent	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.floor_idempotent	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.ceil_idempotent	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.round_idempotent	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.trunc_idempotent	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.sign_idempotent	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.floor_trunc_subsumption	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.ceil_trunc_subsumption	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.round_trunc_subsumption	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.inverse_sqrt_one	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.reciprocal_one	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.sqrt_one	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.sqrt_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.sin_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.cos_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.tan_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.exp_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.exp2_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.log_one	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.log2_one	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.asin_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.acos_one	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.atan_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.tanh_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.sinh_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.cosh_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.popcount_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.clz_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.ctz_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.reverse_bits_zero	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.popcount_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.clz_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.ctz_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.reverse_bits_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.bitnot_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.negate_i32_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.abs_u32_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.unary.abs_i32_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.bool_true	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.bool_false	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.u32_zero_false	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.u32_nonzero_true	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.identical_branches	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.logical_not_swap	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.bool_to_u32_cast	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.inverted_bool_to_u32_cast	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.true_branch_select_fusion	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.select.false_branch_select_fusion	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.fma.literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.fma.left_identity_multiplier	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.fma.right_identity_multiplier	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.fma.left_zero_multiplier	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.fma.right_zero_multiplier	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.add_fma_left	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.add_fma_right	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.sub_fma_left	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.sub_fma_right	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.add_zero_left	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.add_zero_right	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.sub_self	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.sub_zero_right	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.add_reassociate_right_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.add_reassociate_left_literal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.distribute_add_u32	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.distribute_add_i32	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.distribute_sub_u32	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
const_fold.binop.distribute_sub_i32	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.horner_polynomial_int	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.shift_add_decompose_plus	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.shift_add_decompose_minus	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.naf_shift_add_chain	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.mul_power_of_two_shift	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.mul_negative_const_negate	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.div_power_of_two_shift	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.float_div_reciprocal	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.self_inverse_select	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.shift_negation_fma	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
strength_reduce.complement_bounds	supplemental rule	vyre-foundation-rules	ScalarAlgebra	AbiPreserving	none	none	none	true	preserves scalar expression value while reducing redundant GPU work	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.scalar.rules
loop.trip_zero_eliminate	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.lower_bound_normalize	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.bound_tighten	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.var_range_fold	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.peel	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.unroll	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.strip_mine	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.fission	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.fusion	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.licm	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.software_pipeline	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
loop.redundant_bound_check_elide	supplemental rule	vyre-foundation-rules	Loop	AbiPreserving	none	none	none	true	preserves loop iteration semantics while reducing loop or index overhead	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.loop.rules
memory.const_buffer_fold	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
memory.dead_buffer_elim	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
memory.dead_store_elim	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
memory.decode_scan_fuse	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
memory.read_only_load_hoist	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
memory.store_to_load_forward	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
memory.vectorization	supplemental rule	vyre-foundation-rules	Memory	AbiPreserving	none	none	none	true	preserves memory-visible behavior while reducing traffic or redundant storage	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.memory.rules
fusion.cse.structural_expr_dedup	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
fusion.dce.dead_let_eliminate	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
fusion.dce.unreachable_eliminate	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
fusion.dce.const_loop_empty	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
fusion.dce.const_truth	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
fusion.region_fusion_hint	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
fusion.cross_rule_cse	supplemental rule	vyre-foundation-rules	FusionCse	AbiPreserving	none	none	none	true	preserves visible effects while eliminating duplicate computation or launches	bounded by its owning executable pass	owning pass differential and invariant fixtures	foundation.optimizer.fusion.rules
dataflow.layout_normalization	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.frontier_density_switch	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.sparse_frontier_expand	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.dense_bitset_propagate	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.bitset_compression	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.fixed_point_buffer_reuse	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.resident_csr_reuse	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.multi_query_batch	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.lattice_join_idempotence_skip	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
dataflow.delta_frontier_prune	supplemental rule	dataflow-rules	Dataflow	DomainSpecific	none	none	none	true	preserves dataflow fixed-point semantics while reducing frontier or lattice work	bounded by its owning executable pass	owning pass differential and invariant fixtures	dataflow.optimizer.rules
megakernel.allocation_reuse	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.launch_fusion	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.readback_minimization	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.queue_no_conflict_fast_path	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.frontier_density_worker_shed	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.device_side_convergence	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.plan_cache_reuse	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.barrier_wave_grouping	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.zero_copy_result_compaction	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules
megakernel.resident_graph_reuse	supplemental rule	vyre-runtime-rules	Megakernel	RuntimeAware	none	none	none	true	preserves resident megakernel execution semantics while reducing launches, readback, or queue work	bounded by its owning executable pass	owning pass differential and invariant fixtures	vyre.megakernel.optimizer.rules