[all-commits] [llvm/llvm-project] 26d4af: [InstCombine] Fold gep of exact unsigned division ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 26d4afc3de86ca5416c8e38000362c526b6808cd
      https://github.com/llvm/llvm-project/commit/26d4afc3de86ca5416c8e38000362c526b6808cd
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-02-20 (Tue, 20 Feb 2024)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Transforms/InstCombine/getelementptr.ll

  Log Message:
  -----------
  [InstCombine] Fold gep of exact unsigned division (#82334)

Extend the transform added in
https://github.com/llvm/llvm-project/pull/76458 to also handle unsigned
division. X exact/ Y * Y == X holds independently of whether the
division is signed or unsigned.

Proofs: https://alive2.llvm.org/ce/z/wFd5Ec



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