[PATCH] D34029: Infer lowest bits of an integer Multiply when the low bits of the operands are known

[Pedro Ferreira via Phabricator via llvm-commits]

PFerreira updated this revision to Diff 117654.
PFerreira added a comment.

I've added Eli's proof to it, not sure exactly how to present it.

Took me a bit to digest it, but I agree that it matches what I'm trying to do in this patch. I can try to describe the definition of C7 in plain text (correlate it to the variables declared in the patch) if you prefer.


https://reviews.llvm.org/D34029

Files:
  lib/Analysis/ValueTracking.cpp
  unittests/Analysis/ValueTrackingTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34029.117654.patch
Type: text/x-patch
Size: 6624 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171004/de6f38f1/attachment.bin>