| author | Philip Reames <listmail@philipreames.com> | |
| Mon, 20 Oct 2014 22:40:55 +0000 (22:40 +0000) | ||
| committer | Philip Reames <listmail@philipreames.com> | |
| Mon, 20 Oct 2014 22:40:55 +0000 (22:40 +0000) | ||
| commit | 90f3f15da5c96356f9952109446f945090180b27 | |
| tree | 6c42c7a7049548318b79ca6c0b1fc37a224029f8 | tree | snapshot (tar.xz tar.gz zip) |
| parent | 0d1978b8130c14b97d2e5ca66e5bfb975d6e46b4 | commit | diff |
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
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220240 91177308-0d34-0410-b5e6-96231b3b80d8
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
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220240 91177308-0d34-0410-b5e6-96231b3b80d8
| docs/LangRef.rst | diff | blob | history | |
| lib/Analysis/ValueTracking.cpp | diff | blob | history | |
| test/Transforms/InstSimplify/compare.ll | diff | blob | history |