BSD Commit Log Search

[analyzer] Recognize missing MPI collectives in MPI-Checker (#209263)

Fixes a false positive in the `optin.mpi.MPI-Checker` where legitimate
code was flagged with "Request 'X' has no matching nonblocking call."

Background for reviewers unfamiliar with MPI or this checker
------------------------------------------------------------

MPI (Message Passing Interface) is the standard API for communication
between processes in HPC/cluster programs (C/C++/Fortran). Many MPI
operations come in a *nonblocking* form, prefixed with "I" (for
"immediate"): e.g. `MPI_Isend`, `MPI_Iscatter`. A nonblocking call
returns immediately and hands back an `MPI_Request` handle; the caller
must later complete it with `MPI_Wait` (or `MPI_Waitall`). Forgetting to
wait, or reusing a request before waiting, are real bugs (buffer reuse
races, leaked requests).

The MPI-Checker (originally contributed as a GSoC 2016 project, and is a
domain-specific check - hence it's in "optin").

    [57 lines not shown]

[bazel][libc] Add missing header deps (#209767)

For stat/ioctl/size headers

Not sure which commit exactly broke this, maybe #209449

[HLSL] Consolidate texture tests (#209348)

Fixes #205878 

This PR consolidates all the current texture tests into files that all
texture types can extend by adding new RUN lines.

This should greatly reduce the amount of effort required to implement
and review tests for new texture types.

Assisted by: Claude Opus 4.8

[lldb][bazel] Add the lldb-mcp binary to the Bazel overlay (#209498)

#143628 added the lldb-mcp tool (an MCP server multiplexer for LLDB),
built by lldb/tools/lldb-mcp/CMakeLists.txt. The Bazel overlay already
models the ProtocolMCP library and the MCP protocol-server plugin, but
not the lldb-mcp executable itself, so it is missing from the Bazel
build.

Add an lldb-mcp cc_binary modeled on the existing lldb-dap target: glob
tools/lldb-mcp/**, expand the macOS Info.plist via expand_template, and
depend on liblldb.wrapper, Host, Utility, ProtocolMCP, and the LLVM
Option/Support libraries. lldb-mcp has no Options.td, so unlike lldb-dap
no gentbl_cc_library is needed.

This properly translates into BUCk internally at Meta and then builds
with buck2, but I cannot validate the bazel build of this new target
directly.

bazel rule generation assisted with: claude

[WebAssembly] Port WebAssemblyArgumentMovePass

Standard NewPM pass porting.

Reviewers: aheejin, sbc100, dschuff

Pull Request: https://github.com/llvm/llvm-project/pull/209368

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[WebAssembly] Port WebAssemblyFixIrreducibleControlFlowPass

Standard NewPM pass porting.

Reviewers: aheejin, sbc100, dschuff

Pull Request: https://github.com/llvm/llvm-project/pull/209077

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[WebAssembly] Port WebAssemblyNullifyDebugValueListsPass

Standard NewPM pass porting.

Reviewers: sbc100, aheejin, dschuff

Pull Request: https://github.com/llvm/llvm-project/pull/209055

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[WebAssembly] Port WebAssemblyCoalesceFeaturesAndStripAtomicsPass

Standard NewPM pass porting.

Reviewers: sbc100, aheejin, dschuff

Pull Request: https://github.com/llvm/llvm-project/pull/209054

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[NFC][WebAssembly] Move WebAssemblyCoalesceFeaturesAndStripAtomics

Move WebAssemblyCoalesceFeaturesAndStripAtomics to a separate file.
Having a pass implemented directly in the TargetMachine file is a bit
weird.

Reviewers: dschuff, sbc100, aheejin

Pull Request: https://github.com/llvm/llvm-project/pull/209046

[mlir][tosa] Add support for MXFP reshape (#207944)

Adds profile compliance support for MXFP reshape.

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[libsycl] Add missing include to test (#209722)

Signed-off-by: Tikhomirova, Kseniya <kseniya.tikhomirova at intel.com>

[WebAssembly] Port WebAssemblyRefTypeMem2LocalPass

Standard NewPM pass porting.

Reviewers: sbc100, aheejin, dschuff

Pull Request: https://github.com/llvm/llvm-project/pull/209044

[AMDGPU] Fix set_inactive known bits to intersect both operands (#201817)

SimplifyDemandedBitsForTargetNode grouped amdgcn_set_inactive with the
single-source readfirstlane/readlane/wwm, taking known bits from operand
1 only

Handle the data from the operand 2 inactive lanes as well

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[WebAssembly] Port WebAssemblyReduceToAnyAllTruePass

Standard NewPM pass porting. Made a little bit annoying by the module
caching that I'm not sure helps much, but I've left it in.

Reviewers: aheejin, dschuff, sbc100

Pull Request: https://github.com/llvm/llvm-project/pull/209043

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[libc][bazel] Add missing hdr/*_macros deps to test targets (#209761)

Commit b790c5cd2679 (#209449) switched several libc tests to include the
hdr/*_macros.h proxy headers and updated the CMake build accordingly,
but did not update the Bazel overlay. As a result, the Bazel libc test
targets include hdr/*_macros.h (and, via shared headers,
hdr/sys_mman_macros.h) without declaring the corresponding
//libc:hdr_*_macros dependencies, breaking the Bazel build with 'file
not found' / module layering errors.

Mirror the CMake dependency additions into the Bazel overlay so each
test target that includes an hdr macro header depends on the matching
//libc:hdr_*_macros (and //libc:types_struct_rlimit) target.

First found trying to land (#209747).

bazel changes assisted with: claude

cannot build with bazel locally so relying on CI to confirm green

[WebAssembly] Port WebAssemblyLowerEmscriptenEHSjLjImpl

Standard NewPM pass porting.

Reviewers: dschuff, sbc100, aheejin

Pull Request: https://github.com/llvm/llvm-project/pull/209040

Fix references to complete types in attribute references (#209537)

This is a regression from #197215.

Attributes are not REALLY in the body of a function (though the name of
said function is... awkwardly inaccurate at best), but still need to pay
attention to the completeness of their references. As a result, we
weren't marking the expression as invalid, but were also trying to
evaluate it.

This patch fixes this in 2 ways. First, we re-add the
CXXThisTypeOverride check, but except constant substitution, since that
has some additional 'this' behavior from #197215. x

Secondly, we also make the constant evaluator give up on incomplete
types when handling an L value member. This stops us from trying to
evaluate the value if it is incomplete during template instantiation,
when the type is incomplete. We don't diagnose, since it is still
potentially a constant expression, but isn't currently one.

Fixes: #199527

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[WebAssembly] Port WebAssemblyOptimizeReturnedPass

Standard pass porting for the NewPM.

Reviewers: sbc100, dschuff, aheejin

Pull Request: https://github.com/llvm/llvm-project/pull/209036

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

[Bazel] Fixes 36c6568 (#209689)

This fixes 36c6568b04aff4e1cf00a60570ab4a4344692920.

Buildkite error link:
https://buildkite.com/llvm-project/upstream-bazel/builds?commit=36c6568b04aff4e1cf00a60570ab4a4344692920

Co-authored-by: Google Bazel Bot <google-bazel-bot at google.com>

[WebAssembly] Port WebAssemblyFixFunctionBitcastsPass to NewPM

Standard pass porting.

Reviewers: aheejin, dschuff, sbc100

Pull Request: https://github.com/llvm/llvm-project/pull/208986

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]