[all-commits] [llvm/llvm-project] 9b8297: [analyzer] Do not destruct fields of unions (#122330)

Fri Feb 7 00:06:07 PST 2025

  Branch: refs/heads/users/vitalybuka/spr/ltopipelinescoro-handle-coroutines-in-lto-pipeline
  Home:   https://github.com/llvm/llvm-project
  Commit: 9b8297bc7ea8f217a3f701afedd2c953a4ad7867
      https://github.com/llvm/llvm-project/commit/9b8297bc7ea8f217a3f701afedd2c953a4ad7867
  Author: Jameson Nash <vtjnash at gmail.com>
  Date:   2025-02-07 (Fri, 07 Feb 2025)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Analysis/CFG.cpp
    M clang/test/Analysis/NewDelete-checker-test.cpp
    A clang/test/Analysis/dtor-union.cpp

  Log Message:
  -----------
  [analyzer] Do not destruct fields of unions (#122330)

The C++ standard prohibits this implicit destructor call, leading to
incorrect reports from clang-analyzer. This causes projects that use
std::option (including llvm) to fail the cplusplus.NewDelete test
incorrectly when run through the analyzer.

Fixes #119415

  Commit: 35afd022ee5735c746c39b5b2cd24872333012fd
      https://github.com/llvm/llvm-project/commit/35afd022ee5735c746c39b5b2cd24872333012fd
  Author: Mahesh-Attarde <mahesh.attarde at intel.com>
  Date:   2025-02-07 (Fri, 07 Feb 2025)

  Changed paths:
    M llvm/lib/Target/X86/GISel/X86InstructionSelector.cpp
    M llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
    M llvm/lib/Target/X86/GISel/X86RegisterBankInfo.cpp
    A llvm/test/CodeGen/X86/GlobalISel/isel-fcmp-i686.mir
    A llvm/test/CodeGen/X86/isel-fcmp-x87.ll
    A llvm/test/CodeGen/X86/isel-fcmp.ll

  Log Message:
  -----------
  [X86][GlobalISel] Support G_FCMP for scalar cases (#123598)

With this patch, we are enabling comparisons for Long double (80) types
on X87 stack. It lowers G_FCMP.

---------

Co-authored-by: mattarde <mattarde at intel.com>

  Commit: b7feccb31dba8f512c97f89cd413625016f34cf3
      https://github.com/llvm/llvm-project/commit/b7feccb31dba8f512c97f89cd413625016f34cf3
  Author: Kazu Hirata <kazu at google.com>
  Date:   2025-02-06 (Thu, 06 Feb 2025)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemProfiler.cpp
    A llvm/test/Transforms/PGOProfile/memprof-dump-matched-call-sites.ll
    M llvm/test/Transforms/PGOProfile/memprof.ll

  Log Message:
  -----------
  [memprof] Dump call site matching information (#125130)

MemProfiler.cpp annotates the IR with the memory profile so that we
can later duplicate context. This patch dumps the entire inline call
stack
for each call site match.

  Commit: 74192e57f7208926ab15502cc6ac31e4d8b98ba3
      https://github.com/llvm/llvm-project/commit/74192e57f7208926ab15502cc6ac31e4d8b98ba3
  Author: Jie Fu <jiefu at tencent.com>
  Date:   2025-02-07 (Fri, 07 Feb 2025)

  Changed paths:
    M llvm/lib/Target/X86/GISel/X86InstructionSelector.cpp

  Log Message:
  -----------
  [X86] Silence an unused-variable warning (NFC)

/llvm-project/llvm/lib/Target/X86/GISel/X86InstructionSelector.cpp:1054:9:
 error: unused variable 'RhsBank' [-Werror,-Wunused-variable]
  auto *RhsBank = RBI.getRegBank(RhsReg, MRI, TRI);
        ^
1 error generated.

  Commit: 6b902efdf63c61be72feff94707bcfb1a92347fe
      https://github.com/llvm/llvm-project/commit/6b902efdf63c61be72feff94707bcfb1a92347fe
  Author: Andrzej Warzyński <andrzej.warzynski at arm.com>
  Date:   2025-02-07 (Fri, 07 Feb 2025)

  Changed paths:
    M mlir/lib/Dialect/Linalg/Transforms/Vectorization.cpp
    M mlir/test/Dialect/Linalg/vectorization-unsupported.mlir
    M mlir/test/Dialect/Linalg/vectorization.mlir

  Log Message:
  -----------
  [mlir][linalg] Add support for masked vectorization of `tensor.insert_slice` (2/N) (#123031)

For context, recall that `tensor.insert_slice` is vectorised using the
`vector.transfer_read` + `vector.transfer_write` pair. An unmasked
example is shown below:

```mlir
// BEFORE VECTORIZATION
%res = tensor.insert_slice
  %slice into %dest[0, %c2]
  [5, 1] [1, 1] : tensor<5x1xi32> into tensor<5x3xi32>

// AFTER VECTORIZATION
%read = vector.transfer_read %source[%c0, %c0], %pad
  : tensor<5x1xi32>, vector<8x1xi32>
%res = vector.transfer_write %read, %dest[%c0, %c2]
  : vector<8x1xi32>, tensor<5x3xi32>
```

This PR extends `vectorizeAsInsertSliceOp` to add masking support for
the `vector.transfer_write` operation. This complements the changes
in #122927, which introduced masking for the `vector.transfer_read`.

  Commit: 4a00abb980c555fbfb5e444d2223d99c56a7347d
      https://github.com/llvm/llvm-project/commit/4a00abb980c555fbfb5e444d2223d99c56a7347d
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2025-02-07 (Fri, 07 Feb 2025)

  Changed paths:
    M .ci/monolithic-windows.sh
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Analysis/CFG.cpp
    M clang/test/Analysis/NewDelete-checker-test.cpp
    A clang/test/Analysis/dtor-union.cpp
    M llvm/lib/Target/X86/GISel/X86InstructionSelector.cpp
    M llvm/lib/Target/X86/GISel/X86LegalizerInfo.cpp
    M llvm/lib/Target/X86/GISel/X86RegisterBankInfo.cpp
    M llvm/lib/Transforms/Instrumentation/MemProfiler.cpp
    A llvm/test/CodeGen/X86/GlobalISel/isel-fcmp-i686.mir
    A llvm/test/CodeGen/X86/isel-fcmp-x87.ll
    A llvm/test/CodeGen/X86/isel-fcmp.ll
    A llvm/test/Transforms/PGOProfile/memprof-dump-matched-call-sites.ll
    M llvm/test/Transforms/PGOProfile/memprof.ll
    M mlir/lib/Dialect/Linalg/Transforms/Vectorization.cpp
    M mlir/test/Dialect/Linalg/vectorization-unsupported.mlir
    M mlir/test/Dialect/Linalg/vectorization.mlir

  Log Message:
  -----------
  try

Created using spr 1.3.4

Compare: https://github.com/llvm/llvm-project/compare/311e6a69fff1...4a00abb980c5

To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications