maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
388,263 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

2 Commits

Author SHA1 Message Date
Nikita Popov 91ce8e121b [GVN] Use that assume(!X) implies X==false (PR47496) 
We already use that assume(X) implies X==true, do the same for
assume(!X) implying X==false. This fixes PR47496.
 2020-09-17 21:34:44 +02:00
Nikita Popov 59855b9d3b [GVN] Add additional assume tests (NFC) 
The other assume tests seem to be dealing with equalities in
particular. Test implication for the condition itself, especially
the negated case from PR47496.
 2020-09-17 21:34:43 +02:00