Nicolas Abram Lujan f8a574bf4d [InstCombine] C0 >> (X - C1) --> (C0 << C1) >> X ...

With the right pre-conditions, we can fold the offset
into the shifted constant:
https://alive2.llvm.org/ce/z/drMRBU
https://alive2.llvm.org/ce/z/cUQv-_

Fixes #55016

Differential Revision: https://reviews.llvm.org/D124369

2022-04-27 14:18:30 -04:00

..

CMakeLists.txt

…

InstCombineAddSub.cpp

[InstCombine] Fold (A & 2^C1) + A => A & (2^C1 - 1) iff bit C1 in A is a sign bit (PR21929)

2022-04-22 16:59:02 +01:00

InstCombineAndOrXor.cpp

[InstCombine] Remove redundant unsigned underflow fold (NFCI)

2022-04-25 14:22:43 +02:00

InstCombineAtomicRMW.cpp

Cleanup includes: Transform/Scalar

2022-03-03 07:56:34 +01:00

InstCombineCalls.cpp

[InstCombine] Remove dead code (NFC)

2022-04-21 15:53:53 +02:00

InstCombineCasts.cpp

[InstCombine] use isKnownNonNegative to reduce code duplication; NFC

2022-04-25 17:13:29 -04:00

InstCombineCompares.cpp

[InstCombine] try to fold icmp with mismatched extended operands

2022-04-26 14:26:36 -04:00

InstCombineInternal.h

[InstCombine] try to fold icmp with mismatched extended operands

2022-04-26 14:26:36 -04:00

InstCombineLoadStoreAlloca.cpp

Cleanup includes: Transform/Scalar

2022-03-03 07:56:34 +01:00

InstCombineMulDivRem.cpp

[InstCombine] fold more constant remainder to select-of-constants remainder

2022-04-12 09:40:56 +08:00

InstCombineNegator.cpp

[InstCombine] Fold sub(Y,and(lshr(X,C),1)) --> add(ashr(shl(X,(BW-1)-C),BW-1),Y) (PR53610)

2022-02-15 13:24:20 +00:00

InstCombinePHI.cpp

Reapply [InstCombine] Support switch in phi to cond fold

2022-03-17 10:03:09 +01:00

InstCombineSelect.cpp

[InstCombine] 'round up integer': if bias is just right, just reuse instructions

2022-04-27 17:27:02 +03:00

InstCombineShifts.cpp

[InstCombine] C0 >> (X - C1) --> (C0 << C1) >> X

2022-04-27 14:18:30 -04:00

InstCombineSimplifyDemanded.cpp

[InstCombine] SimplifyDemandedUseBits - allow and(srem(X,Pow2),C) -> and(X,C) to work on vector types

2022-04-07 15:24:45 +01:00

InstCombineVectorOps.cpp

[InstCombine] merge shuffled vector negate and multiply

2022-03-24 10:25:16 -04:00

InstructionCombining.cpp

[InstCombine] Combine opaque pointer GEPs with mismatching element types

2022-04-27 09:33:47 +02:00