6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-10-06 14:57:41 +00:00
Code Issues Projects Releases Wiki Activity
LLVM backend for 6502
106,815 Commits 39 Branches 0 Tags 277 MiB
C++ 48.7%
LLVM 38.5%
Assembly 10.2%
C 0.9%
Python 0.4%
Other 1.2%
7ef167ae1f
Go to file
Karthik Bhat 7ef167ae1f InstCombine: Combine (xor (or %a, %b) (xor %a, %b)) to (add %a, %b) 
Correctness proof of the transform using CVC3-

$ cat t.cvc
A, B : BITVECTOR(32);
QUERY BVXOR(A | B, BVXOR(A,B) ) = A & B;

$ cvc3 t.cvc
Valid.



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@215524 91177308-0d34-0410-b5e6-96231b3b80d8
2014-08-13 05:13:14 +00:00
autoconf
bindings [OCaml] Expose Llvm.get_operand_use. 2014-08-12 02:55:45 +00:00
cmake Fix for #20408 - CMake LLVM_ENABLE_FFI=ON build fails on reconfigure 2014-08-08 14:32:56 +00:00
docs Fix examples of "named metadata" (some of which isn't named). 2014-08-13 04:54:05 +00:00
examples Temporarily Revert "Nuke the old JIT." as it's not quite ready to 2014-08-07 22:02:54 +00:00
include [PowerPC] Implement PPCTargetLowering::getTgtMemIntrinsic 2014-08-13 01:15:40 +00:00
lib InstCombine: Combine (xor (or %a, %b) (xor %a, %b)) to (add %a, %b) 2014-08-13 05:13:14 +00:00
projects
test InstCombine: Combine (xor (or %a, %b) (xor %a, %b)) to (add %a, %b) 2014-08-13 05:13:14 +00:00
tools llvm-objdump: print contents of MachO __unwind_info sections 2014-08-12 11:52:59 +00:00
unittests Fix -Wsign-compare warnings 2014-08-12 23:23:05 +00:00
utils [shuffle] Tweak the shuffle fuzzer to support bigger seeds. I'm 2014-08-13 03:21:11 +00:00
.arcconfig
.clang-format
.gitignore
CMakeLists.txt
CODE_OWNERS.TXT Add a sentence that all entries should include an email address. 2014-08-04 19:33:25 +00:00
configure
CREDITS.TXT Test commit access 2014-08-09 16:05:23 +00:00
LICENSE.TXT
llvm.spec.in
LLVMBuild.txt
Makefile
Makefile.common
Makefile.config.in
Makefile.rules Temporarily Revert "Nuke the old JIT." as it's not quite ready to 2014-08-07 22:02:54 +00:00
README.txt

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.