[PATCH] D152067: [ConstraintElimination] Handle equality predicates

[Antonio Frighetto via Phabricator via llvm-commits]

antoniofrighetto created this revision.
antoniofrighetto added reviewers: fhahn, zjaffal.
Herald added subscribers: StephenFan, hiraditya.
Herald added a project: All.
antoniofrighetto requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Simplification of equality predicates is now supported by transferring equalities into inequalities. This is achieved by separately checking that both `isConditionImplied(A >= B)` and `isConditionImplied(A <= B)` hold.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D152067

Files:
  llvm/include/llvm/Analysis/ConstraintSystem.h
  llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
  llvm/test/Transforms/ConstraintElimination/assumes.ll
  llvm/test/Transforms/ConstraintElimination/constants-unsigned-predicates.ll
  llvm/test/Transforms/ConstraintElimination/eq.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D152067.528110.patch
Type: text/x-patch
Size: 8652 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230603/b1f7cf81/attachment.bin>