nikic wrote: > We have other intrinsics like this that convey information, but get dropped late - assumes spring to mind. Do we have some utility for an ignorable use somewhere? We have isAssumeLikeIntrinsic(). https://github.com/llvm/llvm-project/pull/149492