[InstCombine] Sink instructions across assumes (#205314)
Not sinking across assumes causes InstCombine to not reach a fixpoint
when assumes can be dropped due to the load (usually nonnull assumes).
Sinking the instructions causes the assume to not be dropped anymore,
but I don't think that's a big problem.
[clang] accept member specializations declared in class scope
Explicit specializations are not restricted to namespace scope since CWG727 was
accepted as a DR.
Also fixes a crash upon error recovery in this case which was a recent
unreleased regression.
Fixes #206866
[mlir-c] Fix memory leak in ConversionTarget dynamic legality test
mlirFreezeRewritePattern moves contents out of the RewritePatternSet
but does not free the container (set is passed by value in the C API).
Add mlirRewritePatternSetDestroy after freezing to fix LeakSanitizer
failures on Linux.
joker: update to 1.9.0
## General improvements
- Updated dependencies.
## Linter improvements
- Added support for union types in return values.
- Added linter return tags for core functions and expanded type
tagging coverage.
## Fixes
- Fixed type inference for stubs.
- Fixed linter deref return types for volatile and other core
functions.
Update transformations sensitive to signaling NaNs
Previously exception handling behavior was uses as an indicator of sNaN
support. With introducing a special function attribute `signaling_nans`
the checks for sNaN support must be changed to use the function
attribute rather than the exception behavior.
[flang][cuda] Guard descriptor I/O ticket when building thin I/O (#206865)
The work queue system is also used in the assignment and could lead to
unresolved function when building non relocatable code for the gpu using
the CUDA thin I/O. Just add a guard to keep descriptor I/O out of the
CUDA thin I/O build.
[Dexter] Update lldb-based dexter-tests to use script-mode (#204367)
This patch replaces uses of heuristic-mode Dexter in the dexter-tests
suite with uses of the script-mode, for tests that use DAP (via
lldb-dap). The updates are largely straightforward but occasionally
non-trivial, and in some cases some slight modifications have been made
to keep the "spirit" of the test intact.
[lldb] Synthesize data symbols for WebAssembly from DWARF (#207235)
The Wasm "name" section names functions but not data, so data symbols
such as C++ vtables have no entry in the symbol table. The Itanium C++
runtime resolves a dynamic type by looking up the symbol at an object's
vtable pointer and reading its "vtable for X" name. With no such symbol,
dynamic type resolution fails and falls back to the static type.
The vtable's address and mangled name are available in the DWARF as a
DW_TAG_variable with a DW_OP_addr location and a DW_AT_linkage_name.
Extend SymbolFileWasm::AddSymbols to synthesize a data symbol for every
global variable of that shape, so its address resolves back to the
mangled name such as "vtable for X". The size is computed by Symtab to
from the gap to the next symbol.
Assisted-by: Claude
[VPlan] Also expand pointer-typed SCEVAddExpr in VPSCEVExpander. (#206366)
Generalize the SCEVAddExpr handling in VPSCEVExpander::tryToExpand to
also expand pointer-typed adds. The pointer base and the offset are
expanded separately, matching IR SCEVExpander.
PR: https://github.com/llvm/llvm-project/pull/206366
kew: update to 4.1.6
4.1.0:
- Added custom layouts.
- Added AutoResume (persists playback state; enabled by default).
- Added experimental crossfade with new commands/settings.
- Added/improved visualizer modes (including Party Mode and others).
- Added new theme pack and improved themes/color behavior.
- Added scrolling lyrics behavior and more UX improvements.
- Included many bug fixes and internal refactors.
4.1.1:
- Fixed an issue affecting Homebrew tests.
4.1.2:
- Fixed an installation issue on FreeBSD.
4.1.3:
- Changed Discord integration to opt-in (off by default).
[13 lines not shown]
[SBVec] Implement topDown/botUp vectorizers in unison
This patch introduces the `top-down-vec` pass to the Sandbox Vectorizer,
adding the ability to traverse use-def chains top-down to discover and
collect vectorization opportunities. Furthermore, this patch unifies
the two vectorizers into a single implementation to minimize code
duplication.
Co-authored-by: Cursor <cursoragent at cursor.com>
[libc++][NFC] Move the lower_bound/upper_bound benchmark to the sorting directory (#207215)
These algorithms are not under [nonmodifying], they are under [sorting]
in the Standard.
NAS-141593 / 27.0.0-BETA.1 / License-gate ZFS deduplication on datasets and zvols (#19246)
This commit adds changes to reject enabling ZFS deduplication
(ON/VERIFY) on a dataset or zvol unless the system is entitled to it:
any licensed system must carry the DEDUP feature flag, unlicensed
TrueNAS hardware is blocked, and Community Edition (including minis) may
still use it freely. The check lives in the shared dataset validation
path so it covers both create and update, and OFF/INHERIT are left
untouched.
License-gate ZFS deduplication on datasets and zvols
This commit adds changes to reject enabling ZFS deduplication (ON/VERIFY) on a dataset or zvol unless the system is entitled to it: any licensed system must carry the DEDUP feature flag, unlicensed TrueNAS hardware is blocked, and Community Edition (including minis) may still use it freely. The check lives in the shared dataset validation path so it covers both create and update, and OFF/INHERIT are left untouched.
(cherry picked from commit 00d3422b8bfed7e528837451921625ffc607ac37)