[DAG] canCreateUndefOrPoison - add freeze(add/sub/mul(x,y)) -> add/sub/mul(freeze(x),y,z) support
These are guaranteed not to create undef/poison as long as there are no poison generating flags
Loading
Please sign in to comment
These are guaranteed not to create undef/poison as long as there are no poison generating flags