Jingyue Wu add2634803 [NaryReassociate] enhances nsw by leveraging @llvm.assume ...

Summary:
nsw are flaky and can often be removed by optimizations. This patch enhances
nsw by leveraging @llvm.assume in the IR. Specifically, NaryReassociate now
understands that

    assume(a + b >= 0) && assume(a >= 0) ==> a +nsw b

As a result, it can split more sext(a + b) into sext(a) + sext(b) for CSE.

Test Plan: nary-gep.ll

Reviewers: broune, meheff

Subscribers: jholewinski, llvm-commits

Differential Revision: http://reviews.llvm.org/D10822

llvm-svn: 241139

2015-07-01 03:38:49 +00:00

..

lit.local.cfg

Resurrect r235688

2015-04-24 04:22:39 +00:00

nary-gep.ll

[NaryReassociate] enhances nsw by leveraging @llvm.assume

2015-07-01 03:38:49 +00:00

nary-slsr.ll

Resurrect r235688

2015-04-24 04:22:39 +00:00