wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
387,236 Commits 29 Branches 0 Tags 2.2 GiB
Commit Graph

4 Commits

Author SHA1 Message Date
Juneyoung Lee bfedd5d2b6 [ConstraintElimination] Add support for select form of and/or 
This patch adds support for select form of and/or.
Currently there is an ongoing effort for moving towards using `select a, b, false` instead of `and i1 a, b` and
`select a, true, b` instead of `or i1 a, b` as well.
D93065 has links to relevant changes.

Alive2 proof: (undef input was disabled due to timeout :( )
- and: https://alive2.llvm.org/ce/z/AgvFbQ
- or: https://alive2.llvm.org/ce/z/KjLJyb

Differential Revision: https://reviews.llvm.org/D93935
 2020-12-30 21:27:36 +09:00
Juneyoung Lee 109e073662 [ConstraintElimination] Add tests for select form and/or (NFC) 2020-12-30 16:05:19 +09:00
Florian Hahn 5a4ca8b550 [ConstraintElimination] Add support for Or. 
When processing conditional branches, if the condition is an OR of 2 compares
and the false successor only has the current block as predecessor, queue both
negated conditions for the false successor
 2020-11-16 21:48:38 +00:00
Florian Hahn 2322080bc3 [ConstraintElimination] Add add/sub/and/or test cases. 
This adds a new set of tests for upcoming constraint elimination
changes.
 2020-10-13 13:18:32 +01:00