diff options
| author | Florian Hahn <flo@fhahn.com> | 2022-06-22 15:27:59 +0200 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2022-06-22 15:27:59 +0200 |
| commit | 098b0b18a7df42434d3cc747c89dd62ddac73afa (patch) | |
| tree | ea0bcf30901b9c4a39c44fccf656f22ee373947c /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 21e29b6ce734cca1557aa801740078d98c3ff447 (diff) | |
| download | llvm-098b0b18a7df42434d3cc747c89dd62ddac73afa.zip llvm-098b0b18a7df42434d3cc747c89dd62ddac73afa.tar.gz llvm-098b0b18a7df42434d3cc747c89dd62ddac73afa.tar.bz2 | |
[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
vice versa.
The initial version adds A >=u B for A >=s B && B >=s 0
https://alive2.llvm.org/ce/z/8b6F9i
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions