llvm-6502

mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-02-23 20:29:30 +00:00

History

Philip Reames a03cda02ab 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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@221737 91177308-0d34-0410-b5e6-96231b3b80d8

2014-11-11 23:33:19 +00:00

CMakeLists.txt

Tidy up a bit. No functional change.

2013-04-05 21:20:12 +00:00

InstCombine.h

Clean up assume intrinsic pattern matching, no need to check that the argument is a value.

2014-10-25 18:09:01 +00:00

InstCombineAddSub.cpp

InstCombine: Combine (X | Y) - X to (~X & Y)

2014-11-03 05:53:55 +00:00

InstCombineAndOrXor.cpp

InstCombine: Turn (x != 0 & x <u C) into the canonical range check form (x-1 <u C-1)