[ValueTracking] do not overwrite analysis results already computed
authorJingyue Wu <jingyue@google.com>
Mon, 15 Jun 2015 05:46:29 +0000 (05:46 +0000)
committerJingyue Wu <jingyue@google.com>
Mon, 15 Jun 2015 05:46:29 +0000 (05:46 +0000)
commit7a1e93493dd82632e42f8b55d45e59b8f1808b17
treea25680a553ef009632ae3440468b71b881424649
parent01e283181957305a72271b8873c898e9699d0e95
[ValueTracking] do not overwrite analysis results already computed

Summary:
ValueTracking used to overwrite the analysis results computed from
assumes and dominating conditions. This patch fixes this issue.

Test Plan: test/Analysis/ValueTracking/assume.ll

Reviewers: hfinkel, majnemer

Reviewed By: majnemer

Subscribers: llvm-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@239718 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp
test/Analysis/ValueTracking/assume.ll [new file with mode: 0644]
test/Analysis/ValueTracking/dom-cond.ll [new file with mode: 0644]