Module reduce 

Rewrite-rule-driven simplification of MirScalarExpr.

reduce repeatedly applies a fixed set of local rewrite rules to an expression until reaching a fixed point. The per-variant rules live in sibling modules (unary, binary, variadic, if_then); this file owns the fixed-point loop and the pre/post-pass dispatch.

Behavioral parity with the prior imperative implementation is a goal: rule order and the pre-/post-pass split are preserved.

Modules

binary 🔒

Post-order rewrites for CallBinary nodes.

if_then 🔒

Post-order rewrites for If nodes.

unary 🔒

Post-order rewrites for CallUnary nodes.

variadic 🔒

Post-order rewrites for CallVariadic nodes.

Functions

reduce

Reduce expr to a simpler equivalent form by repeatedly applying local rewrite rules until reaching a fixed point.

reduce_post 🔒

Post-order rewrites, applied after children have been reduced.

reduce_pre 🔒

Pre-order rewrites, applied before children are visited.