nikic wrote: > This refinement still doesn't work for `select/phi nsz`, right? What do you mean by "doesn't work"? For select/phi the semantics stay the same (the input/output distinction is not relevant there). https://github.com/llvm/llvm-project/pull/180906