[PATCH] D118799: [ConstraintElimination] Allow adding pre-conditions for constraints.

[Florian Hahn via Phabricator via llvm-commits]

This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
fhahn marked an inline comment as done.
Closed by commit rG06f3ef66266f: [ConstraintElimination] Allow adding pre-conditions for constraints. (authored by fhahn).

Changed prior to commit:
  https://reviews.llvm.org/D118799?vs=405282&id=405914#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D118799/new/

https://reviews.llvm.org/D118799

Files:
  llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
  llvm/test/Transforms/ConstraintElimination/gep-arithmetic.ll
  llvm/test/Transforms/ConstraintElimination/geps-unsigned-predicates.ll
  llvm/test/Transforms/ConstraintElimination/large-system-growth.ll
  llvm/test/Transforms/ConstraintElimination/loops-bottom-tested-pointer-cmps.ll
  llvm/test/Transforms/ConstraintElimination/loops-header-tested-pointer-cmps.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D118799.405914.patch
Type: text/x-patch
Size: 22084 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220204/93512324/attachment.bin>