Recursively replace WRefs with new Expressions
Recursively replace WRefs with new Expressions
Replaces truncating arithmetic in a Module
Inline casts in a Statement
Inline casts in a Statement
a mutable HashMap mapping references to DefNodes to their connected Expressions. This function will mutate it if stmt is a DefNode with a value that is a cast PrimpOp
the Statement being searched for nodes and transformed
Returns stmt with casts inlined