Introduce a 'nonnull' metadata on Load instructions.

Description

Introduce a 'nonnull' metadata on Load instructions.

The newly introduced 'nonnull' metadata is analogous to existing 'nonnull' attributes, but applies to load instructions rather than call arguments or returns. Long term, it would be nice to combine these into a single construct. The value of the load is allowed to vary between successive loads, but null is not a valid value to be loaded by any load marked nonnull.

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

Details

Committed
reamesOct 20 2014, 3:40 PM
Differential Revision
D5220: Add support for nonnull metadata on Loads
Parents
rL220239: [X86] Memory folding for commutative instructions (updated)
Branches
Unknown
Tags
Unknown