[DAG] canCreateUndefOrPoison - add freeze(shl(x,y)) -> shl(freeze(x),y) support
These are guaranteed not to create undef/poison if the shift amount is known to be in range
Loading
Please sign in to comment
These are guaranteed not to create undef/poison if the shift amount is known to be in range