Recommit "[ConstraintElimination] Transfer info from ULT to signed system."
authorFlorian Hahn <flo@fhahn.com>
Fri, 24 Jun 2022 07:27:14 +0000 (09:27 +0200)
committerFlorian Hahn <flo@fhahn.com>
Fri, 24 Jun 2022 07:27:14 +0000 (09:27 +0200)
commit92f87787b3589413ee9e7718bd9795c8dfb16d0c
tree296d970e0cfba7b469b8bbfbe73a1588c2ad85e4
parentaeb2cd3176b03c3f186ca5d3ae6bd08d2ba77227
Recommit "[ConstraintElimination] Transfer info from ULT to signed system."

This reverts commit 94ed2caf708818dd3a0b376bbce56e53c0956f1e.

The issue with no-determinism with the test has been fixed in
d9526e8a52ca9d5.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
llvm/test/Transforms/ConstraintElimination/geps-unsigned-predicates.ll
llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed.ll