summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/InstCombine/result-of-usub-is-non-zero-and-no-overflow.ll
Commit message (Expand)AuthorAgeFilesLines
* [InstCombine] foldUnsignedUnderflowCheck(): one last pattern with 'sub' (PR43...Roman Lebedev2019-09-251-8/+4
* [NFC][InstCombine] Tests for 'base u<= offset && (base - offset) != 0' patter...Roman Lebedev2019-09-251-0/+33
* [InstSimplify] Handle more 'A </>/>=/<= B &&/|| (A - B) !=/== 0' patterns (PR...Roman Lebedev2019-09-251-4/+2
* [InstCombine] Fold (A - B) u>=/u< A --> B u>/u<= A iff B != 0Roman Lebedev2019-09-251-4/+4
* [InstCombine] Simplify @llvm.usub.with.overflow+non-zero check (PR43251)Roman Lebedev2019-09-191-18/+18
* [InstCombine] foldUnsignedUnderflowCheck(): handle last few cases (PR43251)Roman Lebedev2019-09-181-8/+8
* [InstCombine][InstSimplify] Move constant-folding tests in result-of-usub-is-...Roman Lebedev2019-09-121-149/+9
* [NFC][InstCombine] rewrite test added in r371537 to use non-null pointer insteadRoman Lebedev2019-09-101-27/+91
* [NFC][InstCombine][InstSimplify] PR43251 - and some patterns with offset != 0Roman Lebedev2019-09-101-1/+57
* [NFC][InstCombine] PR43251 - valid for other predicates tooRoman Lebedev2019-09-101-2/+82
* [NFC][InstCombine] Fixup test i added in rL371352.Roman Lebedev2019-09-091-2/+2
* [InstCombine][NFC] Some tests for usub overflow+nonzero check improvement (PR...Roman Lebedev2019-09-081-0/+343
OpenPOWER on IntegriCloud