[all-commits] [llvm/llvm-project] 10223c: [ConstraintElim] Use nusw flag for GEP decomposition

[Nikita Popov via All-commits]

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

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

  Log Message:
  -----------
  [ConstraintElim] Use nusw flag for GEP decomposition

Check for nusw instead of inbounds when decomposing GEPs.

In this particular case, we can also look through multiple nusw
flags, because we will ultimately be working in the unsigned
constraint system.



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