goldsteinn wrote: > @nikic @dtcxzyw could you check my reasoning in the previous comment? Am I missing something or is it indeed a miscompile? Unless there is a contraint on `%2` I think its a miscompile: https://alive2.llvm.org/ce/z/B67KTZ https://github.com/llvm/llvm-project/pull/122723