c8ef wrote: I would like to continue working on the signed case. Do we need to explicitly use `SelectionDAG::getFreeze` for the signed extended source value to match the alive test? https://github.com/llvm/llvm-project/pull/95134