This is an archive of the discontinued LLVM Phabricator instance.

Differential D115387

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

Authored by reames on Dec 8 2021, 1:03 PM.

Details

Reviewers
spatel
craig.topper
lebedev.ri
nikic
Commits
rGe6ad9ef4e7ae: [instcombine] Canonicalize constant index type to i64 for…
Summary

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.

A couple process notes:

  • Sorry for the lack of context, there's so many test changes that phabricator choked on a full context diff.
  • This isn't all of the test diffs, only the autogened ones. If we're happy with the direction, I'll autogen a bunch of files, and then update the rest before submit.

Diff Detail

Event Timeline

reames created this revision.Dec 8 2021, 1:03 PM
Herald added subscribers: dmgreen, arphaman, zzheng and 6 others. · View Herald TranscriptDec 8 2021, 1:03 PM
reames requested review of this revision.Dec 8 2021, 1:03 PM
Herald added a project: Restricted Project. · View Herald TranscriptDec 8 2021, 1:03 PM
Herald added a subscriber: aheejin. · View Herald Transcript
nikic added a comment.Dec 8 2021, 1:27 PM

Canonicalizing this sounds generally reasonable, but why towards i64 rather than i32? We require i32 for shuffle masks, and it's the canonical type for struct indices, so it seems like the more natural choice, and would probably result in less test diffs.

reames mentioned this in D115394: [instcombine] Do demanded elts last when visiting extractelement.Dec 8 2021, 1:34 PM
nikic added a comment.Dec 8 2021, 1:36 PM

Hm, I see now that IRBuilder will use an i64 by default, which is presumably the reason for the choice.

reames added a comment.Dec 8 2021, 1:39 PM
In D115387#3180930, @nikic wrote:

Hm, I see now that IRBuilder will use an i64 by default, which is presumably the reason for the choice.

Actually, the choice was much more arbitrary than that. I tried both, and saw huge diffs with each. Given that, I went with what I tend to write.

I could argue that this matches the canonicalization for GEP indices on most 64 bit targets, but really, I think this is pretty arbitrary. If we were doing non-constants, we'd probably care a lot more about the choice, but with only constants we really shouldn't need to care as all the actual values are going to be extremely small (and thus representable with anything the target chooses pretty easily).

Harbormaster completed remote builds in B138262: Diff 392898.Dec 8 2021, 4:33 PM
nikic added a comment.Dec 9 2021, 12:14 AM

Okay, in that case this looks good to me, we don't seem to have any clearly preferred type here. Given the test churn, waiting for a second opinion would be good.

llvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp
382

Something like auto *NewIdx = ConstantInt::get(IndexC->getContext(), IndexC->getValue().zextOrTrunc(64)) might be more elegant?

lebedev.ri added a comment.Dec 9 2021, 1:27 AM

Whatever we choose will be wrong anyway so let's go for i32 unless we actually need those uppper 32 bits to be usable.

spatel added a comment.Dec 9 2021, 8:59 AM
In D115387#3182240, @lebedev.ri wrote:

Whatever we choose will be wrong anyway so let's go for i32 unless we actually need those uppper 32 bits to be usable.

If no target has a chance of codegen'ing anything close to that limit, I'd go for i32. For example, this may not finish in any practical timeframe with llc?

define void @f(<1048576 x i8>* %x) {
  %v = load <1048576 x i8>, <1048576 x i8>* %x
  %add = add <1048576 x i8> %v, %v
  store <1048576 x i8> %add, <1048576 x i8>* %x
  ret void
}

No matter what value is chosen, we should make a helper function and/or give the bitwidth a name, so we're not using a magic constant in multiple places.

reames added a comment.Dec 9 2021, 9:50 AM

Sounds like the consensus is i32? I'll give it another day for further discussion, and will then update the patch if that's the direction we want to go in.

craig.topper added a comment.Dec 9 2021, 10:06 AM
In D115387#3183235, @reames wrote:

Sounds like the consensus is i32? I'll give it another day for further discussion, and will then update the patch if that's the direction we want to go in.

Would we update IRBuilder to use i32 and perhaps change the interface from uint64_t to unsigned?

reames added a comment.Dec 9 2021, 10:35 AM
In D115387#3183282, @craig.topper wrote:
In D115387#3183235, @reames wrote:

Sounds like the consensus is i32? I'll give it another day for further discussion, and will then update the patch if that's the direction we want to go in.

Would we update IRBuilder to use i32 and perhaps change the interface from uint64_t to unsigned?

Can we not increase the scope of the patch? This is purely a minor cleanup as far as I'm concerned, and if it grows too much, I'll simply abandon it as not worth the effort.

I am particularly concerns about changing argument types of the public API given possibility for silent downcast.

craig.topper added a comment.Dec 9 2021, 11:04 AM
In D115387#3183352, @reames wrote:
In D115387#3183282, @craig.topper wrote:
In D115387#3183235, @reames wrote:

Sounds like the consensus is i32? I'll give it another day for further discussion, and will then update the patch if that's the direction we want to go in.

Would we update IRBuilder to use i32 and perhaps change the interface from uint64_t to unsigned?

Can we not increase the scope of the patch? This is purely a minor cleanup as far as I'm concerned, and if it grows too much, I'll simply abandon it as not worth the effort.

I am particularly concerns about changing argument types of the public API given possibility for silent downcast.

I guess my point was that it seems silly to have IRBuilder make something that InstCombine will always change. So maybe that's a vote for using i64 and not i32?

reames added a comment.Dec 9 2021, 11:10 AM

Can we go with I64 since some canonicalization is better than nothing, and if someone cares about making it I32, do that in a separate patch? Aside from some large test churn, I don't really see any downside to changing this (arbitrary) choice later.

spatel added a comment.Dec 9 2021, 11:43 AM
In D115387#3183444, @reames wrote:

Can we go with I64 since some canonicalization is better than nothing, and if someone cares about making it I32, do that in a separate patch? Aside from some large test churn, I don't really see any downside to changing this (arbitrary) choice later.

No objection to i64 from me.

craig.topper added a comment.Dec 9 2021, 12:26 PM

No objection to i64 from me.

reames updated this revision to Diff 393946.Dec 13 2021, 9:50 AM

Incorporate style suggestion. Once this is LGTMed, I'll autogen all the relevant tests and rebase once more before commit.

craig.topper accepted this revision.Dec 13 2021, 9:54 AM

LGTM

This revision is now accepted and ready to land.Dec 13 2021, 9:54 AM
lebedev.ri accepted this revision.Dec 13 2021, 9:55 AM

lg

llvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp
370

Pull out the repeated 64 constant?

reames mentioned this in rG1a18de3d0a25: Autogen a bunch of instcombine and vectorizer tests.Dec 13 2021, 10:41 AM
reames mentioned this in rGbbfaf0b170b6: Autogen more vectorizer tests in advance of D115387..Dec 13 2021, 11:04 AM
Harbormaster completed remote builds in B139010: Diff 393946.Dec 13 2021, 11:13 AM
reames abandoned this revision.Dec 13 2021, 12:44 PM

I'm abandoning work on this. Sorry for doing that for an already approved patch, but the work required to finish the last update on the test turns out to be significantly more than I'd thought, and just isn't worth it.

The clang tests effected by this seem to be primarily intrinsic tests. These tests don't autogenerate correctly, despite claiming to be autogened. A single attempt at autogenning them takes more than an hour of runtime. The tests check both IR and assembly. Each test contains hundreds of sub-tests, so updating them by hand is not really an option.

IMHO, these intrinsic tests should not be in tree. I'm frustrated enough at the moment to just delete them, but that hardly seems like a constructive response. Given that, I'm just going to walk away since this patch was solely motivated by a desire to cleanup from the beginning.

reames mentioned this in rGbbba86764ae8: Revert "Autogen more vectorizer tests in advance of D115387.".Dec 13 2021, 12:48 PM
craig.topper added a comment.Dec 13 2021, 12:57 PM
In D115387#3190135, @reames wrote:

I'm abandoning work on this. Sorry for doing that for an already approved patch, but the work required to finish the last update on the test turns out to be significantly more than I'd thought, and just isn't worth it.

The clang tests effected by this seem to be primarily intrinsic tests. These tests don't autogenerate correctly, despite claiming to be autogened. A single attempt at autogenning them takes more than an hour of runtime. The tests check both IR and assembly. Each test contains hundreds of sub-tests, so updating them by hand is not really an option.

IMHO, these intrinsic tests should not be in tree. I'm frustrated enough at the moment to just delete them, but that hardly seems like a constructive response. Given that, I'm just going to walk away since this patch was solely motivated by a desire to cleanup from the beginning.

Can you point to some examples of the affected tests?

reames added a comment.Dec 13 2021, 1:10 PM
In D115387#3190168, @craig.topper wrote:

Can you point to some examples of the affected tests?

Here are the ones which still fail after using update_cc_test_checks.py

Clang :: CodeGen/SystemZ/builtins-systemz-zvector-constrained.c
Clang :: CodeGen/SystemZ/builtins-systemz-zvector.c
Clang :: CodeGen/SystemZ/builtins-systemz-zvector2-constrained.c
Clang :: CodeGen/SystemZ/builtins-systemz-zvector2.c
Clang :: CodeGen/X86/avx-shuffle-builtins.c
Clang :: CodeGen/aarch64-bf16-ldst-intrinsics.c
Clang :: CodeGen/aarch64-neon-vcmla.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_abdlb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_abdlt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_adclb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_adclt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addhnb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addhnt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addlb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addlbt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addlt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addwb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_addwt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bcax.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bdep.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bext.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bgrp.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bsl.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bsl1n.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_bsl2n.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_eor3.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_eorbt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_eortb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_hadd.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_hsub.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_hsubr.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlalb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlalt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlslb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlslt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_mullb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_mullt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_nbsl.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmul.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullb_128.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullt_128.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qadd.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlalb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlalbt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlalt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlslb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlslbt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlslt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmulh.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmullb.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmullt.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrdmlah.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrdmlsh.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrdmulh.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrshl.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qshl.c
Clang :: CodeGen/aarch64-sve2-intrinsics/acle_sve2_qsub.c
reames added a comment.Dec 13 2021, 1:56 PM

Ignore my rant above. Had lunch and rechecked history, and noticed user error on my part. The tests are still very slow, but it's possible the auto-update will work when run properly. We'll see.

reames mentioned this in rGeb052f6b8f78: Reapply: Autogen more vectorizer tests in advance of D115387..Dec 13 2021, 3:49 PM
reames reclaimed this revision.Dec 13 2021, 4:30 PM

Reopening as I've gotten all the tests worked through.

This revision is now accepted and ready to land.Dec 13 2021, 4:30 PM
This revision was landed with ongoing or failed builds.Dec 13 2021, 4:57 PM
Closed by commit rGe6ad9ef4e7ae: [instcombine] Canonicalize constant index type to i64 for… (authored by reames). · Explain Why
This revision was automatically updated to reflect the committed changes.
reames added a commit: rGe6ad9ef4e7ae: [instcombine] Canonicalize constant index type to i64 for….
Herald added a project: Restricted Project. · View Herald TranscriptDec 13 2021, 4:57 PM
Herald added subscribers: cfe-commits, kerbowa, pengfei and 2 others. · View Herald Transcript

Large Diff

This large diff affects 308 files. Files without inline comments have been collapsed. Expand All Files

Revision Contents

PathSize
clang/
test/
CodeGen/
SystemZ/
2 lines
18 lines
16 lines
16 lines
X86/
6 lines
1325 lines
8 lines
aarch64-sve-intrinsics/
133 lines
8 lines
8 lines
8 lines
8 lines
132 lines
96 lines
84 lines
4 lines
4 lines
4 lines
96 lines
56 lines
68 lines
68 lines
68 lines
68 lines
56 lines
12 lines
84 lines
84 lines
16 lines
8 lines
104 lines
32 lines
416 lines
96 lines
36 lines
36 lines
132 lines
132 lines
36 lines
132 lines
36 lines
132 lines
132 lines
132 lines
132 lines
96 lines
36 lines
36 lines
36 lines
36 lines
36 lines
96 lines
32 lines
32 lines
36 lines
132 lines
132 lines
4 lines
4 lines
aarch64-sve2-intrinsics/
32 lines
24 lines
24 lines
24 lines
24 lines
8 lines
8 lines
24 lines
24 lines
24 lines
12 lines
24 lines
24 lines
24 lines
32 lines
16 lines
16 lines
16 lines
32 lines
32 lines
32 lines
32 lines
32 lines
32 lines
96 lines
96 lines
96 lines
28 lines
28 lines
28 lines
28 lines
24 lines
24 lines
32 lines
4 lines
16 lines
4 lines
16 lines
4 lines
96 lines
12 lines
12 lines
12 lines
12 lines
12 lines
12 lines
16 lines
12 lines
12 lines
16 lines
16 lines
16 lines
96 lines
96 lines
96 lines
96 lines
24 lines
24 lines
96 lines
96 lines
24 lines
24 lines
8 lines
8 lines
48 lines
24 lines
24 lines
24 lines
12 lines
24 lines
12 lines
24 lines
24 lines
48 lines
Headers/
364 lines
llvm/
lib/
Transforms/
InstCombine/
21 lines
test/
Transforms/
InstCombine/
AArch64/
2 lines
2 lines
8 lines
24 lines
AMDGPU/
136 lines
136 lines
4 lines
X86/
40 lines
40 lines
74 lines
74 lines
6 lines
2 lines
2 lines
2 lines
86 lines
86 lines
78 lines
78 lines
16 lines
16 lines
18 lines
18 lines
18 lines
22 lines
2 lines
2 lines
8 lines
8 lines
18 lines
34 lines
28 lines
14 lines
14 lines
28 lines
40 lines
40 lines
10 lines
40 lines
44 lines
2 lines
2 lines
2 lines
16 lines
4 lines
4 lines
4 lines
108 lines
108 lines
12 lines
112 lines
120 lines
10 lines
4 lines
4 lines
2 lines
6 lines
2 lines
2 lines
2 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
40 lines
40 lines
18 lines
60 lines
2 lines
6 lines
6 lines
4 lines
10 lines
16 lines
16 lines
8 lines
2 lines
36 lines
36 lines
6 lines
6 lines
20 lines
20 lines
64 lines
64 lines
2 lines
2 lines
2 lines
8 lines
8 lines
32 lines
32 lines
6 lines
6 lines
4 lines
8 lines
8 lines
2 lines
36 lines
40 lines
26 lines
26 lines
LoopVectorize/
AArch64/
16 lines
20 lines
6 lines
8 lines
2 lines
6 lines
ARM/
4 lines
38 lines
SystemZ/
4 lines
X86/
4 lines
76 lines
32 lines
12 lines
24 lines
150 lines
8 lines
44 lines
1814 lines
134 lines
8 lines
4 lines
234 lines
96 lines
348 lines
34 lines
106 lines
16 lines
14 lines
4 lines
314 lines
72 lines
3 lines
12 lines
2 lines
PhaseOrdering/
AArch64/
2 lines
4 lines
ARM/
12 lines
X86/
2 lines
8 lines
30 lines
18 lines
SLPVectorizer/
AArch64/
8 lines
64 lines
42 lines
24 lines
24 lines
WebAssembly/
8 lines
X86/
24 lines
24 lines
10 lines
10 lines
90 lines
90 lines
24 lines
24 lines
12 lines
12 lines
16 lines
28 lines
32 lines
54 lines
4 lines
376 lines
376 lines
8 lines
4 lines

Diff 394088

clang/test/CodeGen/SystemZ/builtins-systemz-zvector-constrained.c

clang/test/CodeGen/SystemZ/builtins-systemz-zvector.c

clang/test/CodeGen/SystemZ/builtins-systemz-zvector2-constrained.c

clang/test/CodeGen/SystemZ/builtins-systemz-zvector2.c

clang/test/CodeGen/X86/avx-shuffle-builtins.c

clang/test/CodeGen/aarch64-bf16-ldst-intrinsics.c

clang/test/CodeGen/aarch64-neon-vcmla.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_abd.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_acge.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_acgt.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_acle.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_aclt.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_add.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_and.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_asr.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_bfdot.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_bfmlalb.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_bfmlalt.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_bic.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmpeq.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmpge.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmpgt.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmple.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmplt.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmpne.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_cmpuo.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_div.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_divr.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dot.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dup-bfloat.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dup.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dupq-bfloat.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_dupq.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_eor.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_lsl.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_lsr.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_mad.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_max.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_maxnm.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_min.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_minnm.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_mla.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_mls.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_msb.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_mul.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_mulh.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_mulx.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_nmad.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_nmla.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_nmls.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_nmsb.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_orr.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_qadd.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_qsub.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_scale.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_sub.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_subr.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_sudot.c

clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_usdot.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_aba.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_abalb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_abalt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_abdlb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_abdlt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_adclb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_adclt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addhnb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addhnt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addlb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addlbt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addlt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addwb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_addwt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bcax.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bdep.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bext.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bgrp.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bsl.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bsl1n.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_bsl2n.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_eor3.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_eorbt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_eortb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_hadd.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_hsub.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_hsubr.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlalb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlalt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlslb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_mlslt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_mullb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_mullt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_nbsl.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmul.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullb_128.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_pmullt_128.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qadd.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlalb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlalbt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlalt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlslb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlslbt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmlslt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmulh.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmullb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qdmullt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrdmlah.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrdmlsh.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrdmulh.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qrshl.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qshl.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qsub.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_qsubr.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_raddhnb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_raddhnt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_rhadd.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_rshl.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_rsubhnb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_rsubhnt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_sbclb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_sbclt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_sqadd.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_subhnb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_subhnt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_sublb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_sublbt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_sublt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_subltb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_subwb.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_subwt.c

clang/test/CodeGen/aarch64-sve2-intrinsics/acle_sve2_uqadd.c

clang/test/Headers/wasm.c

llvm/lib/Transforms/InstCombine/InstCombineVectorOps.cpp

Show First 20 Lines • Show All 357 Lines • ▼ Show 20 Lines for (const Use &U : V->uses()) {
if (UnionUsedElts.isAllOnes()) if (UnionUsedElts.isAllOnes())
break; break;
} }
return UnionUsedElts; return UnionUsedElts;
} }
/// Given a constant index for a extractelement or insertelement instruction,
/// return it with the canonical type if it isn't already canonical. We
/// arbitrarily pick 64 bit as our canonical type. The actual bitwidth doesn't
/// matter, we just want a consistent type to simplify CSE.
ConstantInt *getPreferredVectorIndex(ConstantInt *IndexC) {
lebedev.riUnsubmitted
Not Done
ReplyInline Actions

Pull out the repeated 64 constant?

lebedev.ri: Pull out the repeated `64` constant?
const unsigned IndexBW = IndexC->getType()->getBitWidth();
if (IndexBW == 64 || IndexC->getValue().getActiveBits() > 64)
return nullptr;
return ConstantInt::get(IndexC->getContext(),
IndexC->getValue().zextOrTrunc(64));
}
Instruction *InstCombinerImpl::visitExtractElementInst(ExtractElementInst &EI) { Instruction *InstCombinerImpl::visitExtractElementInst(ExtractElementInst &EI) {
Value *SrcVec = EI.getVectorOperand(); Value *SrcVec = EI.getVectorOperand();
Value *Index = EI.getIndexOperand(); Value *Index = EI.getIndexOperand();
if (Value *V = SimplifyExtractElementInst(SrcVec, Index, if (Value *V = SimplifyExtractElementInst(SrcVec, Index,
SQ.getWithInstruction(&EI))) SQ.getWithInstruction(&EI)))
nikicUnsubmitted
Not Done
ReplyInline Actions

Something like auto *NewIdx = ConstantInt::get(IndexC->getContext(), IndexC->getValue().zextOrTrunc(64)) might be more elegant?

nikic: Something like `auto *NewIdx = ConstantInt::get(IndexC->getContext(), IndexC->getValue().
return replaceInstUsesWith(EI, V); return replaceInstUsesWith(EI, V);
// If extracting a specified index from the vector, see if we can recursively // If extracting a specified index from the vector, see if we can recursively
// find a previously computed scalar that was inserted into the vector. // find a previously computed scalar that was inserted into the vector.
auto *IndexC = dyn_cast<ConstantInt>(Index); auto *IndexC = dyn_cast<ConstantInt>(Index);
if (IndexC) { if (IndexC) {
// Canonicalize type of constant indices to i64 to simplify CSE
if (auto *NewIdx = getPreferredVectorIndex(IndexC))
return replaceOperand(EI, 1, NewIdx);
ElementCount EC = EI.getVectorOperandType()->getElementCount(); ElementCount EC = EI.getVectorOperandType()->getElementCount();
unsigned NumElts = EC.getKnownMinValue(); unsigned NumElts = EC.getKnownMinValue();
if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(SrcVec)) { if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(SrcVec)) {
Intrinsic::ID IID = II->getIntrinsicID(); Intrinsic::ID IID = II->getIntrinsicID();
// Index needs to be lower than the minimum size of the vector, because // Index needs to be lower than the minimum size of the vector, because
// for scalable vector, the vector size is known at run time. // for scalable vector, the vector size is known at run time.
if (IID == Intrinsic::experimental_stepvector && if (IID == Intrinsic::experimental_stepvector &&
▲ Show 20 Lines • Show All 1,088 Lines • ▼ Show 20 LinesInstruction *InstCombinerImpl::visitInsertElementInst(InsertElementInst &IE) {
Value *VecOp = IE.getOperand(0); Value *VecOp = IE.getOperand(0);
Value *ScalarOp = IE.getOperand(1); Value *ScalarOp = IE.getOperand(1);
Value *IdxOp = IE.getOperand(2); Value *IdxOp = IE.getOperand(2);
if (auto *V = SimplifyInsertElementInst( if (auto *V = SimplifyInsertElementInst(
VecOp, ScalarOp, IdxOp, SQ.getWithInstruction(&IE))) VecOp, ScalarOp, IdxOp, SQ.getWithInstruction(&IE)))
return replaceInstUsesWith(IE, V); return replaceInstUsesWith(IE, V);
// Canonicalize type of constant indices to i64 to simplify CSE
if (auto *IndexC = dyn_cast<ConstantInt>(IdxOp))
if (auto *NewIdx = getPreferredVectorIndex(IndexC))
return replaceOperand(IE, 2, NewIdx);
// If the scalar is bitcast and inserted into undef, do the insert in the // If the scalar is bitcast and inserted into undef, do the insert in the
// source type followed by bitcast. // source type followed by bitcast.
// TODO: Generalize for insert into any constant, not just undef? // TODO: Generalize for insert into any constant, not just undef?
Value *ScalarSrc; Value *ScalarSrc;
if (match(VecOp, m_Undef()) && if (match(VecOp, m_Undef()) &&
match(ScalarOp, m_OneUse(m_BitCast(m_Value(ScalarSrc)))) && match(ScalarOp, m_OneUse(m_BitCast(m_Value(ScalarSrc)))) &&
(ScalarSrc->getType()->isIntegerTy() || (ScalarSrc->getType()->isIntegerTy() ||
ScalarSrc->getType()->isFloatingPointTy())) { ScalarSrc->getType()->isFloatingPointTy())) {
▲ Show 20 Lines • Show All 1,309 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/AArch64/sve-intrinsic-opts-dup.ll

llvm/test/Transforms/InstCombine/AArch64/sve-intrinsic-opts-lasta-lastb.ll

llvm/test/Transforms/InstCombine/AArch64/sve-intrinsic-opts-unpkhi-unpklo.ll

llvm/test/Transforms/InstCombine/AArch64/sve-intrinsic-tbl-dupx.ll

llvm/test/Transforms/InstCombine/AMDGPU/amdgcn-demanded-vector-elts-inseltpoison.ll

llvm/test/Transforms/InstCombine/AMDGPU/amdgcn-demanded-vector-elts.ll

llvm/test/Transforms/InstCombine/ExtractCast.ll

llvm/test/Transforms/InstCombine/X86/x86-addsub-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-addsub.ll

llvm/test/Transforms/InstCombine/X86/x86-avx512-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-avx512.ll

llvm/test/Transforms/InstCombine/X86/x86-fma.ll

llvm/test/Transforms/InstCombine/X86/x86-insertps.ll

llvm/test/Transforms/InstCombine/X86/x86-pshufb-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-pshufb.ll

llvm/test/Transforms/InstCombine/X86/x86-sse-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-sse.ll

llvm/test/Transforms/InstCombine/X86/x86-sse2-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-sse2.ll

llvm/test/Transforms/InstCombine/X86/x86-sse41-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-sse41.ll

llvm/test/Transforms/InstCombine/X86/x86-vec_demanded_elts-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-vec_demanded_elts.ll

llvm/test/Transforms/InstCombine/X86/x86-vector-shifts-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-vector-shifts.ll

llvm/test/Transforms/InstCombine/X86/x86-vpermil-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-vpermil.ll

llvm/test/Transforms/InstCombine/X86/x86-xop-inseltpoison.ll

llvm/test/Transforms/InstCombine/X86/x86-xop.ll

llvm/test/Transforms/InstCombine/bitcast-bigendian.ll

llvm/test/Transforms/InstCombine/bitcast-inselt-bitcast.ll

llvm/test/Transforms/InstCombine/bitcast-inseltpoison.ll

llvm/test/Transforms/InstCombine/bitcast-vec-canon-inseltpoison.ll

llvm/test/Transforms/InstCombine/bitcast-vec-canon.ll

llvm/test/Transforms/InstCombine/bitcast.ll

llvm/test/Transforms/InstCombine/broadcast-inseltpoison.ll

llvm/test/Transforms/InstCombine/broadcast.ll

llvm/test/Transforms/InstCombine/cast_ptr.ll

llvm/test/Transforms/InstCombine/extractelement-inseltpoison.ll

llvm/test/Transforms/InstCombine/extractelement.ll

llvm/test/Transforms/InstCombine/fmul-inseltpoison.ll

llvm/test/Transforms/InstCombine/fmul.ll

llvm/test/Transforms/InstCombine/gep-inbounds-null.ll

llvm/test/Transforms/InstCombine/gep-vector-indices.ll

llvm/test/Transforms/InstCombine/getelementptr.ll

llvm/test/Transforms/InstCombine/icmp-bc-vec-inseltpoison.ll

llvm/test/Transforms/InstCombine/icmp-bc-vec.ll

llvm/test/Transforms/InstCombine/inselt-binop-inseltpoison.ll

llvm/test/Transforms/InstCombine/inselt-binop.ll

llvm/test/Transforms/InstCombine/insert-const-shuf.ll

llvm/test/Transforms/InstCombine/insert-extract-shuffle-inseltpoison.ll

llvm/test/Transforms/InstCombine/insert-extract-shuffle.ll

llvm/test/Transforms/InstCombine/insertelement-bitcast.ll

llvm/test/Transforms/InstCombine/masked_intrinsics-inseltpoison.ll

llvm/test/Transforms/InstCombine/masked_intrinsics.ll

llvm/test/Transforms/InstCombine/masked_intrinsics_keep_metadata.ll

llvm/test/Transforms/InstCombine/minmax-fold.ll

llvm/test/Transforms/InstCombine/multi-size-address-space-pointer.ll

llvm/test/Transforms/InstCombine/pr38984-inseltpoison.ll

llvm/test/Transforms/InstCombine/pr38984.ll

llvm/test/Transforms/InstCombine/reduction-add-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-and-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-mul-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-or-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-smax-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-smin-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-umax-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-umin-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/reduction-xor-sext-zext-i1.ll

llvm/test/Transforms/InstCombine/scalarization-inseltpoison.ll

llvm/test/Transforms/InstCombine/scalarization.ll

llvm/test/Transforms/InstCombine/select-extractelement-inseltpoison.ll

llvm/test/Transforms/InstCombine/select-extractelement.ll

llvm/test/Transforms/InstCombine/select-safe-impliedcond-transforms.ll

llvm/test/Transforms/InstCombine/shift-add-inseltpoison.ll

llvm/test/Transforms/InstCombine/shift-add.ll

llvm/test/Transforms/InstCombine/shufflevec-bitcast-inseltpoison.ll

llvm/test/Transforms/InstCombine/shufflevec-bitcast.ll

llvm/test/Transforms/InstCombine/shufflevector-div-rem-inseltpoison.ll

llvm/test/Transforms/InstCombine/shufflevector-div-rem.ll

llvm/test/Transforms/InstCombine/sincospi.ll

llvm/test/Transforms/InstCombine/sink-into-catchswitch.ll

llvm/test/Transforms/InstCombine/trunc-extractelement-inseltpoison.ll

llvm/test/Transforms/InstCombine/trunc-extractelement.ll

llvm/test/Transforms/InstCombine/trunc-inseltpoison.ll

llvm/test/Transforms/InstCombine/trunc.ll

llvm/test/Transforms/InstCombine/type_pun-inseltpoison.ll

llvm/test/Transforms/InstCombine/type_pun.ll

llvm/test/Transforms/InstCombine/vec_demanded_elts-inseltpoison.ll

llvm/test/Transforms/InstCombine/vec_demanded_elts.ll

llvm/test/Transforms/InstCombine/vec_extract_2elts.ll

llvm/test/Transforms/InstCombine/vec_gep_scalar_arg-inseltpoison.ll

llvm/test/Transforms/InstCombine/vec_gep_scalar_arg.ll

llvm/test/Transforms/InstCombine/vec_phi_extract-inseltpoison.ll

llvm/test/Transforms/InstCombine/vec_phi_extract.ll

llvm/test/Transforms/InstCombine/vec_shuffle-inseltpoison.ll

llvm/test/Transforms/InstCombine/vec_shuffle.ll

llvm/test/Transforms/InstCombine/vector-casts-inseltpoison.ll

llvm/test/Transforms/InstCombine/vector-casts.ll

llvm/test/Transforms/InstCombine/vector-reverse.ll

llvm/test/Transforms/InstCombine/vector_insertelt_shuffle-inseltpoison.ll

llvm/test/Transforms/InstCombine/vector_insertelt_shuffle.ll

llvm/test/Transforms/InstCombine/vscale_cmp.ll

llvm/test/Transforms/InstCombine/vscale_extractelement-inseltpoison.ll

llvm/test/Transforms/InstCombine/vscale_extractelement.ll

llvm/test/Transforms/InstCombine/vscale_insertelement-inseltpoison.ll

llvm/test/Transforms/InstCombine/vscale_insertelement.ll

llvm/test/Transforms/LoopVectorize/AArch64/aarch64-predication.ll

llvm/test/Transforms/LoopVectorize/AArch64/intrinsiccost.ll

llvm/test/Transforms/LoopVectorize/AArch64/sve-cond-inv-loads.ll

llvm/test/Transforms/LoopVectorize/AArch64/sve-gather-scatter.ll

llvm/test/Transforms/LoopVectorize/AArch64/sve-inductions.ll

llvm/test/Transforms/LoopVectorize/AArch64/sve-widen-phi.ll

llvm/test/Transforms/LoopVectorize/ARM/mve-saddsatcost.ll

llvm/test/Transforms/LoopVectorize/ARM/pointer_iv.ll

llvm/test/Transforms/LoopVectorize/SystemZ/addressing.ll

llvm/test/Transforms/LoopVectorize/X86/consecutive-ptr-uniforms.ll

llvm/test/Transforms/LoopVectorize/X86/gather_scatter.ll

llvm/test/Transforms/LoopVectorize/X86/intrinsiccost.ll

llvm/test/Transforms/LoopVectorize/X86/invariant-load-gather.ll

llvm/test/Transforms/LoopVectorize/X86/invariant-store-vectorization.ll

llvm/test/Transforms/LoopVectorize/X86/metadata-enable.ll

llvm/test/Transforms/LoopVectorize/X86/parallel-loops.ll

llvm/test/Transforms/LoopVectorize/X86/small-size.ll

llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-accesses-masked-group.ll

llvm/test/Transforms/LoopVectorize/X86/x86-interleaved-store-accesses-with-gaps.ll

llvm/test/Transforms/LoopVectorize/bsd_regex.ll

llvm/test/Transforms/LoopVectorize/extract-last-veclane.ll

llvm/test/Transforms/LoopVectorize/first-order-recurrence.ll

llvm/test/Transforms/LoopVectorize/float-induction.ll

llvm/test/Transforms/LoopVectorize/induction.ll

llvm/test/Transforms/LoopVectorize/interleaved-accesses-pred-stores.ll

llvm/test/Transforms/LoopVectorize/interleaved-accesses.ll

llvm/test/Transforms/LoopVectorize/invariant-store-vectorization-2.ll

llvm/test/Transforms/LoopVectorize/invariant-store-vectorization.ll

llvm/test/Transforms/LoopVectorize/loop-scalars.ll

llvm/test/Transforms/LoopVectorize/reduction-inloop-pred.ll

llvm/test/Transforms/LoopVectorize/reduction-inloop-uf4.ll

llvm/test/Transforms/LoopVectorize/reduction-inloop.ll

llvm/test/Transforms/LoopVectorize/scalable-inductions.ll

llvm/test/Transforms/LoopVectorize/vector-geps.ll

llvm/test/Transforms/PhaseOrdering/AArch64/hoisting-sinking-required-for-vectorization.ll

llvm/test/Transforms/PhaseOrdering/AArch64/peel-multiple-unreachable-exits-for-vectorization.ll

llvm/test/Transforms/PhaseOrdering/ARM/mve-floatreduce.ll

llvm/test/Transforms/PhaseOrdering/X86/vdiv-nounroll.ll

llvm/test/Transforms/PhaseOrdering/X86/vdiv.ll

llvm/test/Transforms/PhaseOrdering/X86/vector-reductions-logical.ll

llvm/test/Transforms/PhaseOrdering/X86/vector-reductions.ll

llvm/test/Transforms/SLPVectorizer/AArch64/gather-cost.ll

llvm/test/Transforms/SLPVectorizer/AArch64/gather-reduce.ll

llvm/test/Transforms/SLPVectorizer/AArch64/getelementptr.ll

llvm/test/Transforms/SLPVectorizer/AArch64/transpose-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/AArch64/transpose.ll

llvm/test/Transforms/SLPVectorizer/WebAssembly/no-vectorize-rotate.ll

llvm/test/Transforms/SLPVectorizer/X86/alternate-calls-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/X86/alternate-calls.ll

llvm/test/Transforms/SLPVectorizer/X86/alternate-fp-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/X86/alternate-fp.ll

llvm/test/Transforms/SLPVectorizer/X86/alternate-int-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/X86/alternate-int.ll

llvm/test/Transforms/SLPVectorizer/X86/blending-shuffle-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/X86/blending-shuffle.ll

llvm/test/Transforms/SLPVectorizer/X86/cmp_commute-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/X86/cmp_commute.ll

llvm/test/Transforms/SLPVectorizer/X86/minimum-sizes.ll

llvm/test/Transforms/SLPVectorizer/X86/operandorder.ll

llvm/test/Transforms/SLPVectorizer/X86/pr40522.ll

llvm/test/Transforms/SLPVectorizer/X86/pr46983.ll

llvm/test/Transforms/SLPVectorizer/X86/pr47623.ll

llvm/test/Transforms/SLPVectorizer/X86/pr47629-inseltpoison.ll

llvm/test/Transforms/SLPVectorizer/X86/pr47629.ll

llvm/test/Transforms/SLPVectorizer/X86/pr47642.ll

llvm/test/Transforms/SLPVectorizer/X86/pr49081.ll