diff options
| author | Craig Topper <craig.topper@intel.com> | 2018-09-15 18:54:10 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@intel.com> | 2018-09-15 18:54:10 +0000 |
| commit | 2da738167886d4a56a74d351f9586f309c1bfb2e (patch) | |
| tree | af1618c250b0a4c9d0e0b1c37159c48414ca9cdd /llvm/tools/llvm-cfi-verify/lib | |
| parent | 0bd2d304e672c4a573affa2b10f67304d03f415a (diff) | |
| download | bcm5719-llvm-2da738167886d4a56a74d351f9586f309c1bfb2e.tar.gz bcm5719-llvm-2da738167886d4a56a74d351f9586f309c1bfb2e.zip | |
[InstCombine] Support (sub (sext x), (sext y)) --> (sext (sub x, y)) and (sub (zext x), (zext y)) --> (zext (sub x, y))
Summary:
If the sub doesn't overflow in the original type we can move it above the sext/zext.
This is similar to what we do for add. The overflow checking for sub is currently weaker than add, so the test cases are constructed for what is supported.
Reviewers: spatel
Reviewed By: spatel
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D52075
llvm-svn: 342335
Diffstat (limited to 'llvm/tools/llvm-cfi-verify/lib')
0 files changed, 0 insertions, 0 deletions
