nikic wrote: A possible way to fix the motivating issue is to enable use of PredicateInfo in non-IP SCCP. This will also have compile-time overhead, but probably less than this? We'd have to evaluate whether it is worthwhile. https://github.com/llvm/llvm-project/pull/144831