[PATCH] [ValueTracking] do not overwrite analysis results already computed

[Jingyue Wu]

change the order of computeKnownBitsFrom* calls

1. extract the code that computes known bits from an operator into

computeKnownBitsFromOperator.

2. call computeKnownBitsFromAssume and

computeKnownBitsFromDominatingConditions after
computeKnownBitsFromOperator so that computeKnownBitsFromOperator
doesn't clobber the results computed by the other two.

3. add dom-cond.ll to verify computeKnownBitsFromOperator does not

clobber the results computed by computeKnownBitsFromDominatingConditions.


http://reviews.llvm.org/D10283

Files:
  lib/Analysis/ValueTracking.cpp
  test/Analysis/ValueTracking/assume.ll
  test/Analysis/ValueTracking/dom-cond.ll

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D10283.27652.patch
Type: text/x-patch
Size: 14600 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150615/f137c340/attachment.bin>