https://github.com/dtcxzyw requested changes to this pull request. It is incorrect when `x==INT_MIN`: https://alive2.llvm.org/ce/z/X4TZPY BTW, isn't it already handled by CVP/SCCP? https://github.com/llvm/llvm-project/pull/110997