Mapping from references to the Expressions that drive them
Replaces truncating arithmetic in an Expression
Replaces truncating arithmetic in an Expression
a mutable HashMap mapping references to DefNodes to their connected Expressions. It is not mutated in this function
the Expression being transformed
Returns expr with truncating arithmetic replaced
Replaces truncating arithmetic in a Module
Replaces truncating arithmetic in a Statement
Replaces truncating arithmetic in a Statement
a mutable HashMap mapping references to DefNodes to their connected Expressions. This function will mutate it if stmt contains a DefNode
the Statement being searched for nodes and transformed
Returns stmt with truncating arithmetic replaced