andjo403 wrote: > However, specially-handling the PHI node in `computeKnownBitsFromContext` is still an ugly way. Can you try `CondContext`? not only was it ugly it was the cause of the Miscompilation so fixed now https://github.com/llvm/llvm-project/pull/134712