LLVM/project 7fd02b3clang/test/SemaCXX source_location.cpp

[clang] NFC: Add test case for #178324 and mark it as fixed (#190490)

Issue #178324 was actually fixed by #187755

We lost the "declaration does not declare anything" warning since the
regression was introduced, but that was because:
1) Since #78436 we treat __builtin_FUNCSIG in a dependent context
effectivelly as if it contained a template parameter.
2) Our decltype implementation treats eexpressions containing template
parameters as if they were completely opaque (but alas this goes against
the spec, which says in [temp.type]p4 this should be looking only at
type dependence).
3) Since the decltype is opaque, we don't know what lookup will find, so
we can't issue the warning because we don't know if we are going to end
up with a type or an expression.

Fixes #178324
DeltaFile
+10-0clang/test/SemaCXX/source_location.cpp
+10-01 files

LLVM/project d400080lldb/source/Plugins/Platform/WebAssembly PlatformWasm.cpp

[lldb] Inherit Host::GetEnvironment() when launching a wasm runtime (#190476)

Some WebAssembly runtimes might use environment variables such as `HOME`
or `XDG_CONFIG_HOME` to store configuration files, additionally some VMs
might allow wasm modules to read environment variables from the host.
Currently, if a runtime is launched using the WebAssembly platform it
doesn't inherit the environment. As a result wasm runtimes and modules
are unable to read from environment variables and might even fail to
launch (if the config file is required). This PR aims to resolve this
issue, I have tested this with the WARDuino runtime and my WIP gdbstub.
DeltaFile
+1-0lldb/source/Plugins/Platform/WebAssembly/PlatformWasm.cpp
+1-01 files

LLVM/project 0996887llvm/test/tools/dsymutil/AArch64 pseudo-probe.test

[dsymutil] Add REQUIRES: host-byteorder-little-endian to pseudo-probe test (#190482)
DeltaFile
+2-1llvm/test/tools/dsymutil/AArch64/pseudo-probe.test
+2-11 files

LLVM/project f959327polly/include/polly ScopBuilder.h, polly/lib/Analysis ScopBuilder.cpp

[Polly][NFC] Convert ScopBuilder::buildUnsignedConditionSets() to isl++ (#190487)
DeltaFile
+28-24polly/lib/Analysis/ScopBuilder.cpp
+2-2polly/include/polly/ScopBuilder.h
+30-262 files

LLVM/project 1a72808clang/test/SemaCXX source_location.cpp

[clang] NFC: Add test case for #178324 and mark it as fixed

Issue #178324 was actually fixed by #187755

We lost the "declaration does not declare anything" warning since
the regression was introduced, but that was because:
1) Since #78436 we treat __builtin_FUNCSIG in a dependent context effectivelly as
   if it contained a template parameter.
2) Our decltype implementation treats eexpressions containing template
   parameters as if they were completely opaque (but alas this goes against
   the spec, which says in [temp.type]p4 this should be looking only
   at type dependence).
3) Since the decltype is opaque, we don't know what lookup will find,
   so we can't issue the warning because we don't know if we are going
   to end up with a type or an expression.

Fixes #178324
DeltaFile
+10-0clang/test/SemaCXX/source_location.cpp
+10-01 files

LLVM/project 2c6dfacclang/include/clang/CIR/Dialect/IR CIROps.td, clang/lib/CIR/CodeGen CIRGenModule.cpp

[CIR] Convert global_visibility from attribute to property

Replace CIR_VisibilityAttr with DefaultValuedProp<EnumProp<CIR_VisibilityKind>>
for global_visibility on GlobalOp and FuncOp. This removes the need for custom
parse/print functions and simplifies callers to use direct enum values instead
of wrapping/unwrapping VisibilityAttr.
DeltaFile
+4-41clang/lib/CIR/Dialect/IR/CIRDialect.cpp
+8-5clang/include/clang/CIR/Dialect/IR/CIROps.td
+2-3clang/lib/CIR/Lowering/DirectToLLVM/LowerToLLVM.cpp
+2-2clang/lib/CIR/CodeGen/CIRGenModule.cpp
+1-2clang/lib/CIR/Dialect/Transforms/EHABILowering.cpp
+1-2clang/lib/CIR/Dialect/Transforms/LoweringPrepare.cpp
+18-556 files

LLVM/project 8ed6773llvm/lib/CodeGen CodeGenPrepare.cpp

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7
DeltaFile
+1-6llvm/lib/CodeGen/CodeGenPrepare.cpp
+1-61 files

LLVM/project ad6d3c7clang/lib/CIR/CodeGen CIRGenExprAggregate.cpp CIRGenValue.h, clang/test/CIR/CodeGen aggregate-copy-overlap.cpp no-unique-address.cpp

[CIR] Use data size in emitAggregateCopy for overlapping copies
DeltaFile
+76-0clang/test/CIR/CodeGen/aggregate-copy-overlap.cpp
+16-6clang/lib/CIR/CodeGen/CIRGenExprAggregate.cpp
+5-4clang/test/CIR/CodeGen/no-unique-address.cpp
+1-1clang/lib/CIR/CodeGen/CIRGenValue.h
+98-114 files

LLVM/project 0cd9c89llvm/include/llvm/CodeGen SelectionDAGNodes.h, llvm/lib/CodeGen/SelectionDAG ScheduleDAGSDNodes.cpp

[spr] initial version

Created using spr 1.3.8-wip
DeltaFile
+10-4llvm/lib/CodeGen/SelectionDAG/ScheduleDAGSDNodes.cpp
+3-0llvm/include/llvm/CodeGen/SelectionDAGNodes.h
+13-42 files

LLVM/project 064b6ballvm/include/llvm/IR InstrTypes.h, llvm/lib/Analysis ConstantFolding.cpp

[ConstantFolding] Non-constrained functions in strictfp

Non-constrained function calls, allowed in strictfp functions by
PR188297, are equivalent to their constrained counterparts with dynamic
rounding and strict exception handling. When constant folding the calls
of these functions, some cases cannot be folded due to unknown rounding
mode or floting-point exceptions that can be lost. This change adapts
constant folding for these case.
DeltaFile
+306-0llvm/test/Transforms/InstSimplify/constfold-strictfp.ll
+87-50llvm/lib/Analysis/ConstantFolding.cpp
+9-0llvm/include/llvm/IR/InstrTypes.h
+402-503 files

LLVM/project 3b6e56dllvm/test/CodeGen/AMDGPU integer-mad-patterns.ll fcanonicalize.bf16.ll, llvm/test/CodeGen/RISCV/rvv expandload.ll

rebase

Created using spr 1.3.8-wip
DeltaFile
+3,666-5,073llvm/test/CodeGen/RISCV/rvv/expandload.ll
+1,318-117llvm/test/CodeGen/AMDGPU/integer-mad-patterns.ll
+835-387llvm/test/CodeGen/AMDGPU/fcanonicalize.bf16.ll
+610-305llvm/test/CodeGen/AMDGPU/atomics-system-scope.ll
+505-259llvm/test/CodeGen/AMDGPU/insert_vector_elt.v2bf16.ll
+460-214llvm/test/CodeGen/AMDGPU/load-constant-i1.ll
+7,394-6,355200 files not shown
+14,725-8,698206 files

LLVM/project 5845d8ellvm/include/llvm/IR InstrTypes.h, llvm/lib/Analysis ConstantFolding.cpp

[ConstantFolding] Non-constrained functions in strictfp

Non-constrained function calls, allowed in strictfp functions by
PR188297, are equivalent to their constrained counterparts with dynamic
rounding and strict exception handling. When constant folding the calls
of these functions, some cases cannot be folded due to unknown rounding
mode or floting-point exceptions that can be lost. This change adapts
constant folding for these case.
DeltaFile
+306-0llvm/test/Transforms/InstSimplify/constfold-strictfp.ll
+87-50llvm/lib/Analysis/ConstantFolding.cpp
+9-0llvm/include/llvm/IR/InstrTypes.h
+402-503 files

LLVM/project b5e7dbbllvm/lib/IR Value.cpp

[IR] Use iteration limit in stripPointerCastsAndOffsets (#190472)

Using a SmallPtrSet is not quite free for such a frequently called
operation. However, calls on ill-formed IR are not particularly rare, so
some iteration limit is needed. Therefore, use a simple counter.

Termination statistics on a Clang Release build for N>5:

   2448 N=6
   1295 N=7
    480 N=8
    294 N=9
    160 N=10
  14350 (endless loop)

Therefore, bound the number of iterations by 12, which should cover most
practically relevant cases.

It is worth noting that _all_ of the endless loop cases have the

    [5 lines not shown]
DeltaFile
+12-7llvm/lib/IR/Value.cpp
+12-71 files

LLVM/project ba3dbbflldb/include/lldb/Utility Log.h, lldb/source/Breakpoint BreakpointResolverName.cpp

[lldb] Remove Log::Error and Log::Warning (NFC) (#190440)
DeltaFile
+24-24lldb/source/Target/ThreadPlan.cpp
+0-26lldb/source/Utility/Log.cpp
+5-5lldb/source/Plugins/ObjectFile/Mach-O/ObjectFileMachO.cpp
+3-5lldb/source/Breakpoint/BreakpointResolverName.cpp
+0-5lldb/include/lldb/Utility/Log.h
+2-3lldb/source/Plugins/Process/gdb-remote/ProcessGDBRemote.cpp
+34-686 files

LLVM/project 27a762clldb/source/Target Process.cpp

[lldb][NFC] Add helper function for computing whether to show Process error (#190189)
DeltaFile
+13-12lldb/source/Target/Process.cpp
+13-121 files

LLVM/project d4fe1d3llvm/lib/Analysis DependenceAnalysis.cpp, llvm/test/Analysis/DependenceAnalysis banerjee-overflow.ll

[DA] Add overflow check in BanerjeeMIVtest

Add an overflow check in BanerjeeMIVtest.
Fix the related test case.

Signed-off-by: Ruoyu Qiu <cabbaken at outlook.com>
DeltaFile
+7-1llvm/lib/Analysis/DependenceAnalysis.cpp
+1-3llvm/test/Analysis/DependenceAnalysis/banerjee-overflow.ll
+8-42 files

LLVM/project 420111emlir/lib/Dialect/LLVMIR/IR LLVMDialect.cpp, mlir/test/Dialect/LLVMIR roundtrip.mlir

[mlir][LLVM] Fix incorrect verification of atomicrmw f{min,max}imumnum (#190474)

Fix llvm.atomicrmw fminimumnum and fmaximumnum to correctly take the
float operation verification path.
DeltaFile
+3-1mlir/lib/Dialect/LLVMIR/IR/LLVMDialect.cpp
+2-0mlir/test/Dialect/LLVMIR/roundtrip.mlir
+5-12 files

LLVM/project f27b88ellvm/lib/IR Value.cpp

move decl into for header

Created using spr 1.3.8-wip
DeltaFile
+13-9llvm/lib/IR/Value.cpp
+13-91 files

LLVM/project 4ee5bebllvm/lib/IR Value.cpp

[spr] changes introduced through rebase

Created using spr 1.3.8-wip

[skip ci]
DeltaFile
+12-7llvm/lib/IR/Value.cpp
+12-71 files

LLVM/project 5790db7llvm/lib/IR Value.cpp

[spr] initial version

Created using spr 1.3.8-wip
DeltaFile
+27-14llvm/lib/IR/Value.cpp
+27-141 files

LLVM/project 052716ellvm/lib/IR Value.cpp

[spr] initial version

Created using spr 1.3.8-wip
DeltaFile
+12-7llvm/lib/IR/Value.cpp
+12-71 files

LLVM/project c6932e5llvm/lib/Analysis DependenceAnalysis.cpp, llvm/test/Analysis/DependenceAnalysis banerjee-overflow.ll

[DA] Add overflow check in BanerjeeMIVtest

Add an overflow check in BanerjeeMIVtest.
Fix the related test case.

Signed-off-by: Ruoyu Qiu <cabbaken at outlook.com>
DeltaFile
+3-1llvm/lib/Analysis/DependenceAnalysis.cpp
+1-3llvm/test/Analysis/DependenceAnalysis/banerjee-overflow.ll
+4-42 files

LLVM/project 5a3d062llvm/test/Analysis/DependenceAnalysis banerjee-overflow.ll

[DA] Add overflow test for BanerjeeMIVtest
DeltaFile
+74-0llvm/test/Analysis/DependenceAnalysis/banerjee-overflow.ll
+74-01 files

LLVM/project ff4c6fellvm/include/llvm/Analysis ScalarEvolution.h ScalarEvolutionExpressions.h, llvm/lib/Analysis ScalarEvolution.cpp

[SCEV] Move NoWrapFlags definition outside SCEV scope, use for SCEVUse. (#190199)

The patch moves out of SCEV's scope so they can be re-used for SCEVUse.
SCEVUse gets an additional getNoWrapFlags helper that returns the union
of the expressions SCEV flags and the use-specific flags.

SCEVExpander has been updated to use this new helper.

In order to avoid other changes, the original names are exposed via
constexpr in SCEV. Not sure if there's a nicer way. One alternative
would be to define the enum in struct, and have SCEV inherit from it.

The patch also clarifies that the SCEVUse flags encode NUW/NSW, and
hides getInt, setInt, etc to avoid potential mis-use.

PR: https://github.com/llvm/llvm-project/pull/190199
DeltaFile
+105-72llvm/include/llvm/Analysis/ScalarEvolution.h
+22-27llvm/lib/Analysis/ScalarEvolution.cpp
+49-0llvm/unittests/Transforms/Utils/ScalarEvolutionExpanderTest.cpp
+16-15llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp
+20-7llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h
+1-2polly/test/CodeGen/non_affine_float_compare.ll
+213-1232 files not shown
+215-1258 files

LLVM/project 47cd798llvm/lib/Target/RISCV RISCVTargetTransformInfo.h, llvm/test/Transforms/LoopVectorize/RISCV conditional-scalar-assignment.ll conditional-scalar-assignment-fold-tail.ll

Revert "[LV] Enable scalable FindLast on RISCV." (#190463)

Reverts llvm/llvm-project#184931 since it crash llvm-test-suite.
https://lab.llvm.org/buildbot/#/builders/210/builds/9807
DeltaFile
+0-172llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment.ll
+0-129llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment-fold-tail.ll
+35-21llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+0-1llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h
+35-3234 files

LLVM/project 7c60d08llvm/lib/CodeGen/SelectionDAG SelectionDAG.cpp, llvm/test/CodeGen/AArch64 known-fpclass-splat-vector.ll

[DAG] computeKnownFPClass - add ISD::SPLAT_VECTOR handling (#189780)

Fixes #189481

Implement ISD::SPLAT_VECTOR in SelectionDAG::computeKnownFPClass to
correctly propagate floating-point properties from scalar operands to
vectors.

Added AArch64 and RISC-V test coverage
DeltaFile
+31-0llvm/test/CodeGen/RISCV/combine-is_fpclass.ll
+24-0llvm/test/CodeGen/AArch64/known-fpclass-splat-vector.ll
+4-0llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
+59-03 files

LLVM/project ee40533llvm/include/llvm/IR DiagnosticInfo.h

DiagnosticInfo: Fix stack-use-after-scope in DiagnosticInfoStackSize (#190442)

The string literal "stack frame size" passed to the base class
constructor created a temporary Twine that was destroyed after
the base constructor completed, leaving a dangling reference.

Fix by storing the Twine as a member variable in the derived class,
ensuring it lives as long as the diagnostic object itself.

Fixes ASAN stack-use-after-scope error in
  Clang :: Misc/backend-stack-frame-diagnostics-fallback.cpp
  LLVM :: CodeGen/X86/2007-04-24-Huge-Stack.ll
  LLVM :: CodeGen/X86/huge-stack-offset.ll
  LLVM :: CodeGen/X86/huge-stack-offset2.ll
  LLVM :: CodeGen/X86/huge-stack.ll
  LLVM :: CodeGen/X86/large-displacements.ll
  LLVM :: CodeGen/X86/stack-clash-extra-huge.ll
  LLVM :: CodeGen/X86/warn-stack.ll
  LLVM :: CodeGen/X86/win64-stackprobe-overflow.ll
DeltaFile
+3-2llvm/include/llvm/IR/DiagnosticInfo.h
+3-21 files

LLVM/project a8ad2a7lldb/include/lldb lldb-defines.h, lldb/source/Interpreter Options.cpp

[lldb] Fix alias parsing with joined options (#190301)

Fixes a crash with the following alias, which I use for printing the
contents of pointer variables:

```
command alias vp v -P1
```

At some point in the recent-ish past, parsing this alias has started
crashing lldb. The problem is code that assumes the option and its value
are separate. This assumption causes an index past the end of a vector.

This fix changes `FindArgumentIndexForOption`. The function now returns
a pair of indexes, the first index is the option, the second index is
the index of the value. In the case of joined options like `-P1`, the
two indexes are the same.
DeltaFile
+27-16lldb/source/Interpreter/Options.cpp
+7-0lldb/test/Shell/Commands/command-alias-joined-arg.test
+1-0lldb/include/lldb/lldb-defines.h
+35-163 files

LLVM/project e6a0695llvm/lib/Target/RISCV RISCVTargetTransformInfo.h, llvm/test/Transforms/LoopVectorize/RISCV conditional-scalar-assignment.ll conditional-scalar-assignment-fold-tail.ll

Revert "[LV] Enable scalable FindLast on RISCV. (#184931)"

This reverts commit a955b3cabab66bba586fdd14f56ab251c50dfc05.
DeltaFile
+0-172llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment.ll
+0-129llvm/test/Transforms/LoopVectorize/RISCV/conditional-scalar-assignment-fold-tail.ll
+35-21llvm/test/Transforms/LoopVectorize/RISCV/select-cmp-reduction.ll
+0-1llvm/lib/Target/RISCV/RISCVTargetTransformInfo.h
+35-3234 files

LLVM/project 230d757mlir/lib/Reducer OptReductionPass.cpp

[mlir][reducer] make opt-reduction pass clone topOp after check (NFC) (#189356)

To avoid potential memory leaks, this PR defers the ModuleOp cloning
until after the verification check. If the check fails, the
moduleVariant might not be properly deallocated(original
implementation), leading to a memory leak. Therefore, this PR ensures
that the clone operation is only performed after a successful check. It
is part of https://github.com/llvm/llvm-project/pull/189353.
DeltaFile
+1-2mlir/lib/Reducer/OptReductionPass.cpp
+1-21 files