kissholic wrote: alive2 proof: https://alive2.llvm.org/ce/z/rphqKP https://alive2.llvm.org/ce/z/UhU5nG https://alive2.llvm.org/ce/z/v3zu93 https://alive2.llvm.org/ce/z/fQxsaA https://alive2.llvm.org/ce/z/UYnaSb https://alive2.llvm.org/ce/z/5VRZGg https://github.com/llvm/llvm-project/pull/99475