llvm-project.git/llvm/test/Transforms/LoopVectorize/SystemZ/addressing.ll, branch users/nico/python-2

[InstCombine] Handle "add like" in ADD+GEP->GEP+GEP rewrites (#135156)

2025-04-14T15:11:13+00:00

Considering that "or disjoint" is the canonical for certain add
operations, then I think we want to support such "add like" operations
when doing ADD+GEP->GEP+GEP rewrites to make things more consistent.

Problem was found when improving ValueTracking, which turned an ADD into
OR, and then suddenly optimizations got worse due to these rewrites no
longer triggering.

[InstCombine] Canonicalize non-i8 gep of mul to i8 (#96606)

2024-06-26T13:25:54+00:00

This is a small canonicalization for `gep i32, p, (mul x, C)` -> `gep
i8, p, (mul x, C*4)`, so that the mul can combine both of the constant
multiplications, and we take a small step towards canonicalizing more
geps to i8.

It currently doesn't attempt to check for multiple uses on the mul, but
that should be possible if it sounds better. Let me know what you think
of the idea in general.

[InstCombine] Infer disjoint flag on Or instructions. (#72912)

2023-12-02T22:11:12+00:00

The disjoint flag was recently added to IR in #72583

We already set it when we turn an add into an or. This patch sets it on Ors that weren't converted from an Add.

[InstCombine] Set disjoint flag when turning Add into Or. (#72702)

2023-11-27T20:54:11+00:00

The disjoint flag was recently added to IR in #72583

[LoopVectorize] Convert some tests to opaque pointers (NFC)

2022-12-14T14:16:59+00:00

[NFC] Port all runlines for LoopVectorize pass tests to -passes syntax

2022-12-05T19:17:30+00:00

fix tests for commit 9df0b254d24eca098

2022-07-23T21:32:30+00:00

[instcombine] Canonicalize constant index type to i64 for extractelement/insertelement

2021-12-14T00:56:22+00:00

The basic idea to this is that a) having a single canonical type makes CSE easier, and b) many of our transforms are inconsistent about which types we end up with based on visit order.

I'm restricting this to constants as for non-constants, we'd have to decide whether the simplicity was worth extra instructions. For constants, there are no extra instructions.

We chose the canonical type as i64 arbitrarily.  We might consider changing this to something else in the future if we have cause.

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

Autogen a bunch of instcombine and vectorizer tests

2021-12-13T18:41:38+00:00

Done in advance of D115387.  These are all the ones which my local script could handle, there's a couple more which need manual updates.

[SLP,LV] Use poison constant vector for shufflevector/initial insertelement

2021-01-06T02:22:50+00:00

This patch makes SLP and LV emit operations with initial vectors set to poison constant instead of undef.
This is a part of efforts for using poison vector instead of undef to represent "doesn't care" vector.
The goal is to make nice shufflevector optimizations valid that is currently incorrect due to the tricky interaction between undef and poison (see https://bugs.llvm.org/show_bug.cgi?id=44185 ).

Reviewed By: fhahn

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