maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm
History
Mayur Pandey 960507beb4 InstCombine: ((A & ~B) ^ (~A & B)) to A ^ B 
Proof using CVC3 follows:
$ cat t.cvc
A, B : BITVECTOR(32);
QUERY BVXOR((A & ~B),(~A & B)) = BVXOR(A,B);
$ cvc3 t.cvc
Valid.

Differential Revision: http://reviews.llvm.org/D4898

llvm-svn: 215974
 		2014-08-19 08:19:19 +00:00
..
autoconf Delete support for AuroraUX. 2014-08-14 15:15:09 +00:00
bindings [OCaml] Expose Llvm.get_operand_use. 2014-08-12 02:55:45 +00:00
cmake Disabling an MSVC warning ('var' : definition from the for loop is ignored; the definition from the enclosing scope is used) which will trigger false positives more than true positives. 2014-08-18 14:54:22 +00:00
docs [LIT]Correct name of global lit configuration object to be lit_config (not lit). 2014-08-15 05:54:19 +00:00
examples Make it explicit that ExecutionEngine takes ownership of the modules. 2014-08-19 04:04:25 +00:00
include Prevent use of the implicit copy constructor on SmallPtrSetImpl. An accidental copy caused my SmallPtrSet->SmallPtrSetImpl conversion commit to fail the other day. 2014-08-19 06:57:14 +00:00
lib InstCombine: ((A & ~B) ^ (~A & B)) to A ^ B 2014-08-19 08:19:19 +00:00
projects [cmake] Use the external project machinery for libcxxabi so that it can 2014-07-25 10:27:40 +00:00
test InstCombine: ((A & ~B) ^ (~A & B)) to A ^ B 2014-08-19 08:19:19 +00:00
tools Make it explicit that ExecutionEngine takes ownership of the modules. 2014-08-19 04:04:25 +00:00
unittests Make it explicit that ExecutionEngine takes ownership of the modules. 2014-08-19 04:04:25 +00:00
utils TableGen: allow use of uint64_t for available features mask. 2014-08-18 11:49:42 +00:00
.arcconfig
…
.clang-format
…
.gitignore Add Polly to the ignored trees. 2014-06-25 13:13:36 +00:00
CMakeLists.txt Fix building with in-tree libc++abi on FreeBSD 2014-08-01 19:23:15 +00:00
CODE_OWNERS.TXT Add a sentence that all entries should include an email address. 2014-08-04 19:33:25 +00:00
CREDITS.TXT Test commit access 2014-08-09 16:05:23 +00:00
LICENSE.TXT
…
LLVMBuild.txt
…
Makefile
…
Makefile.common
…
Makefile.config.in Track clang r213171 2014-07-16 16:50:34 +00:00
Makefile.rules Delete support for AuroraUX. 2014-08-14 15:15:09 +00:00
README.txt
…
configure Delete support for AuroraUX. 2014-08-14 15:15:09 +00:00
llvm.spec.in
…

README.txt 

Low Level Virtual Machine (LLVM)
================================

This directory and its subdirectories contain source code for the Low Level
Virtual Machine, a toolkit for the construction of highly optimized compilers,
optimizers, and runtime environments.

LLVM is open source software. You may freely distribute it under the terms of
the license agreement found in LICENSE.txt.

Please see the documentation provided in docs/ for further
assistance with LLVM, and in particular docs/GettingStarted.rst for getting
started with LLVM and docs/README.txt for an overview of LLVM's
documentation setup.

If you're writing a package for LLVM, see docs/Packaging.rst for our
suggestions.