1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
llvm-mirror/lib/Transforms
David Majnemer 5a64cc5b28 InstCombine: Combine (add (and %a, %b) (or %a, %b)) to (add %a, %b)
What follows bellow is a correctness proof of the transform using CVC3.

$ < t.cvc
A, B : BITVECTOR(32);

QUERY BVPLUS(32, A & B, A | B) = BVPLUS(32, A, B);

$ cvc3 < t.cvc
Valid.

llvm-svn: 215400
2014-08-11 22:32:02 +00:00
..
Hello [CMake] Add LLVM_LINK_COMPONENTS to loadable modules, LLVMHello and BugpointPasses, on Win32. 2014-07-13 13:36:48 +00:00
InstCombine InstCombine: Combine (add (and %a, %b) (or %a, %b)) to (add %a, %b) 2014-08-11 22:32:02 +00:00
Instrumentation [dfsan] Try not to create too many additional basic blocks in functions which 2014-08-06 00:33:40 +00:00
IPO GlobalOpt: Optimize in the face of insertvalue/extractvalue 2014-08-08 05:50:43 +00:00
ObjCARC AA metadata refactoring (introduce AAMDNodes) 2014-07-24 12:16:19 +00:00
Scalar Fix for multi-line comment warning 2014-08-07 23:19:55 +00:00
Utils [SimplifyCFG] fix accessing deleted PHINodes in switch-to-table conversion. 2014-08-02 23:41:54 +00:00
Vectorize [LoopVectorizer] Enable support for floating-point subtraction reductions 2014-08-08 12:41:08 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile