Module copy_prop

Structs

CopyProp 🔒

Unify locals that copy each other.

Replacer 🔒

Utility to help performing substitution of *pattern by target.

Functions

fully_moved_locals 🔒

SsaLocals computed equivalence classes between locals considering copy/move assignments.