LLVM/project 626ef59llvm/lib/Transforms/Instrumentation IndirectCallPromotion.cpp, llvm/lib/Transforms/Scalar JumpTableToSwitch.cpp

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7
DeltaFile
+3-4llvm/lib/Transforms/Scalar/JumpTableToSwitch.cpp
+3-3llvm/lib/Transforms/Instrumentation/IndirectCallPromotion.cpp
+6-72 files

LLVM/project a1ff77dllvm/lib/Transforms/Instrumentation IndirectCallPromotion.cpp

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]
DeltaFile
+3-3llvm/lib/Transforms/Instrumentation/IndirectCallPromotion.cpp
+3-31 files

LLVM/project ad342d4llvm/lib/Transforms/Instrumentation IndirectCallPromotion.cpp

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7
DeltaFile
+3-3llvm/lib/Transforms/Instrumentation/IndirectCallPromotion.cpp
+3-31 files

LLVM/project bae540bllvm/lib/IR Verifier.cpp, llvm/test/Verifier value-profile.ll

[IR] Verify that VP !prof does not have duplicate prof values

Follows on #193077. We should not have duplicate values as they should
be merged before being moved into IR. Add this to the verifier so that
we can actually enforce this constraint.

Reviewers: david-xl, teresajohnson

Pull Request: https://github.com/llvm/llvm-project/pull/193083
DeltaFile
+9-0llvm/lib/IR/Verifier.cpp
+9-0llvm/test/Verifier/value-profile.ll
+18-02 files

LLVM/project 96285e0flang/lib/Semantics check-omp-structure.cpp check-omp-structure.h, flang/test/Semantics/OpenMP declare-target09.f90

[flang][OpenMP] Add diagnostic for bare DECLARE TARGET in invalid scopes (#198039)

The bare form of `!$omp declare target` (without arguments or clauses)
is only permitted in the specification part of a subroutine, function,
or interface body (OpenMP 5.2, section 7.8.2). Flang previously accepted
it silently in BLOCK DATA, PROGRAM, MODULE, SUBMODULE, and BLOCK
constructs.

This patch:
- Adds a semantic check rejecting the bare form outside Subprogram
scopes.
- Adds MpSubprogramStmt/EndMpSubprogramStmt scope tracking to avoid
  false positives in separate module subprograms (MODULE PROCEDURE).
- Fixes pre-existing BlockConstruct scope tracking bugs: the Leave
  handler was pushing instead of popping (stack corruption), and the
  Enter handler used blockStmt.source which resolves to the parent
  scope. Now uses endBlockStmt.source (walked inside the block scope
  during name resolution) for correct BlockConstruct scope identity.


    [4 lines not shown]
DeltaFile
+101-0flang/test/Semantics/OpenMP/declare-target09.f90
+25-14flang/lib/Semantics/check-omp-structure.cpp
+2-0flang/lib/Semantics/check-omp-structure.h
+128-143 files

LLVM/project bf89698lld/ELF MarkLive.cpp, lld/test/ELF why-live.test

[ELF] Fix imprecise --why-live message for exported symbols (#198139)

The "; may interpose" suffix is imprecise: a symbol is preserved because
it is exported into the dynamic symbol table, regardless of whether it
is interposable (preemptible).

Fix #192035 and add a test (previously uncovered)
DeltaFile
+11-0lld/test/ELF/why-live.test
+1-1lld/ELF/MarkLive.cpp
+12-12 files

LLVM/project e407a44llvm/test/FileCheck/dump-input filter.txt annotations.txt, llvm/test/FileCheck/dump-input/search-range-annotations check-not.txt check-label-follows.txt

[FileCheck] Annotate search ranges with { } in -dump-input

Example
=======

```
$ cat check
CHECK: start
CHECK-NEXT: end

$ FileCheck -v -dump-input-context=2 check < input |& tail -23
<<<<<<
          1: start
check:1      ^~~~~
next:2'0         {   search range start (exclusive)
          2: foo0
          3: foo1
          .
          .

    [134 lines not shown]
DeltaFile
+373-214llvm/test/FileCheck/dump-input/filter.txt
+364-113llvm/test/FileCheck/dump-input/annotations.txt
+201-29llvm/utils/FileCheck/FileCheck.cpp
+101-99llvm/test/FileCheck/dump-input/context.txt
+112-0llvm/test/FileCheck/dump-input/search-range-annotations/check-not.txt
+74-0llvm/test/FileCheck/dump-input/search-range-annotations/check-label-follows.txt
+1,225-4557 files not shown
+1,327-49113 files

LLVM/project 2b7c4d0llvm/test/FileCheck/dump-input annotations.txt, llvm/utils/FileCheck FileCheck.cpp

[FileCheck] Refactor -dump-input test

This patch refactors `llvm/test/FileCheck/dump-input/annotations.txt`
to improve maintainability and coverage and to prepare for the
upcoming implementation of search range annotations.

Lit substitutions
=================

The test repeats the same basic set of RUN lines *many* times.  This
patch encapsulates those in lit substitutions to improve
maintainability.  By doing so, it also helps to ensure more consistent
coverage of all cases and thus slightly expands coverage.

-strict-whitespace
==================

Via those substitutions, this patch adds `-strict-whitespace`
throughout the test, and it drops the initial `-strict-whitespace`

    [27 lines not shown]
DeltaFile
+592-509llvm/test/FileCheck/dump-input/annotations.txt
+11-0llvm/utils/FileCheck/FileCheck.cpp
+603-5092 files

LLVM/project b2b510allvm/test/FileCheck/match-time-error-propagation invalid-excluded-pattern.txt matched-excluded-pattern.txt

[FileCheck] Resurrect overflow tests

D150880 (landed as 0726cb004718) uses `APInt` to eliminate most
integer overflow issues from FileCheck numeric variables.  It also
removes the 4 tests in
`llvm/test/FileCheck/match-time-error-propagation`.

While the elimination of overflow issues reduces the importance of
those tests, the tests still seem worthwhile.  Without them, I see no
test that exercises the "unable to substitute variable or numeric
expression: overflow error" diagnostic in FileCheck input dumps.

This patch resurrects those tests and updates them to exercise the
remaining unsigned underflow case.
DeltaFile
+68-0llvm/test/FileCheck/match-time-error-propagation/invalid-excluded-pattern.txt
+63-0llvm/test/FileCheck/match-time-error-propagation/matched-excluded-pattern.txt
+58-0llvm/test/FileCheck/match-time-error-propagation/matched-expected-pattern.txt
+55-0llvm/test/FileCheck/match-time-error-propagation/invalid-expected-pattern.txt
+244-04 files

LLVM/project 20b0089lld/ELF SymbolTable.cpp

[ELF] Remove redundant memset in SymbolTable::insert. NFC (#198132)

make<SymbolUnion>() value-initializes the union, zero-initializing all
sizeof(SymbolUnion) bytes. The following memset(sym, 0, sizeof(Symbol))
is therefore redundant.

This placeholder path runs no Symbol constructor, so it was not covered
by the constructor initialization in
905a88b923433eb8cd83677ea55bee82eb9ba498.
DeltaFile
+2-2lld/ELF/SymbolTable.cpp
+2-21 files

LLVM/project 19502e4llvm/test/CodeGen/AMDGPU/GlobalISel sdivrem.ll udivrem.ll, llvm/test/CodeGen/Thumb2 mve-clmul.ll

Rebase

Created using spr 1.3.7
DeltaFile
+8,633-8,584llvm/test/CodeGen/Thumb2/mve-clmul.ll
+3,436-2,769llvm/test/CodeGen/AMDGPU/GlobalISel/sdivrem.ll
+2,801-2,109llvm/test/CodeGen/AMDGPU/GlobalISel/udivrem.ll
+0-4,752llvm/test/tools/llvm-mca/RISCV/SiFiveP800/vlseg-vsseg.s
+4,549-0llvm/test/tools/llvm-mca/RISCV/SiFiveP800/rvv/arithmetic.test
+3,706-328llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-load-local.mir
+23,125-18,5422,566 files not shown
+155,715-74,0332,572 files

LLVM/project f70897fllvm/lib/Target/X86 X86ISelLowering.cpp, llvm/test/CodeGen/X86 vector-replicaton-i1-mask.ll

[X86] isExtractSubvectorCheap - fix typo in vXi1 extraction test (#198127)

Fix typo in check for ResVT subvector being half the size of the SrcVT vector (instead of vice-versa).

Fixes #195695
DeltaFile
+1,243-8,768llvm/test/CodeGen/X86/vector-replicaton-i1-mask.ll
+3-2llvm/lib/Target/X86/X86ISelLowering.cpp
+1,246-8,7702 files

LLVM/project 905a88blld/ELF Symbols.h InputFiles.cpp

[ELF] Initialize Symbol fields in the constructor instead of via memset (#198129)

`initSectionsAndLocalSyms` and `makeDefined` memset the storage to zero
and then placement-new a Symbol-derived object into it. Placement new
begins a new object's lifetime. The standard does not seem to guarantee
the memset bytes carry into members the constructor leaves
uninitialized.

lld built by GCC 16 can make Valgrind report reads of Symbol::flags
(via getSymSectionIndex during finalizeSections) as uses of
uninitialized values (ClangBuiltLinux/linux#2162).

This patch reinstates the per-field initialization that commit
778742760534 ("[ELF] Avoid redundant assignment to Symbol fields. NFC")
had replaced with a bulk memset.
DeltaFile
+12-8lld/ELF/Symbols.h
+0-2lld/ELF/InputFiles.cpp
+12-102 files

LLVM/project 2e4c820llvm/lib/Transforms/Vectorize VPlanCFG.h VPlanConstruction.cpp

[VPlan] Refine plain CFG iterator name and strengthen assert (NFC). (#198124)

Address post-commit comments for
https://github.com/llvm/llvm-project/pull/197499:
* add rpo prefix the name to indicate traversal (similar to other
vp_depth_first_ helpers)
 * Added comment about skipped VPIRBBs + assert.
DeltaFile
+8-3llvm/lib/Transforms/Vectorize/VPlanCFG.h
+1-1llvm/lib/Transforms/Vectorize/VPlanConstruction.cpp
+9-42 files

LLVM/project e024375llvm/lib/Transforms/Vectorize VPlanUtils.h VPlanTransforms.cpp

[VPlan] Add blocksAs helper (NFC). (#198122)

Add new blocksAs helper which casts all blocks in the provided range to
the specified type, instead of filtering out non-matching blocks.
Migrate a number of users that expect only VPBasicBlocks.

Pointed out post-commit in
https://github.com/llvm/llvm-project/pull/197499.
DeltaFile
+11-0llvm/lib/Transforms/Vectorize/VPlanUtils.h
+3-3llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+2-2llvm/lib/Transforms/Vectorize/VPlanUnroll.cpp
+1-1llvm/lib/Transforms/Vectorize/VPlanCFG.h
+17-64 files

LLVM/project 7f0fe47llvm/utils/gn/secondary/llvm/tools/llvm-ir2vec/lib BUILD.gn

[gn build] Port 6ea6d51c0b88 (#198108)
DeltaFile
+4-1llvm/utils/gn/secondary/llvm/tools/llvm-ir2vec/lib/BUILD.gn
+4-11 files

LLVM/project 1f53485llvm/lib/Target/RISCV/MCTargetDesc RISCVELFStreamer.cpp RISCVBaseInfo.h

[RISC-V][RVY] Introduce pure-capability ABI names

Adding this will allow updating #177249 to define the datalayout only
based on the triple and ABI instead of inspecting the feature string
which is a per-function property and not a per-module one.

The RVY ABIs are currently under review at this psABI pull request:
https://github.com/riscv-non-isa/riscv-elf-psabi-doc/pull/499

Pull Request: https://github.com/llvm/llvm-project/pull/194270
DeltaFile
+7-0llvm/lib/Target/RISCV/MCTargetDesc/RISCVELFStreamer.cpp
+7-0llvm/lib/Target/RISCV/MCTargetDesc/RISCVBaseInfo.h
+7-0llvm/lib/Target/RISCV/MCTargetDesc/RISCVBaseInfo.cpp
+21-03 files

LLVM/project 6e8b6efllvm/lib/Transforms/Vectorize SLPVectorizer.cpp, llvm/test/Transforms/SLPVectorizer/AArch64 scalable-type-revec.ll

[SLP][REVEC] Fix crash on scalable vector types with -slp-revec

isValidElementType incorrectly called toScalarizedTy for scalable vector
types because isVectorizedTy returns true for all vector types. This let
scalable types pass as valid revectorization elements, causing a fatal
"Cannot implicitly convert a scalable size to a fixed-width size" error
in getNumElements when it called getVectorizedTypeVF(Ty).getFixedValue().

Fixes #198076

Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/198123
DeltaFile
+22-0llvm/test/Transforms/SLPVectorizer/AArch64/scalable-type-revec.ll
+1-1llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp
+23-12 files

LLVM/project fc6996bllvm/lib/Transforms/Vectorize VPlanConstruction.cpp VPlanTransforms.h, llvm/test/Transforms/LoopVectorize/VPlan predicator.ll tail-folding.ll

[VPlan] Split out adding canonical IV recipes to separate transform. (#197541)

Introduce canonical IV recipes after initial scalar
transformations/simplifications. Conceptually it is a separate
transformation and moving it later simplifies initial construction The
canonical IV is only needed once we handle early exits/introduce
regions.

This is needed to compute costs of scalar VPlans, where we need to
compare the cost of the original loop control instructions.

PR: https://github.com/llvm/llvm-project/pull/197541
DeltaFile
+13-21llvm/lib/Transforms/Vectorize/VPlanConstruction.cpp
+14-0llvm/test/Transforms/LoopVectorize/VPlan/predicator.ll
+7-4llvm/unittests/Transforms/Vectorize/VPlanTestBase.h
+6-3llvm/lib/Transforms/Vectorize/VPlanTransforms.h
+5-4llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
+8-0llvm/test/Transforms/LoopVectorize/VPlan/tail-folding.ll
+53-324 files not shown
+67-3210 files

LLVM/project f724d70llvm/lib/Target/AArch64 AArch64ISelLowering.cpp, llvm/test/CodeGen/AArch64 mul-const-addressing-mode.ll

[AArch64] Decompose constant multiplies used only by memory addresses (#194584)

AArch64 currently avoids decomposing a constant multiply when the
multiply has
a single ADD/SUB user, preserving the opportunity to form MADD/MSUB.

That heuristic is too conservative when the ADD/SUB is used only as a
memory
address. In that case the ADD/SUB is selected as part of load/store
address
mode selection, so preserving the multiply does not produce MADD/MSUB
and
prevents the existing constant-multiply decomposition from exposing
ADD/LSL
forms usable by AArch64 register-offset addressing.

Relax the bailout for ADD/SUB users that are only used as unindexed
load/store
base addresses.

Fixes #161446.
DeltaFile
+137-0llvm/test/CodeGen/AArch64/mul-const-addressing-mode.ll
+37-3llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
+174-32 files

LLVM/project 8156fcellvm/lib/Transforms/Vectorize SLPVectorizer.cpp, llvm/test/Transforms/SLPVectorizer/X86 reused-extract-scalar-lanes.ll

[SLP] Prefer VF-matching scalar-set match in gather-shuffle lookup

In isGatherShuffledSingleRegisterEntry, the perfect-match search accepted
an entry that isSame(TE->Scalars) regardless of the entry's vector factor.
isSame can succeed via ReuseShuffleIndices on an entry whose actual VF is
smaller than TE->Scalars.size(); the subsequent mask construction then
copies TE->getCommonMask() indices that overrun the chosen source's lanes,
producing wrong shufflevector masks and a more-poisonous result than the
scalar code.

Fixes #197765

Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/198120
DeltaFile
+3-1llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp
+1-3llvm/test/Transforms/SLPVectorizer/X86/reused-extract-scalar-lanes.ll
+4-42 files

LLVM/project 078f0e7llvm/test/Transforms/SLPVectorizer/X86 reused-extract-scalar-lanes.ll

[SLP][NFC]Add a test with the incorrect shuffle for matched entries, NFC



Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/198119
DeltaFile
+164-0llvm/test/Transforms/SLPVectorizer/X86/reused-extract-scalar-lanes.ll
+164-01 files

LLVM/project b1a8b4fllvm/lib/Transforms/Vectorize VPlanTransforms.cpp

[LV] Update stale comment for partial reduction operands (NFC)

The `neg` form was removed in #187228 (this case now uses the out-of-loop sub, which is preferable, see #189739).
DeltaFile
+0-2llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+0-21 files

LLVM/project b2366c4llvm/utils/FileCheck FileCheck.cpp

[FileCheck][NFC] Introduce MarkerRange for -dump-input (#196800)

`MarkerRange` makes the computation of marker ranges clearer because it
encapsulates handling of several subtle boundary cases:
- It handles adjustments to line numbers when a range boundary appears
  at a line boundary.
- It avoids related mistakes in determining whether the range is
  contained within a single line.
- It avoids the mistake of producing no marker in an input annotation
  for an empty range.

It will be used more in a future patch that extends `-dump-input` to
present search ranges for all errors.

This PR is stacked on PR #196799.
DeltaFile
+85-39llvm/utils/FileCheck/FileCheck.cpp
+85-391 files

LLVM/project ea2eeb2llvm/test/CodeGen/AMDGPU/GlobalISel srem.i64.ll sdiv.i64.ll

[AArch64][GlobalISel] Improve multiplication with multiple registers (#197943)

When working on codegen for `llvm.umul.fix.sat` I have recognized that
among for many things, GISel also generates worse code for mul when the
data is in multiple registers (for example when the register length is
64 bits but you want to multiply two 128 bit values).

Here is the example ll:
```
define i128 @i128(i128 %a, i128 %b) {
entry:
  %s = mul i128 %a, %b
  ret i128 %s
}
```

This is what GISel gave:
```
  mul   x9, x0, x3

    [19 lines not shown]
DeltaFile
+945-949llvm/test/CodeGen/AMDGPU/GlobalISel/srem.i64.ll
+942-946llvm/test/CodeGen/AMDGPU/GlobalISel/sdiv.i64.ll
+411-384llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-srem.mir
+411-384llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-sdiv.mir
+384-384llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-udiv.mir
+384-384llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-urem.mir
+3,477-3,43128 files not shown
+5,654-5,65934 files

LLVM/project fa4d737llvm/lib/Target/X86 X86ISelLowering.cpp

[X86] LowerVECREDUCE - add AllowScalarization operand (#198109)

Pull out scalarization control from LowerVECREDUCE call to allow
different decisions based on the VECREDUCE opcode in future patches
DeltaFile
+5-5llvm/lib/Target/X86/X86ISelLowering.cpp
+5-51 files

LLVM/project ce6661dllvm/utils/FileCheck FileCheck.cpp

Simplify comments and a line of code
DeltaFile
+20-44llvm/utils/FileCheck/FileCheck.cpp
+20-441 files

LLVM/project 0d7bccfllvm/lib/CodeGen AtomicExpandPass.cpp, llvm/test/CodeGen/ARM atomic-load-store.ll

[AtomicExpand] Add bitcasts when expanding store atomic vector

AtomicExpand fails for aligned \`store atomic <n x T>\` because it
does not find a compatible library call. This change adds appropriate
ptrtoint + bitcast so that the call can be lowered, mirroring the
load-side handling from #148900.
DeltaFile
+99-6llvm/test/CodeGen/X86/atomic-load-store.ll
+98-0llvm/test/Transforms/AtomicExpand/X86/expand-atomic-non-integer.ll
+49-0llvm/test/CodeGen/ARM/atomic-load-store.ll
+4-2llvm/lib/CodeGen/AtomicExpandPass.cpp
+250-84 files

LLVM/project 222484bclang/include/clang/Basic CodeGenOptions.def, clang/include/clang/Options Options.td

Remove default setting signaling_nan attribute for strictfp functions

We cannot describe such behavior in Clang User Manual, strictfp is not
visible for a user.
DeltaFile
+8-9clang/include/clang/Options/Options.td
+4-8clang/lib/Driver/ToolChains/Clang.cpp
+5-5clang/test/CodeGen/fp-floatcontrol-stack.cpp
+4-4clang/test/Driver/fp-model.c
+1-6clang/lib/CodeGen/CodeGenFunction.cpp
+1-4clang/include/clang/Basic/CodeGenOptions.def
+23-366 files not shown
+30-4412 files

LLVM/project d90baa0lldb/source/Commands CommandObjectBreakpoint.cpp CommandObjectTarget.cpp

[lldb] Make CommandObject::GetTarget filter out the dummy target (#198026)

Follow-up to #197805. Make CommandObject::GetTarget the canonical target
accessor for command code, and tighten its semantics so that DoExecute
methods can't accidentally operate on the dummy target.

GetTarget now returns Target* instead of Target&. The result is the
target from the command's frozen execution context, falling back to the
interpreter's execution context. The dummy target is filtered out and
replaced with nullptr unless the command opts in via one of the
eCommandRequires{Target,Process,Thread,Frame} flags (in which case
CheckRequirements has already guaranteed a real target) or via the new
eCommandAllowsDummyTarget flag.

This is the first half of the cleanup discussed at the end of #197805. A
follow-up will audit DoExecute methods that still reach for
GetSelectedTarget or m_exe_ctx.GetTargetPtr() directly and migrate them
to GetTarget.
DeltaFile
+161-149lldb/source/Commands/CommandObjectBreakpoint.cpp
+143-114lldb/source/Commands/CommandObjectTarget.cpp
+55-48lldb/source/Commands/CommandObjectWatchpoint.cpp
+49-46lldb/source/Commands/CommandObjectSource.cpp
+20-23lldb/source/Commands/CommandObjectProcess.cpp
+24-18lldb/source/Commands/CommandObjectFrame.cpp
+452-39814 files not shown
+578-49120 files