[all-commits] [llvm/llvm-project] 92f877: Recommit "[ConstraintElimination] Transfer info fr...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 92f87787b3589413ee9e7718bd9795c8dfb16d0c
      https://github.com/llvm/llvm-project/commit/92f87787b3589413ee9e7718bd9795c8dfb16d0c
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-06-24 (Fri, 24 Jun 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/geps-unsigned-predicates.ll
    M llvm/test/Transforms/ConstraintElimination/transfer-unsigned-facts-to-signed.ll

  Log Message:
  -----------
  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.