Changes in language-reference.md

8ec3ff3b - Cranelift: ISLE recursion check (#12474)

Thu, 12 Feb 2026 04:43:51 +0000

Cranelift: ISLE recursion check (#12474)* add decl rec attribute* implement recursion check* add required `req` attributes* document the `RecursionError` variant* add required `req` attributes to pully ISLE rules* add `rec` to isle example* use dfs for cycle detection* document the `rec` attribute* recursion safety comments* "is permitted to be recursive"* fix documentation of RecursionError variant List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

ac3358b1 - Fix various broken links in docs. (#12125)

Thu, 04 Dec 2025 19:26:43 +0000

Fix various broken links in docs. (#12125)We've gotten a few one-off link-fix PRs, so in the Wasmtime meetingtoday we decided to just fix them all ourselves so we don't get thesedrive-by PRs anymore (or at least not for a while, until links start torot again).This PR fixes all applicable broken links we could find via the `lychee`link-checker (thanks abrown for running that!). There are a few brokenlinks in subrepositories that this doesn't fix. And the link-checkerdoesn't like links to subheaders on `.html` paths derived from `.md`files by mdbook -- mdbook doesn't support these (rust-lang/mdBook#167)but they render fine once published to the Web. List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

1136192e - chore: fix parenthesis balance (#10317)

Mon, 03 Mar 2025 17:11:06 +0000

chore: fix parenthesis balance (#10317)parentheses are not balanced here List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

48f8a9d3 - ISLE: fix more glitches in BNF (#9973)

Mon, 13 Jan 2025 20:26:42 +0000

ISLE: fix more glitches in BNF (#9973)* ensure not to consume const-ident as ident* fix * add missing `resultc` keyword* correct * Revert "add missing `resultc` keyword"This reverts commit e2529f0d678b239db9fb64832ca8c1300cd4d44f.* add syntax* glitch* bitvec width is optional* distinguish from List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

e8dee7e5 - isle: BNF glitches (#9920)

Sun, 05 Jan 2025 00:07:45 +0000

isle: BNF glitches (#9920)* isle: BNF glitchsuch that it wouldn't match wildcard `_`* fix `extern const` syntax List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

af5a789b - ISLE: improve syntax BNF (#9903)

Fri, 27 Dec 2024 18:59:01 +0000

ISLE: improve syntax BNF (#9903)* ISLE: improve syntax BNF* fixes List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

47a60e83 - fix typo (#9906)

Fri, 27 Dec 2024 17:02:21 +0000

fix typo (#9906)Signed-off-by: Jack Drogon List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

bb886ffc - ISLE: Add proper bool type (#9593)

Thu, 14 Nov 2024 22:55:38 +0000

ISLE: Add proper bool type (#9593)* ISLE: add proper booleans (expressions)Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * ISLE: add proper booleans (patterns)Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * ISLE: add proper booleans (spec expressions)Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * ISLE: replace opaque boolean constantsCopyright (c) 2024, Arm Limited.Replace all occurences of `$true` and `$false` with `true` and `false`.Signed-off-by: Karl Meakin * ISLE: remove `on_lhs` argumentInstead of threading `on_lhs` through all the calls to `translate_expr`,we can just set `is_partial` and `is_pure` on `root_flags` to true.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * ISLE: add proper booleans (language reference)Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin ---------Signed-off-by: Karl Meakin List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

859d38db - ISLE: update language reference (#9517)

Mon, 04 Nov 2024 19:13:52 +0000

ISLE: update language reference (#9517)The language specified in `language-reference.md` and the languagerecognised by `parser.rs` had drifted out of sync. Update the languagereference to match the actual language more closely.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

4ee35532 - ISLE: Add block comments (#9529)

Thu, 31 Oct 2024 23:15:10 +0000

ISLE: Add block comments (#9529)* ISLE: add block commentsCloses #3542Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * ISLE: add comment syntax to language referenceCopyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin * ISLE: align definition of whitespace and newlines with wasm specThe ISLE language is superficially similar to WebAssembly, so to reduceconfusion I think it would help to copy the wasm spec where possible.This is technically a breaking change, since `\x0C` (`\f`) will no longer belexed as whitespace, but this character is exceedingly rare in practice.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin ---------Signed-off-by: Karl Meakin List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

a2025f42 - ISLE: remove Scheme-style boolean syntax (#9522)

Wed, 30 Oct 2024 15:51:05 +0000

ISLE: remove Scheme-style boolean syntax (#9522)The `#t` and `#f` syntax is misleading: they are actually integerexpressions, not booleans, so `#t` represents the integer `1` but *not*the boolean `true`. They have been replaced by the named constants`$true` and `$false`, and not used anywhere except tests, so they can beremoved without breaking any lowering/optimization code.Copyright (c) 2024, Arm Limited.Signed-off-by: Karl Meakin List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

0e9121da - Fix some typos (#8641)

Thu, 16 May 2024 23:21:22 +0000

Fix some typos (#8641)* occurred* winch typos* tests typos* cli typos* fuzz typos* examples typos* docs typos* crates/wasmtime typos* crates/environ typos* crates/cranelift typos* crates/test-programs typos* crates/c-api typos* crates/cache typos* crates other typos* cranelift/codegen/src/isa typos* cranelift/codegen/src other typos* cranelift/codegen other typos* cranelift other typos* ci js typo* .github workflows typo* RELEASES typo* Fix clang-format documentation line---------Co-authored-by: Andrew Brown List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

b960adb8 - Fix broken link in ISLE language reference (#7577)

Thu, 23 Nov 2023 00:02:59 +0000

Fix broken link in ISLE language reference (#7577) List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

ef868a7a - riscv64: Further optimize constants loading (#7139)

Wed, 04 Oct 2023 14:35:36 +0000

riscv64: Further optimize constants loading (#7139)* Further optimize RISCV constant loading* Simplify existing rule* Fix* Bless missing tests* Use right signedness for Imm20 List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

b6bb6a19 - Add support for binary/octal literals to ISLE (#6234)

Tue, 18 Apr 2023 23:04:04 +0000

Add support for binary/octal literals to ISLE (#6234)* Add support for binary/octal literals to ISLEIn a number of x64-changes recently some u8 immediates are interpretedas four bit-packed 2-bit numbers and I have a tough time going betweenhex and these bit-packed numbers. I've been writing `0xAA == 0b...` incomments to indicate the intent but I figured it'd be a bit clearer ifthe binary literal was accepted directly!This is a minor update to the ISLE lexer to allow for binary `0b00...`and octal `0o00...` literals in the same manner as hex literals. Somecomments in the x64 backend are then removed to use the binary literalsyntax directly.* Update ISLE reference for octal/binary* Update ISLE tests for octal/binary List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

1dca793c - Add `partial` keyword to ISLE reference (#6076)

Tue, 21 Mar 2023 18:41:33 +0000

Add `partial` keyword to ISLE reference (#6076)Noticed this was missing, tried to add based on the comments in https://github.com/bytecodealliance/wasmtime/pull/5392 (CC @jameysharp) List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

688168b4 - Fix a mistake in the language reference (#4352)

Wed, 29 Jun 2022 19:17:41 +0000

Fix a mistake in the language reference (#4352)It is clear that the third rule does not contribute to the rewriting of the expression `(A (B (D 42)))` to `(C (D 42))` to `(E 42)`. List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

82381759 - Fix some typos in the isle language reference (#4248)

Wed, 08 Jun 2022 23:01:14 +0000

Fix some typos in the isle language reference (#4248) List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

03793b71 - ISLE: remove all uses of argument polarity, and remove it from the language. (#4091)

Mon, 02 May 2022 16:52:12 +0000

ISLE: remove all uses of argument polarity, and remove it from the language. (#4091)This PR removes "argument polarity": the feature of ISLE extractors that lets them take inputs aside from the value to be matched. Cases that need this expressivity have been subsumed by #4072 with if-let clauses; we can now finally remove this misfeature of the language, which has caused significant confusion and has always felt like a bit of a hack. This PR (i) removes the feature from the ISLE compiler; (ii) removes it from the reference documentation; and (iii) refactors away all uses of the feature in our three existing backends written in ISLE. List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md

c7e2c21b - ISLE language reference: move subsection to proper section. (#4087)

Fri, 29 Apr 2022 17:35:03 +0000

ISLE language reference: move subsection to proper section. (#4087)In #4072 I mistakenly put the subsection about if-let clauses in the language doc just below the next section header, so it's in the wrong section ("mapping to Rust"). This moves it back upward to where it should be. Sorry about that! List of files: /wasmtime-44.0.1/cranelift/isle/docs/language-reference.md