llvm-6502/test
David Majnemer 0ede3a2ae5 InstCombine: Fold away tautological masked compares
It is impossible for (x & INT_MAX) == 0 && x == INT_MAX to ever be true.

While this sort of reasoning should normally live in InstSimplify,
the machinery that derives this result is not trivial to split out.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222230 91177308-0d34-0410-b5e6-96231b3b80d8
2014-11-18 09:31:41 +00:00
..
Analysis [DependenceAnalysis] Allow subscripts of different types 2014-11-16 16:52:44 +00:00
Assembler
Bindings
Bitcode
BugPoint
CodeGen [X86] Use ADD/SUB instead of INC/DEC for Haswell and Broadwell CPUs 2014-11-17 16:17:51 +00:00
DebugInfo Allow DwarfCompileUnit::constructImportedEntityDIE to instanciate a GlobalVariable DIE. 2014-11-18 02:46:11 +00:00
ExecutionEngine Fix symbol resolution of floating point libc builtins in MCJIT 2014-11-13 23:32:52 +00:00
Feature
FileCheck
Instrumentation Move asan-coverage into a separate phase. 2014-11-11 22:14:37 +00:00
Integer
JitListener
Linker IR: Simplify uniquing for MDNode 2014-11-17 23:28:21 +00:00
LTO Add Forward Control-Flow Integrity. 2014-11-11 21:08:02 +00:00
MC R600/SI: Start implementing an assembler 2014-11-14 14:08:00 +00:00
Object Object, support both mach-o archive t.o.c file names 2014-11-12 01:37:45 +00:00
Other
SymbolRewriter
TableGen
tools llvm-readobj: Don't print the Characteristics field as the Subsystem 2014-11-18 02:45:28 +00:00
Transforms InstCombine: Fold away tautological masked compares 2014-11-18 09:31:41 +00:00
Unit
Verifier
YAMLParser
.clang-format
CMakeLists.txt
lit.cfg
lit.site.cfg.in
Makefile OCAMLFLAGS can contain =, don't use = with sed 2014-11-13 09:29:30 +00:00
Makefile.tests
TestRunner.sh