[all-commits] [llvm/llvm-project] 098b0b: [ConstraintElimination] Transfer info from SGE to ...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Wed Jun 22 06:28:34 PDT 2022
Author: Florian Hahn <flo at fhahn.com>
Date: 2022-06-22 (Wed, 22 Jun 2022)
[ConstraintElimination] Transfer info from SGE to unsigned system.
This patch adds a new transferToOtherSystem helper that tries to
transfer information from signed predicates to the unsigned system and
The initial version adds A >=u B for A >=s B && B >=s 0
More information about the All-commits