[DAG] canCreateUndefOrPoison - add freeze(bswap(x)) -> bswap(freeze(x)) and...
[DAG] canCreateUndefOrPoison - add freeze(bswap(x)) -> bswap(freeze(x)) and freeze(bitreverse(x)) -> bitreverse(freeze(x)) support Both are guaranteed not to create undef/poison
Loading
Please sign in to comment