diff options
| author | Philip Reames <listmail@philipreames.com> | 2014-11-11 23:33:19 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2014-11-11 23:33:19 +0000 |
| commit | 66c6de61eea9d88061648fe505f420b7cb958df5 (patch) | |
| tree | 773b61817fa443a659a8dcbb6cccc24800e302f1 /llvm/lib/MC/MCDisassembler/Disassembler.cpp | |
| parent | 2e764b83aad54c5e557a64a9507f35cad90edead (diff) | |
| download | llvm-66c6de61eea9d88061648fe505f420b7cb958df5.zip llvm-66c6de61eea9d88061648fe505f420b7cb958df5.tar.gz llvm-66c6de61eea9d88061648fe505f420b7cb958df5.tar.bz2 | |
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
Diffstat (limited to 'llvm/lib/MC/MCDisassembler/Disassembler.cpp')
0 files changed, 0 insertions, 0 deletions