[PATCH] Added instruction combine to transform few more negative values addition to subtraction (Part 2)

[Dinesh Dwivedi]

Hi rafael, bkramer, jingyue, nicholas,


First Part: http://reviews.llvm.org/D3733

This patch enable following transform
  (x + (~(y | c) + 1)   -->   x - (y | c) if c is even
  (x + (~((y >> z) | c) + 1)   -->   x - ((y>>z) | c)  if c is even

Z3 verification code:
  http://rise4fun.com/Z3/ZA06

http://reviews.llvm.org/D4209

Files:
  lib/Transforms/InstCombine/InstCombineAddSub.cpp
  test/Transforms/InstCombine/add2.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4209.10627.patch
Type: text/x-patch
Size: 5275 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140619/99008282/attachment.bin>