Changes in bitops.isle

4d4e9033 - [Cranelift] add simplification rules (#12937)

Thu, 02 Apr 2026 19:05:33 +0000

[Cranelift] add simplification rules (#12937) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

15783254 - [Cranelift] add simplification rules (#12926)

Wed, 01 Apr 2026 17:58:02 +0000

[Cranelift] add simplification rules (#12926)[Cranelift] Add arithmetic simplification rules List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

691bb4f0 - [Cranelift] add bit operation simplification rules (#12782)

Mon, 16 Mar 2026 22:02:39 +0000

[Cranelift] add bit operation simplification rules (#12782)* [Cranelift] add bit operation simplification rules* [Cranelift] filetest error resolve List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

8f8b58e9 - Cranelift: bitops add (#12738)

Mon, 09 Mar 2026 14:32:27 +0000

Cranelift: bitops add (#12738) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

557ef730 - [Cranelift] dual add (#12731)

Thu, 05 Mar 2026 15:34:39 +0000

[Cranelift] dual add (#12731) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

dfc36b61 - cranelift: bitops folding added (#12715)

Wed, 04 Mar 2026 18:15:00 +0000

cranelift: bitops folding added (#12715) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

f6c69b07 - [Cranelift] (x & y) | ~(x ^ y) => ~(x ^ y) (#12686)

Fri, 27 Feb 2026 20:14:17 +0000

[Cranelift] (x & y) | ~(x ^ y) => ~(x ^ y) (#12686)* cranelift: simplify bor(and, not(xor)) to not(xor)* cranelift: extend bor(and, not(xor)) simplify coverage List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

39f8c4ea - remove demorgan rules (#12127)

Fri, 05 Dec 2025 18:57:26 +0000

remove demorgan rules (#12127) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

73fe75e7 - [Cranelift] `(z & x) ^ (z & y) => z & (x ^ y)` (#12000)

Fri, 07 Nov 2025 18:56:04 +0000

[Cranelift] `(z & x) ^ (z & y) => z & (x ^ y)` (#12000) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

3de15c01 - [Cranelift] add commutative cases (follow-up of #11642) (#11663)

Thu, 11 Sep 2025 17:05:24 +0000

[Cranelift] add commutative cases (follow-up of #11642) (#11663)* [Cranelift] add opts and tests* [Cranelift] add runtests* [Cranelift] add commutative cases* [Cranelift] add filetests List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

6139613d - [Cranelift] fold `(or (and ..) (not ..)` (#11641)

Thu, 11 Sep 2025 16:05:13 +0000

[Cranelift] fold `(or (and ..) (not ..)` (#11641)* [Cranelift] add opts and tests* [Cranelift] add runtests List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

76cd1aca - [Cranelift] `(X ^ Y) ^ Y --> X`, `(X & Y) | X --> X` (#11680)

Thu, 11 Sep 2025 02:40:42 +0000

[Cranelift] `(X ^ Y) ^ Y --> X`, `(X & Y) | X --> X` (#11680)* [Cranelift] add opts and tests* [Cranelift] update* [Cranelift] add runtests* [Cranelift] add opts and tests* [Cranelift] add commutative cases* [Cranelift] add runtests List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

d23f55ad - [Cranelift] `(X | Y) + (X & Y) --> X + Y`, `(X & Y) + (X ^ Y) --> X | Y` (#11647)

Wed, 10 Sep 2025 14:23:11 +0000

[Cranelift] `(X | Y) + (X & Y) --> X + Y`, `(X & Y) + (X ^ Y) --> X | Y` (#11647)* [Cranelift] add opts and tests* [Cranelift] add opts and tests* [Cranelift] update tests* [Cranelift] add runtests* [Cranelift] fix tests* [Cranelift] add runtests* [Cranelift] add commutative cases* [Cranelift] add egraph filetests List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

a740e343 - [Cranelift] fold `(and (xor (not ..) ..) ..)` (#11642)

Tue, 09 Sep 2025 17:26:46 +0000

[Cranelift] fold `(and (xor (not ..) ..) ..)` (#11642)* [Cranelift] add opts and tests* [Cranelift] add runtests List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

ddfd56e6 - [ISLE] add opt (#11556)

Fri, 29 Aug 2025 00:59:26 +0000

[ISLE] add opt (#11556) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

deed903d - [ISLE] add opt and tests (#11555)

Thu, 28 Aug 2025 14:14:18 +0000

[ISLE] add opt and tests (#11555) List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

73b1e317 - [Cranelift] `(x | y) ^ (x & y) --> (x ^ y)` (#11527)

Wed, 27 Aug 2025 15:20:39 +0000

[Cranelift] `(x | y) ^ (x & y) --> (x ^ y)` (#11527)* [ISLE] add an opt and its test* [ISLE] add runtests for new opt List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

778dd02f - [Cranelift] `(x & y) ^ (x ^ y) --> x | y` (#11173)

Wed, 02 Jul 2025 18:46:22 +0000

[Cranelift] `(x & y) ^ (x ^ y) --> x | y` (#11173)* add rule* add tests List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

cfe17cb1 - Cranelift: Generate integer numeric ops and conversions for ISLE in the meta crate (#11065)

Thu, 19 Jun 2025 00:24:34 +0000

Cranelift: Generate integer numeric ops and conversions for ISLE in the meta crate (#11065)* Cranelift: Generate integer numeric ops and conversions for ISLE in the meta crateThis automatically generates operations and conversions for integer types foruse in ISLE.Supported types are: `{i,u}{8,16,32,64,128}`We generate* Comparisons (eq, ne, lt, lt_eq, gt, gt_eq)* Arithmetic operations (add, sub, mul, div, neg) * These each have checked, wrapping, and unwrapping variants* Bitwise operations (and, or, xor, shifts, counting leading/trailing zeros/ones)* A variety of predicates (is_zero, is_power_of_two, is_odd, etc...) * These generate both partial constructors and a handful of extractors* Conversions * These come in a variety of flavors: fallible, infallible, truncating, unwrapping, sign-reinterpretation * Fallible conversions are also available as an extractor* Fix copy paste* Rename `x_reinterpret_as_y` to `x_cast_[un]signed`* Collapse some fallible conversions in pulley lowering* Clean up pulley iconst lowering, make sure narrowest `xconst*` instruction is always used* Avoid an unnecessary truncation in riscv64 lowering* Use extractor instead of partial constructor in x64 `imm` rule* Clean up `op mem, imm` x64 lowering rules* Use `(i64_eq a b)` instead of `(u64_eq (i64_cast_unsigned a) (i64_cast_unsigned b))`* Rename `_unwrapping_` to `_` List of files: /wasmtime-44.0.1/cranelift/codegen/src/opts/bitops.isle

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/codegen/src/opts/bitops.isle