[all-commits] [llvm/llvm-project] 24a988: [ConstraintElimination] Transfer info from SGT to ...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Thu Jun 23 02:05:09 PDT 2022
Author: Florian Hahn <flo at fhahn.com>
Date: 2022-06-23 (Thu, 23 Jun 2022)
[ConstraintElimination] Transfer info from SGT to unsigned system.
If A >s B then A >=u 0, if B >=s -1.
More information about the All-commits