[llvm-commits] [pr12979][patch/rfc] Clear nsw/nuw in gvn

[Rafael Espíndola]

On 30 May 2012 12:16, Rafael Espíndola <rafael.espindola at gmail.com> wrote:
>> This seems right.  For range metadata you should form the union of the
>> ranges I guess.
>
> Implemented.

I have rebased it now that the verifier enforces that the range is in
a canonical form. I have also fixed corner cases like a merge forming
the full set.

Do you think it would be a good idea to add an "has an exact
unionWith" method to ConstantRange? Maybe an optional out bool param
to unionWith itself?

Cheers,
Rafael
-------------- next part --------------
A non-text attachment was scrubbed...
Name: t.patch
Type: application/octet-stream
Size: 14466 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20120531/a898f653/attachment.obj>