[qt/clang/llvm-project]: Summary of bulk changes made

Git repository change summary for qt/clang/llvm-project
Pushed by mirror-service into branch 'upstream/users/jdenny-ornl/filecheck-pattern-notes'.
Changed from 66f82a352be7b4d5d4f8c8ef1733b398ab912fcf to 53d1c473365f1f4b3f9f4450d6a3478a90ac79a9
Acknowledgement was received that this change introduces only existing code that has been pushed to another public open source repository.

This change contains the following new commits:

Git commit c6e184686cd7d0acfb88531738764f6134700382 by GitHub (on behalf of eleviant) on 21/07/2026 at 17:18..
[AArch64][CodeGen] Fix trampoline basic block offset (#202716)

Trampoline basic blocks are initially created with an offset of zero. As
a result, `isBlockInRange()` may operate on incorrect block offset,
potentially causing unnecessary conditional branch inversions or the
insertion of redundant trampolines.
https://invent.kde.org/qt/clang/llvm-project/-/commit/c6e184686cd7d0acfb88531738764f6134700382

Git commit abe757bd5dfd91718858402375d99152592ab73a by GitHub (on behalf of Sayan Sivakumaran) on 21/07/2026 at 17:20..
[SimplifyCFG] Simplify switch default branch when branch proves operand value (#206597)

If the default branch of a switch proves that there is only one value
that can be sent to the default branch, we can transform the default
branch into an explicit case of the switch. This can assist in further
simplification of the CFG during the simplification loop.

For example, we should be able to create an explicit case for the
default block in cases like the following:

```llvm-ir
switch_bb:
    switch i8 %x, label %default_bb [...]

default_bb:
    %cmp = icmp eq i8 %x, 1
    call void llvm.assume(i1 %cmp) ; Implies %x must be 1
```

Related to #50665.
https://invent.kde.org/qt/clang/llvm-project/-/commit/abe757bd5dfd91718858402375d99152592ab73a

Git commit 03fc6d19191b64dfff4036a3829737b81ee34748 by GitHub (on behalf of John Otken) on 21/07/2026 at 17:27..
[llvm][docs] Update TestingGuide with LLVM PR merge advice (#207754)

Add guidance on waiting for LLVM PR merges before test-suite merges to
prevent failures.

Co-authored-by: John Otken [email protected]
https://invent.kde.org/qt/clang/llvm-project/-/commit/03fc6d19191b64dfff4036a3829737b81ee34748

Git commit ee1eab2a1d28651d0dc675f4f101c0bd78f31e44 by GitHub (on behalf of Alex Sepkowski) on 21/07/2026 at 17:33..
[clang] Update diagnostics to include matrices as accepted types (#201237)

Several `err_builtin_invalid_arg_type` call sites still emit "scalar or
vector of ..." even though the underlying checkers already unwrap matrix
types. This extends the diagnostic with a new "scalar, vector, or matrix
of" option (index 6) and migrates the call sites whose checkers do
accept matrices:

Call sites whose checkers only unwrap VectorType are left at index 5 so
their diagnostic text continues to accurately describe what is accepted.

Tests using the old wording are updated to match.

Fixes #189147

Assisted by copilot

---------

Co-authored-by: Copilot <[email protected]>
https://invent.kde.org/qt/clang/llvm-project/-/commit/ee1eab2a1d28651d0dc675f4f101c0bd78f31e44

Git commit accd1ed5226b4a8009c33f0a6d1bcfe58902f69e by GitHub (on behalf of John Paul Jepko) on 21/07/2026 at 17:34..
[analyzer] Fix StdVariantChecker crash on std::get with a non-ptr arg (#210167)

When `std::get` is called on a dereferenced integer-to-pointer cast, the
checker `alpha.core.StdVariant` crashes. Minimal reproducer:

```
std::get<int>(*(std::variant<int, char> *)11);
```

Godbolt reproducer - https://godbolt.org/z/4EKe1PrKb

The root cause is that `StdVariantChecker::handleStdGetCall()` calls
`SVal::getType()` on any non-unknown argument, then calls
`getPointeeType()` on the result while assuming it is a pointer type. In
the case of a concrete integer cast to a pointer and then dereferenced,
it is modeled as `loc::ConcreteInt`, whose recovered type is an integer.
`getPointeeType()` on such an input returns a null QualType, on which
`getTypePtr()` crashes.

Fix the crash by using the argument's static type rather than recovering
its SVal, eliminating the need to guard and call `getPointeeType()`.
https://invent.kde.org/qt/clang/llvm-project/-/commit/accd1ed5226b4a8009c33f0a6d1bcfe58902f69e

Git commit 4f5675a0500f9ccc60dcbabb57e1c4dc88c40a84 by GitHub (on behalf of Slava Zakharin) on 21/07/2026 at 17:37..
[CMake] Added missing LLVM_PTHREAD_LIB dependency. (#211041)

Required after #209423.
https://invent.kde.org/qt/clang/llvm-project/-/commit/4f5675a0500f9ccc60dcbabb57e1c4dc88c40a84

Git commit a896e12c5e7031a45eca3ca9392a3c56c304f157 by GitHub (on behalf of Michael Halkenhäuser) on 21/07/2026 at 17:45..
[CodeGen] Rematerializer: Handle subranges for full-mask users  (#211031)

- Create live-interval subranges for new users reading a full lane mask.
- Fixes a missing-subranges case that tripped the `SubRegIdx != 0 &&
LI.hasSubRanges()` assertion in VirtRegRewriter for subreg-tracked
registers.
- Add corresponding unit and lit regression tests.
https://invent.kde.org/qt/clang/llvm-project/-/commit/a896e12c5e7031a45eca3ca9392a3c56c304f157

Git commit 1510167f2cf3a9e89cdb69eee5b3984abd9c930a by GitHub (on behalf of Joel E. Denny) on 21/07/2026 at 17:54..
[FileCheck][NFC] Introduce FileCheckDiagAnnotator (#207485)

This PR is stacked on PR #207484.

In the way that `SearchRangeAnnotator` encapsulates generating search
range annotations, this patch introduces `FileCheckDiagAnnotator` to
encapsulate generating the main annotation for a `FileCheckDiag`. This
change makes `buildInputAnnotations` easier to read, especially after a
third annotator class that will be introduced in a future patch.
https://invent.kde.org/qt/clang/llvm-project/-/commit/1510167f2cf3a9e89cdb69eee5b3984abd9c930a

Git commit 67e3d73467b91a458de760cbeafdf5347286e496 by Joel E. Denny on 21/07/2026 at 17:56..
Merge branch 'main' into filecheck-diag-annotator
https://invent.kde.org/qt/clang/llvm-project/-/commit/67e3d73467b91a458de760cbeafdf5347286e496

Git commit 53d1c473365f1f4b3f9f4450d6a3478a90ac79a9 by Joel E. Denny on 21/07/2026 at 17:56..
Merge branch 'filecheck-diag-annotator' into filecheck-pattern-notes
https://invent.kde.org/qt/clang/llvm-project/-/commit/53d1c473365f1f4b3f9f4450d6a3478a90ac79a9