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
..
NVPTX	[NaryReassociate] enhances nsw by leveraging @llvm.assume	2015-07-01 03:38:49 +00:00
nary-add.ll	[NaryReassociate] avoid running forever	2015-05-13 18:12:24 +00:00