1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-22 20:43:44 +02:00
llvm-mirror/lib
Philip Reames f88f796701 Canonicalize an assume(load != null) into !nonnull metadata
We currently have two ways of informing the optimizer that the result of a load is never null: metadata and assume. This change converts the second in to the former. This avoids a need to implement optimizations using both forms.

We should probably extend this basic idea to metadata of other forms; in particular, range metadata. We view is that assumes should be considered a "last resort" for when there isn't a more canonical way to represent something.

Reviewed by: Hal
Differential Revision: http://reviews.llvm.org/D5951

llvm-svn: 221737
2014-11-11 23:33:19 +00:00
..
Analysis Revert "IR: MDNode => Value" 2014-11-11 21:30:22 +00:00
AsmParser X86: Implement the vectorcall calling convention 2014-10-28 01:29:26 +00:00
Bitcode Revert "IR: MDNode => Value" 2014-11-11 21:30:22 +00:00
CodeGen Revert "IR: MDNode => Value" 2014-11-11 21:30:22 +00:00
DebugInfo [dwarfdump] Dump DW_AT_ranges values inline in the debug_info dump. 2014-10-23 04:08:34 +00:00
ExecutionEngine [JIT] Fix more missing endian conversions (opcodes for AArch64, ARM, and Mips stub functions, and ARM target in general) 2014-11-06 09:53:05 +00:00
IR Revert "IR: MDNode => Value" 2014-11-11 21:30:22 +00:00
IRReader Remove unused variable. NFC. 2014-11-06 23:16:57 +00:00
LineEditor
Linker Revert "IR: MDNode => Value" 2014-11-11 21:30:22 +00:00
LTO libLTO: Assert if LTOCodeGenerator and LTOModule are from different contexts 2014-11-11 23:13:10 +00:00
MC MC, COFF: Use relocations for function references inside the section 2014-11-11 08:43:57 +00:00
Object [yaml2obj] Support AArch64 relocations. 2014-11-10 23:02:03 +00:00
Option
ProfileData Use ErrorOr for the ::create factory on instrumented and sample profilers. 2014-11-03 00:51:45 +00:00
Support Fix style. 2014-11-07 21:30:36 +00:00
TableGen
Target Initialize new subtarget feature variable for generating reciprocal estimate instructions. 2014-11-11 23:13:15 +00:00
Transforms Canonicalize an assume(load != null) into !nonnull metadata 2014-11-11 23:33:19 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile