[InstSimplify] ctlz({signbit} >>u x) --> x
The motivating pattern was handled in 0a2d6948 , but we should have this for symmetry. But this really highlights that we could generalize for any shifted constant if we match this in instcombine. https://alive2.llvm.org/ce/z/MrmVNt
Loading
Please register or sign in to comment