Structsยง
- Copy
Prop ๐ - Unify locals that copy each other.
- Replacer ๐
- Utility to help performing substitution of
*pattern
bytarget
.
Functionsยง
- fully_
moved_ ๐locals SsaLocals
computed equivalence classes between locals considering copy/move assignments.