SuccessChanges

Summary

  1. [InstCombine] Add tests for uadd/sub.sat(a, b) == 0; NFC (details)
  2. Fix buildbot error in SIRegisterInfo.cpp. (details)
  3. [InstCombine] Fold uadd.sat(a, b) == 0 and usub.sat(a, b) == 0 (details)
Commit c08666abafb449f97c58eb8a730e56a085b0812f by nikita.ppv
[InstCombine] Add tests for uadd/sub.sat(a, b) == 0; NFC
llvm-svn: 375372
The file was modifiedllvm/test/Transforms/InstCombine/saturating-add-sub.ll
Commit 5fa36e42c43bc0816ad96597e20416a3cb8cd4dd by Zinovy Nis
Fix buildbot error in SIRegisterInfo.cpp.
llvm-svn: 375373
The file was modifiedllvm/lib/Target/AMDGPU/SIRegisterInfo.cpp
Commit b1b7a2f7b63db915fbc0e7ee5e1811b8846fbd9b by nikita.ppv
[InstCombine] Fold uadd.sat(a, b) == 0 and usub.sat(a, b) == 0
This adds folds for comparing uadd.sat/usub.sat with zero:
* uadd.sat(a, b) == 0 => a == 0 && b == 0 => (a | b) == 0
* usub.sat(a, b) == 0 => a <= b
And inverted forms for !=.
Differential Revision: https://reviews.llvm.org/D69224
llvm-svn: 375374
The file was modifiedllvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
The file was modifiedllvm/test/Transforms/InstCombine/saturating-add-sub.ll