[DAG] canCreateUndefOrPoison - add freeze(sign_extend_inreg(x,vt)) ->...
[DAG] canCreateUndefOrPoison - add freeze(sign_extend_inreg(x,vt)) -> sign_extend_inreg(freeze(x),vt) support Guaranteed not to create undef/poison
Loading
Please sign in to comment