granicus.if.org Git - llvm/commit

]> granicus.if.org Git - llvm/commit

author	Nikita Popov <nikita.ppv@gmail.com>
	Mon, 17 Dec 2018 17:45:18 +0000 (17:45 +0000)
committer	Nikita Popov <nikita.ppv@gmail.com>
	Mon, 17 Dec 2018 17:45:18 +0000 (17:45 +0000)
commit	e84034484b91c045e1241a01c89b1b274bf2bd7c
tree	3e9d5b3143434a273255e9ed31675ce33c8b2d36	tree \| snapshot
parent	51120d77dfd813b25fe2957d3dbe3fb250b0e3ec	commit \| diff

[InstSimplify] Simplify saturating add/sub + icmp

If a saturating add/sub has one constant operand, then we can
determine the possible range of outputs it can produce, and simplify
an icmp comparison based on that.

The implementation is based on a similar existing mechanism for
simplifying binary operator + icmps.

Differential Revision: https://reviews.llvm.org/D55735

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@349369 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/InstructionSimplify.cpp		diff \| blob \| history
test/Transforms/InstSimplify/saturating-add-sub.ll		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom