[mlir][memref] Make memref.cast areCastCompatible return true when meet same types (#192029)
When both the source and destination types of `memref.cast` are
unranked, it causes an IR verification failure, which impacts downstream
projects and its behavior is inconsistent with the documentation. To
address this, this PR now allows the operation to return true if the
source and destination types are identical.
[mlir] reduce excessive verification in transform
`mergeSymbolsInto` called by the transform interpreter for named
sequence management was calling a full verifier after renaming symbols.
The renaming could have potentially broken symbol table-related
invariants, but not really anything else. Only verify the symbol
table-related invariants intead.
[mlir] add normal form checked transform interface
This interface can be implemented by operations that guarantee certain
normal forms for themselves and their regions. The operations provide
the list of normal forms they guarantee. This interface interacts with
the typed transform handles removing the need for them to check normal
forms that are guaranteed (and preserved by transforms).
Provide a simple `transform.payload` operation to carry a list of normal
forms and implement the interface.
This exposes the fact that the transform interpreter may be running the
verifier too much, but this is a pre-existing beavior that is orthogonal
to this patch.
Assisted-by: Claude Opus 4.7 / Cursor
japanese/canna-server: Update to 3.7p5 and take maintainership
Update MASTER_SITES and WWW.
Do not install TeX format documents.
Remove MAKE_ARGS.
Switch cannakill's symbolic link from absolute path to relative path.
Changelog (japanese):
https://github.com/canna-input/canna/blob/5bd95e546e8785fd5b46d1216cf4dde2df6a2d46/CHANGES.jp#L131
PR: 288911
Co-authored-by: AIDA Shinra <shinra at j10n.org>
Approved by: hrs (maintainer timeout > 3 months)
Approved by: osa (mentor)
[AST]Fix Location and Range for reversed rewritten CXXOperatorCallExpr (#192467)
In C++20+, when `a != b` is automatically rewritten to `!(b == a)`, the
range and sourceLocation of the generated nodes are incorrect and the
range has begin > end.
Assisted-by: Claude code
Enumeration Type Sem-1: Foundation types + Parser (PRs 1-2)
Adds DerivedTypeSpec::Category::EnumerationType to the type system,
parse tree nodes for ENUMERATION TYPE per F2023, and parser/unparser
support. Includes a stub in resolve-names that rejects ENUMERATION TYPE
as 'not yet implemented' (enabled in Sem-2).
Files from original PRs 1-2.
(r)query: if %{ is encountered fallback on using directly pkg_printf(3)
While here fix an inconsistency between the query and pkg_printf:
%Ok in query is %On in pkg_printf
%At in query is %An in pkg_printf
Add support for the 3 first in pkg_printf
Fixes: #815
[mlir] add normal form checked transform interface
This interface can be implemented by operations that guarantee certain
normal forms for themselves and their regions. The operations provide
the list of normal forms they guarantee. This interface interacts with
the typed transform handles removing the need for them to check normal
forms that are guaranteed (and preserved by transforms).
Provide a simple `transform.payload` operation to carry a list of normal
forms and implement the interface.
This exposes the fact that the transform interpreter may be running the
verifier too much, but this is a pre-existing beavior that is orthogonal
to this patch.
Assisted-by: Claude Opus 4.7 / Cursor
py-apsw: updated to 3.53.0.0
3.53.0.0
ChangesetBuilder adds ChangesetBuilder.add_insert(), ChangesetBuilder.add_delete(), ChangesetBuilder.add_update(), and ChangesetBuilder.config().
Added .limit command to the Shell
release/22.x: [Clang] Track constraint's SubstIndex only if it contains outer parameter packs
I believe that is the intent of SubstIndex in AssociatedConstraint.
So this enforces the checking explicitly, in case nested SubstIndexes
confuses our poor constraint evaluator.
As a drive-by fix, this also removes an strange assertion and an
unnecessary
SubstIndex setup in nested requirement transform.
No release note because this is a regression fix.
This backports #191484
[ClangLinkerWrapper] Fix `-v` for newer CMake passing it directly (#188883)
Summary:
Normally `-v` is version for tools, but it's also verbose for the
linker. CMake tries to identify the linker by passing `-Wl,-v` which
goes to the linker wrapper instead. Make this only print version on
`--version` and forward the other one to the linker so it appears
transparent to the host ABI. A bit of a hack, but it should work.
(cherry picked from commit 80b1fbecf4df3296b3976ce3cb42eb7832fc9053)
sqlite3: updated to 3.53.0
3.53.0
Fix the WAL-reset database corruption bug.
Add the Query Result Formatter (QRF) library for formatting the results of SQL queries for human readability on a fixed-pitch font screen.
Add the format method to the TCL Interface so that QRF is accessible from TCL.
QRF is used for result formatting in the CLI, resulting in improved display capabilities.
New SQL language features:
Enhance ALTER TABLE to permit adding and removing NOT NULL and CHECK constraints.
The REINDEX EXPRESSIONS statement rebuilds expression indexes. (Useful to repair stale expression indexes.)
The body of TEMP triggers may now modify and/or query tables in the main schema.
Enhance VACUUM INTO so that if a URI filename is used as the target and that filename has a reserve=N query parameter with N between 0 and 255, then the reserve amount for the generated database copy is set to N.
New SQL functions:
json_array_insert()
jsonb_array_insert()
Renovations to the CLI:
Major enhancements to the .mode command.
Improved result formatting, due to the addition of the QRF extension. For example, numeric values are now right-justified by default in tabular output modes.
[39 lines not shown]