https://github.com/fhahn commented: Interesting. Would be good to check the impact on compile-time. decompose may be called on the same operands multiple times, so we me end up computing knownBits multiple times for the same value https://github.com/llvm/llvm-project/pull/176607