dtcxzyw wrote: I am not sure whether it is suitable to use `computeConstantRange` in `isImpliedCond`. See also nikic's comment: https://github.com/llvm/llvm-project/pull/69840#issuecomment-1868009304 https://github.com/llvm/llvm-project/pull/85557