[all-commits] [llvm/llvm-project] a0b175: [SimplifyCFG] Treat `extract oneuse(op.with.overfl...

[Gábor Spaits via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a0b175cb348bf86630276077ebda4adbd8ffd84e
      https://github.com/llvm/llvm-project/commit/a0b175cb348bf86630276077ebda4adbd8ffd84e
  Author: Gábor Spaits <gaborspaits1 at gmail.com>
  Date:   2025-03-14 (Fri, 14 Mar 2025)

  Changed paths:
    M llvm/lib/Transforms/Utils/SimplifyCFG.cpp
    M llvm/test/Transforms/PhaseOrdering/X86/unsigned-multiply-overflow-check.ll
    A llvm/test/Transforms/SimplifyCFG/RISCV/umul-extract-pattern.ll

  Log Message:
  -----------
  [SimplifyCFG] Treat `extract oneuse(op.with.overflow),1` pattern as a single instruction (#128021)

Closes #115683 .

Overflow arithmetic instruction plus extract value are usually generated
when a division is being replaced, but the zero check may still be
there. In that case hoist these two instructions out of this basic
block, and let later optimizations take care of the unnecessary zero
checks.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications