[all-commits] [llvm/llvm-project] a60860: [ConstraintElim] Add support for decomposing gep n...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a608607fd70503c20854bbc0f6f5182b51489b4f
      https://github.com/llvm/llvm-project/commit/a608607fd70503c20854bbc0f6f5182b51489b4f
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-12-04 (Wed, 04 Dec 2024)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/gep-arithmetic.ll

  Log Message:
  -----------
  [ConstraintElim] Add support for decomposing gep nuw (#118639)

ConstraintElimination currently only supports decomposing gep nusw with
non-negative indices (with "non-negative" possibly being enforced via
pre-condition).

Add support for gep nuw, which directly gives us the necessary
guarantees for the decomposition.



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