[PATCH] D12706: Handle non-constant shifts in computeKnownBits, and use computeKnownBits for constant folding in InstCombine/Simplify

[hfinkel@anl.gov via llvm-commits]

hfinkel updated this revision to Diff 34270.
hfinkel added a comment.

Include the update for a regression test I missed in the last patch (load-combine-metadata.ll). Once we simplify based on known bits, if we have range metadata that restricts to a single value, then we'll use it to constant fold the result. This is not what the test was supposed to be testing, so I've just changed the ranges on the metadata in the test.


Repository:
  rL LLVM

http://reviews.llvm.org/D12706

Files:
  lib/Analysis/InstructionSimplify.cpp
  lib/Analysis/ValueTracking.cpp
  lib/Transforms/InstCombine/InstructionCombining.cpp
  test/Transforms/InstCombine/all-bits-shift.ll
  test/Transforms/InstCombine/div.ll
  test/Transforms/InstCombine/load-combine-metadata.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12706.34270.patch
Type: text/x-patch
Size: 11717 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150908/a5056c1e/attachment.bin>