[all-commits] [llvm/llvm-project] c74afe: [InstCombine] Add unsigned variants of gep exact d...

[Nikita Popov via All-commits]

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

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

  Log Message:
  -----------
  [InstCombine] Add unsigned variants of gep exact div tests (NFC)

(cherry picked from commit ec2c770b9f9a0e9eca4a893383d2b27dd4c0bfe7)


  Commit: ebc589e44ffe7b77cc500f3d2dc1a7ba11dd82b1
      https://github.com/llvm/llvm-project/commit/ebc589e44ffe7b77cc500f3d2dc1a7ba11dd82b1
  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
(cherry picked from commit 26d4afc3de86ca5416c8e38000362c526b6808cd)


Compare: https://github.com/llvm/llvm-project/compare/c7b0a6ecd442...ebc589e44ffe

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