[DAG] canCreateUndefOrPoison - add freeze(rot(x,y)) -> rot(freeze(x),freeze(y)) support
The rotation amount is always modulo, so won't introduce poison/undef
Loading
Please sign in to comment
The rotation amount is always modulo, so won't introduce poison/undef