LLVM / project - FreshBSD

LLVM/project dfb661c — llvm/test/Analysis/LoopAccessAnalysis early-exit-runtime-checks.ll evaluate-at-symbolic-max-backedge-taken-count-may-wrap.ll, llvm/test/Transforms/LoopVectorize single_early_exit_live_outs.ll

main

[LAA] Add extra tests for #128061.

Extend test coverage for
https://github.com/llvm/llvm-project/pull/128061.

Delta		File
+186	-18	llvm/test/Analysis/LoopAccessAnalysis/early-exit-runtime-checks.ll
+57	-8	llvm/test/Transforms/LoopVectorize/single_early_exit_live_outs.ll
+43	-0	llvm/test/Analysis/LoopAccessAnalysis/evaluate-at-symbolic-max-backedge-taken-count-may-wrap.ll
+286	-26	3 files

LLVM/project f13d583 — llvm/lib/Transforms/Vectorize VPlanUtils.cpp

16 hours ago by Florian Hahn on ⎇

main

[VPlan] Pass some functions directly to all_of (NFC).

Remove some unneeded lambdas.

Delta		File
+2	-4	llvm/lib/Transforms/Vectorize/VPlanUtils.cpp
+2	-4	1 files

LLVM/project 02575f8 — llvm/lib/Transforms/Vectorize VPlanRecipes.cpp VPlan.h

16 hours ago by Florian Hahn via GitHub on ⎇

main

[VPlan] Use VPInstruction for VPScalarPHIRecipe. (NFCI) (#129767)

Now that all phi nodes manage their incoming blocks through the
VPlan-predecessors, there should be no need for having a dedicate
recipe, it should be sufficient to allow PHI opcodes in VPInstruction.

Follow-ups will also migrate VPWidenPHIRecipe and possibly others,
building on top of https://github.com/llvm/llvm-project/pull/129388.

PR: https://github.com/llvm/llvm-project/pull/129767

Delta		File
+28	-25	llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp
+1	-42	llvm/lib/Transforms/Vectorize/VPlan.h
+12	-8	llvm/lib/Transforms/Vectorize/VPlanAnalysis.cpp
+9	-4	llvm/lib/Transforms/Vectorize/VPlanVerifier.cpp
+6	-5	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+5	-3	llvm/lib/Transforms/Vectorize/VPlan.cpp
+61	-87	6 files not shown
+69	-95	12 files

LLVM/project 62994c3 — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp, llvm/test/Transforms/LoopVectorize expand-scev-after-invoke.ll induction-step.ll

2 days ago by Florian Hahn on ⎇

main

[VPlan] Also introduce explicit broadcasts for values from entry VPBB.

Update and generalize materializeBroadcasts to also introduce explicit
broadcasts for VPValues defined in the Plans Entry block.

This fixes a crash when trying to insert the broadcasts generated by
VPTransformState::get after the generating instruction, which isn't
possible after invoke instructions.

Fixes https://github.com/llvm/llvm-project/issues/128838.

Delta		File
+83	-0	llvm/test/Transforms/LoopVectorize/expand-scev-after-invoke.ll
+19	-12	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+8	-8	llvm/test/Transforms/LoopVectorize/X86/epilog-vectorization-inductions.ll
+8	-8	llvm/test/Transforms/LoopVectorize/X86/induction-step.ll
+6	-6	llvm/test/Transforms/LoopVectorize/induction-step.ll
+5	-5	llvm/test/Transforms/LoopVectorize/float-induction.ll
+129	-39	4 files not shown
+139	-49	10 files

LLVM/project dc23234 — llvm/lib/Transforms/Vectorize VPlanRecipes.cpp

3 days ago by Florian Hahn on ⎇

main

[VPlan] Remove dead code in VPWidenPHIRecipe::print (NFC).

All incoming models for VPWidenPHIRecipe are modled in VPlan, remove
code trying to print the orignial phi.

Delta		File
+0	-10	llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp
+0	-10	1 files

LLVM/project 8132c4f — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp, llvm/test/Transforms/LoopVectorize pr37248.ll pr55167-fold-tail-live-out.ll

3 days ago by Florian Hahn on ⎇

main

[VPlan] Also introduce broadcasts for live-ins used in vec preheader.

Slightly generalize materializeLiveInBroadcasts to also introduce
broadcasts for live-ins used in the vector preheader. This should cover
all live-ins.

If the live-in is used in the vector preheader, insert the broadcast at
the beginning of the block.

Delta		File
+35	-35	llvm/test/Transforms/LoopVectorize/pr37248.ll
+21	-17	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+8	-8	llvm/test/Transforms/LoopVectorize/AArch64/reduction-recurrence-costs-sve.ll
+7	-7	llvm/test/Transforms/LoopVectorize/pr55167-fold-tail-live-out.ll
+4	-4	llvm/test/Transforms/LoopVectorize/X86/scatter_crash.ll
+4	-4	llvm/test/Transforms/LoopVectorize/AArch64/loop-vectorization-factors.ll
+79	-75	13 files not shown
+101	-97	19 files

LLVM/project aeae366 — llvm/lib/Transforms/Vectorize VPlan.h

4 days ago by Florian Hahn on ⎇

main

[VPlan] Make start operand non-optional for VPHeaderPHIRecipe (NFC).

The start value is always available, require it unconditionally.

Delta		File
+2	-4	llvm/lib/Transforms/Vectorize/VPlan.h
+2	-4	1 files

LLVM/project f84f4e1 — llvm/lib/Transforms/Vectorize LoopVectorize.cpp, llvm/test/Transforms/LoopVectorize vplan-native-path-inner-loop-with-runtime-checks.ll

4 days ago by Florian Hahn on ⎇

main

[LV] Don't crash on inner loops with RT checks in VPlan-native path.

Assert that we only generate runtime checks for inner loops in
emitMemRuntimeChecks, instead of returning nullptr in the VPlan-native
path, which is causing crashes and incorrect code.

Delta		File
+157	-0	llvm/test/Transforms/LoopVectorize/vplan-native-path-inner-loop-with-runtime-checks.ll
+4	-4	llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+161	-4	2 files

LLVM/project c7f7ac7 — llvm/lib/Transforms/IPO MergeFunctions.cpp, llvm/test/Transforms/MergeFunc comdat.ll

4 days ago by Florian Hahn via GitHub on ⎇

main

[MergeFunc] Keep comdat on new function, not thunk. (#130583)

MergeFunc uses the original function F as Thunk and creates a new function NewF for the original function F. Preserve F's comdat info on NewF instead of the thunk.

This fixes a crash when trying to lower comdat on the thunk during codegen.

Delta		File
+6	-4	llvm/test/Transforms/MergeFunc/comdat.ll
+2	-0	llvm/lib/Transforms/IPO/MergeFunctions.cpp
+8	-4	2 files

LLVM/project dd86ece — llvm/test/Transforms/MergeFunc comdat.ll

4 days ago by Florian Hahn on ⎇

main

[MergeFunc] Check full IR and comdat keys in comdat.ll.

Delta		File
+24	-3	llvm/test/Transforms/MergeFunc/comdat.ll
+24	-3	1 files

LLVM/project 437d587 — llvm/test/Transforms/LoopVectorize outer-loop-inner-latch-successors.ll

5 days ago by Florian Hahn on ⎇

main

[LV] Add outer loop test with different successor orders in inner latch.

Delta		File
+213	-0	llvm/test/Transforms/LoopVectorize/outer-loop-inner-latch-successors.ll
+213	-0	1 files

LLVM/project fd26708 — llvm/lib/Transforms/Vectorize VPlanConstruction.cpp VPlan.cpp, llvm/test/Transforms/LoopVectorize vplan-printing-outer-loop.ll

5 days ago by Florian Hahn via GitHub on ⎇

main

[VPlan] Refactor VPlan creation, add transform introducing region (NFC). (#128419)

Create an empty VPlan first, then let the HCFG builder create a plain
CFG for the top-level loop (w/o a top-level region). The top-level
region is introduced by a separate VPlan-transform. This is instead of
creating the vector loop region before building the VPlan CFG for the
input loop.

This simplifies the HCFG builder (which should probably be renamed) and
moves along the roadmap ('buildLoop') outlined in [1].

As follow-up, I plan to also preserve the exit branches in the initial
VPlan out of the CFG builder, including connections to the exit blocks.

The conversion from plain CFG with potentially multiple exits to a
single entry/exit region will be done as VPlan transform in a follow-up.

This is needed to enable VPlan-based predication. Currently early exit
support relies on building the block-in masks on the original CFG,

    [13 lines not shown]

Delta		File
+101	-0	llvm/lib/Transforms/Vectorize/VPlanConstruction.cpp
+7	-84	llvm/lib/Transforms/Vectorize/VPlan.cpp
+21	-50	llvm/test/Transforms/LoopVectorize/vplan-printing-outer-loop.ll
+21	-44	llvm/lib/Transforms/Vectorize/VPlanHCFGBuilder.cpp
+8	-16	llvm/lib/Transforms/Vectorize/VPlan.h
+11	-7	llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+169	-201	4 files not shown
+193	-207	10 files

LLVM/project 8dd160f — llvm/test/Transforms/LoopVectorize select-cmp.ll single_early_exit_live_outs.ll, llvm/test/Transforms/LoopVectorize/AArch64 sve-select-cmp.ll

7 days ago by Florian Hahn via GitHub on ⎇

main

Revert "[VPlan] Fold NOT into predicate of wide compares." (#130347)

Reverts llvm/llvm-project#129430

this seems to have introduced a divergence between legacy and
VPlan-based cost model

https://lab.llvm.org/buildbot/#/builders/30/builds/17159

Delta		File
+120	-60	llvm/test/Transforms/LoopVectorize/X86/masked_load_store.ll
+44	-22	llvm/test/Transforms/LoopVectorize/select-cmp.ll
+36	-18	llvm/test/Transforms/LoopVectorize/single_early_exit_live_outs.ll
+27	-24	llvm/test/Transforms/LoopVectorize/select-reduction-start-value-may-be-undef-or-poison.ll
+30	-20	llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+21	-14	llvm/test/Transforms/LoopVectorize/AArch64/sve-select-cmp.ll
+278	-158	22 files not shown
+381	-241	28 files

LLVM/project cb3ce30 — llvm/test/Transforms/LoopVectorize select-cmp.ll single_early_exit_live_outs.ll, llvm/test/Transforms/LoopVectorize/AArch64 sve-select-cmp.ll

7 days ago by Florian Hahn via GitHub on ⎇

main

[VPlan] Fold NOT into predicate of wide compares. (#129430)

Add simplification to fold negation into a compare, if the negation is
the only user of the compare. This removes a number of redundant
negations.

Alive2 Proofs for FPCMP test changes:  https://alive2.llvm.org/ce/z/WGDz9U

PR: https://github.com/llvm/llvm-project/pull/129430

Delta		File
+60	-120	llvm/test/Transforms/LoopVectorize/X86/masked_load_store.ll
+22	-44	llvm/test/Transforms/LoopVectorize/select-cmp.ll
+18	-36	llvm/test/Transforms/LoopVectorize/single_early_exit_live_outs.ll
+24	-27	llvm/test/Transforms/LoopVectorize/select-reduction-start-value-may-be-undef-or-poison.ll
+20	-30	llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+14	-21	llvm/test/Transforms/LoopVectorize/AArch64/sve-select-cmp.ll
+158	-278	22 files not shown
+241	-381	28 files

LLVM/project 72376e1 — llvm/lib/Transforms/Vectorize VPlan.h

8 days ago by Florian Hahn on ⎇

main

[VPlan] Remove unused VPWidenIntrinsicRecipe constructor (NFC)

Delta		File
+0	-6	llvm/lib/Transforms/Vectorize/VPlan.h
+0	-6	1 files

LLVM/project b2d70e8 — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp

10 days ago by Florian Hahn on ⎇

main

[VPlan] Use Builder to create cast recipes in VPlanTransforms (NFC).

Use VPBuilder in a few more places. This avoids manual insertions and
will make changing the cast recipe easier in the future.

Delta		File
+9	-11	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+9	-11	1 files

LLVM/project 15770a1 — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp

10 days ago by Florian Hahn on ⎇

main

[VPlan] Remove dead recipes in entry when merging regions. (NFC)

Also remove recipes in the entry of the region that will be removed.
This makes sure we don't leave any dead users around. NFC at the moment,
but avoids causing issues in the future.

Delta		File
+5	-0	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+5	-0	1 files

LLVM/project dfc5f37 — llvm/lib/Transforms/Vectorize VPlan.h

11 days ago by Florian Hahn on ⎇

main

[VPlan] Move onlyFirstLaneUsed to VPWidenInductionRecipe (NFC).

Move onlyFirstLaneUsed from VPWidenIntOrFpInductionRecipe and
VPWidenPointerInduction to VPWidenInductionRecipe. Also mark step value
as having only its first lane used.

Delta		File
+10	-17	llvm/lib/Transforms/Vectorize/VPlan.h
+10	-17	1 files

LLVM/project 87f837c — llvm/lib/Transforms/Vectorize VPlan.h

11 days ago by Florian Hahn on ⎇

main

[VPlan] Remove unneeded classof with VPHeaderRecipe args (NFC).

The extra classof implementation is not needed any longer.

Delta		File
+0	-20	llvm/lib/Transforms/Vectorize/VPlan.h
+0	-20	1 files

LLVM/project ba7e273 — llvm/lib/Transforms/Vectorize VPlan.h

12 days ago by Florian Hahn on ⎇

main

[VPlan] Use VP_CLASSOF_IMPL in VPWidenRecipe. (NFC)

Delta		File
+1	-8	llvm/lib/Transforms/Vectorize/VPlan.h
+1	-8	1 files

LLVM/project f937b17 — llvm/lib/Transforms/Vectorize LoopVectorize.cpp, llvm/test/Transforms/LoopVectorize/X86 cost-model.ll

12 days ago by Florian Hahn on ⎇

main

[LV] Don't query SCEV for non-invariant values in cost model.

This fixes a divergence between VPlan and legacy cost model, matching
behavior further up in getInstructionCost as well.

Fixes https://github.com/llvm/llvm-project/issues/129236.

Delta		File
+65	-0	llvm/test/Transforms/LoopVectorize/X86/cost-model.ll
+2	-1	llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+67	-1	2 files

LLVM/project 75270e3 — llvm/lib/Transforms/Vectorize VPlanHCFGBuilder.h VPlanHCFGBuilder.cpp, llvm/unittests/Transforms/Vectorize VPlanVerifierTest.cpp

13 days ago by Florian Hahn on ⎇

main

[VPlan] Don't print VPlan DT after VPlan construction. (NFC)

Remove unnecessary code to just print VPlan dominator tree.

Delta		File
+3	-6	llvm/lib/Transforms/Vectorize/VPlanHCFGBuilder.h
+0	-5	llvm/lib/Transforms/Vectorize/VPlanHCFGBuilder.cpp
+1	-0	llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+1	-0	llvm/unittests/Transforms/Vectorize/VPlanVerifierTest.cpp
+5	-11	4 files

LLVM/project 9f37cdc — llvm/lib/Transforms/Vectorize VPlanHelpers.h VPlan.cpp

13 days ago by Florian Hahn on ⎇

main

[VPlan] Update VPTransformState accessors to take const VPValue (NFC).

This will enable using const VPValue * pointers are in more places.

Delta		File
+13	-11	llvm/lib/Transforms/Vectorize/VPlanHelpers.h
+3	-3	llvm/lib/Transforms/Vectorize/VPlan.cpp
+16	-14	2 files

LLVM/project 275baed — llvm/lib/Analysis LoopAccessAnalysis.cpp, llvm/test/Analysis/LoopAccessAnalysis underlying-object-different-address-spaces.ll

14 days ago by Florian Hahn via GitHub on ⎇

main

[LAA] Consider accessed addrspace when mapping underlying obj to access. (#129087)

In some cases, it is possible for the same underlying object to be
accessed via pointers to different address spaces. This could lead to
pointers from different address spaces ending up in the same dependency
set, which isn't allowed (and triggers an assertion).

Update the mapping from underlying object -> last access to also include
the accessing address space.

Fixes https://github.com/llvm/llvm-project/issues/124759.

PR: https://github.com/llvm/llvm-project/pull/129087

Delta		File
+39	-0	llvm/test/Analysis/LoopAccessAnalysis/underlying-object-different-address-spaces.ll
+8	-4	llvm/lib/Analysis/LoopAccessAnalysis.cpp
+47	-4	2 files

LLVM/project f9b2497 — llvm/lib/Transforms/Vectorize VPlanHelpers.h

14 days ago by Florian Hahn on ⎇

main

[VPlan] Use const for VPBasicBlock* in key in VPBB2IRBB (NFC).

This allows queries in places where only a const pointer to VPBasiBlocks
is available.

Delta		File
+1	-1	llvm/lib/Transforms/Vectorize/VPlanHelpers.h
+1	-1	1 files

LLVM/project c0bf4b2 — llvm/lib/Transforms/Vectorize VPlanValue.h

14 days ago by Florian Hahn on ⎇

main

[VPlan] Remove unneeded VPValue::getLiveInIRValue() const (NFC).

The accessor is not needed/used.

Delta		File
+1	-6	llvm/lib/Transforms/Vectorize/VPlanValue.h
+1	-6	1 files

LLVM/project 6ce41db — llvm/lib/Transforms/Vectorize VPlanRecipes.cpp VPlan.h, llvm/test/Transforms/LoopVectorize debugloc.ll

15 days ago by Florian Hahn on ⎇

main

[VPlan] Preserve DebugLoc for VPBranchOnMaskRecipe.

Update code to set and generate debug location for branch recipe

Delta		File
+4	-2	llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp
+3	-3	llvm/lib/Transforms/Vectorize/VPlan.h
+2	-4	llvm/test/Transforms/LoopVectorize/debugloc.ll
+3	-1	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+2	-2	llvm/unittests/Transforms/Vectorize/VPlanTest.cpp
+14	-12	5 files

LLVM/project 253d691 — llvm/lib/Transforms/Vectorize VPlan.h VPlanRecipes.cpp

15 days ago by Florian Hahn on ⎇

main

[VPlan] Update VPBranchOnMaskRecipe to always set the mask (NFC).

The mask is always available at construction time. Make it non-optional
to simlpify code.

Delta		File
+2	-16	llvm/lib/Transforms/Vectorize/VPlan.h
+2	-7	llvm/lib/Transforms/Vectorize/VPlanRecipes.cpp
+4	-23	2 files

LLVM/project 1e1b9bc — llvm/lib/Transforms/Vectorize VPlanTransforms.cpp, llvm/test/Transforms/LoopVectorize if-pred-non-void.ll induction.ll

15 days ago by Florian Hahn via GitHub on ⎇

main

[VPlan] Simplify BLEND %a, %b, NOT(%m) -> BLEND %b, %a, %m. (#128375)

Avoid negations for normalized blends by reordering operands.

PR: https://github.com/llvm/llvm-project/pull/128375

Delta		File
+15	-21	llvm/test/Transforms/LoopVectorize/if-pred-non-void.ll
+11	-16	llvm/test/Transforms/LoopVectorize/induction.ll
+11	-12	llvm/test/Transforms/LoopVectorize/load-of-struct-deref-pred.ll
+7	-10	llvm/test/Transforms/LoopVectorize/if-pred-stores.ll
+14	-0	llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+4	-7	llvm/test/Transforms/LoopVectorize/X86/drop-poison-generating-flags.ll
+62	-66	13 files not shown
+88	-109	19 files

LLVM/project 3afc3f4 — llvm/lib/Transforms/IPO MergeFunctions.cpp, llvm/test/Transforms/MergeFunc merge-linkonce-odr.ll linkonce.ll

15 days ago by Florian Hahn via GitHub on ⎇

main

[MergeFunc] Remove discardables function before writing alias or thunk. (#128865)

Update writeThunkOrAlias to only create an alias or thunk if it is
actually needed. Drop discardable linkone_odr functions if they are not
used before.

PR: https://github.com/llvm/llvm-project/pull/128865

Delta		File
+21	-14	llvm/lib/Transforms/IPO/MergeFunctions.cpp
+1	-13	llvm/test/Transforms/MergeFunc/merge-linkonce-odr.ll
+2	-9	llvm/test/Transforms/MergeFunc/linkonce.ll
+2	-9	llvm/test/Transforms/MergeFunc/linkonce_odr.ll
+26	-45	4 files