review.tizen.org Git - platform/upstream/llvm.git/commit

projects / platform / upstream / llvm.git / commit

author	Chad Rosier <mcrosier@codeaurora.org>
	Tue, 19 Apr 2016 17:19:14 +0000 (17:19 +0000)
committer	Chad Rosier <mcrosier@codeaurora.org>
	Tue, 19 Apr 2016 17:19:14 +0000 (17:19 +0000)
commit	b7dfbb40a3fd9491c0188eca0ed2af66fa5ef44f
tree	16244dfe2289ef44c3491a20a63af0f9516cfaa5	tree \| snapshot
parent	79e096dbaf974a775e72181d748c4e7c3e659047	commit \| diff

[ValueTracking] Improve isImpliedCondition for conditions with matching operands.

This patch improves SimplifyCFG to catch cases like:

  if (a < b) {
    if (a > b) <- known to be false
      unreachable;
  }

Phabricator Revision: http://reviews.llvm.org/D18905

llvm-svn: 266767

Domain: System / Toolchain;

RSS Atom

llvm/include/llvm/Analysis/ValueTracking.h		diff \| blob \| history
llvm/lib/Analysis/InstructionSimplify.cpp		diff \| blob \| history
llvm/lib/Analysis/ValueTracking.cpp		diff \| blob \| history
llvm/lib/Transforms/Scalar/JumpThreading.cpp		diff \| blob \| history
llvm/lib/Transforms/Utils/SimplifyCFG.cpp		diff \| blob \| history
llvm/test/Transforms/JumpThreading/implied-cond.ll		diff \| blob \| history
llvm/test/Transforms/SimplifyCFG/implied-cond-matching.ll	[new file with mode: 0644]	blob