Karl Meakin

ISLE feature request: `when` and `unless`

5

#### Feature Add `(when )` and `(unless )` syntax as shorthand for `(if-let $true )` and `(if-let $false )` respectively #### Benefit Less to type when adding boolean conditions to...

egraphs: Canonicalize loose inequalities to strict inequalities (2nd attempt)

1

A 2nd attempt at https://github.com/bytecodealliance/wasmtime/pull/6130. This time with a regression test

egraphs: transpose select on operation to operation on select when it increases sharing

2

This is a second attempt of https://github.com/bytecodealliance/wasmtime/pull/6219, but this time only includes rewrites that are obviously beneficial by reducing number of instructions

Cranelift: "constant immediate is out of bounds"

2

Adding this optimization to `codegen/src/opts/icmp.isle` ``` ;; sge(x, c) == sgt(x, c-1), for c != SMIN. (rule (simplify (sge (fits_in_64 (ty_int bty)) x (iconst cty (u64_from_imm64 c)))) (if-let $false (u64_eq...

Missed optimization: malloc + memcpy + free => realloc

8

https://godbolt.org/z/YWxW7h8sP ```c++ #include #include #include extern "C" { auto src1(void* p1, size_t old_len, size_t new_len) -> void* { void* p2 = malloc(new_len); memcpy(p2, p1, old_len); free(p1); return p2; } auto...

Optimize `checked_ilog` and `pow` when `base` is a power of two

21

Optimize `checked_ilog` and `pow` when the base is a power of two