commit | edab1e126cf15e45bdd3b179180a7d0c706484fe | [log] [tgz] |
---|---|---|
author | Amara Emerson <amara.emerson@arm.com> | Fri Aug 04 20:19:46 2017 +0000 |
committer | Amara Emerson <amara.emerson@arm.com> | Fri Aug 04 20:19:46 2017 +0000 |
tree | 97fbe9adc50901d1ffad8847b0c45172fa48a44e | |
parent | f646c276318e12f9622740fc77908abcf1fe8ab8 [diff] |
[SCEV] Preserve NSW information for sext(subtract). Pushes the sext onto the operands of a Sub if NSW is present. Also adds support for propagating the nowrap flags of the llvm.ssub.with.overflow intrinsic during analysis. Differential Revision: https://reviews.llvm.org/D35256 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@310117 91177308-0d34-0410-b5e6-96231b3b80d8