Stream: git-wasmtime

Topic: wasmtime / issue #13773 VeriISLE: Error: attr term 'imul_...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 30 2026 at 18:52):

lehector opened issue #13773:

I'm trying to run the VeriISLE program for AArch64, but it always fails with the error "attr term 'imul_base_case' should exist", despite the attribute being there in the ISLE files.

Steps to reproduce:

  1. Clone the project
  2. Run cargo run -p cranelift-isle-veri --bin veri -- --config cranelift/isle/veri/configs/aarch64-fast.args, as stated in VeriISLE's README

Output:

Writing generated file: /tmp/.tmpFYBe0Y/numerics.isle
Writing generated file: /tmp/.tmpFYBe0Y/isle_numerics.rs
Writing generated file: /tmp/.tmpFYBe0Y/clif_opt.isle
Writing generated file: /tmp/.tmpFYBe0Y/clif_lower.isle
Writing generated file: /tmp/.tmpFYBe0Y/assembler.isle
Error: attr term 'imul_base_case' should exist

Here's also a log with RUST_LOG set to TRACE
trace.log

I have also tried to run VeriISLE on the 05e7921 commit (when VeriISLE was added) but it had the same outcome.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 30 2026 at 18:54):

fitzgen commented on issue #13773:

cc @avanhatt

view this post on Zulip Wasmtime GitHub notifications bot (Jun 30 2026 at 18:55):

fitzgen added the cranelift:area:clif label to Issue #13773.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 30 2026 at 18:55):

fitzgen added the formal-verification label to Issue #13773.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 30 2026 at 23:02):

avanhatt commented on issue #13773:

Ah, sorry about that and thanks for the report! PR up to fix: https://github.com/bytecodealliance/wasmtime/pull/13777

view this post on Zulip Wasmtime GitHub notifications bot (Jun 30 2026 at 23:45):

alexcrichton closed issue #13773:

I'm trying to run the VeriISLE program for AArch64, but it always fails with the error "attr term 'imul_base_case' should exist", despite the attribute being there in the ISLE files.

Steps to reproduce:

  1. Clone the project
  2. Run cargo run -p cranelift-isle-veri --bin veri -- --config cranelift/isle/veri/configs/aarch64-fast.args, as stated in VeriISLE's README

Output:

Writing generated file: /tmp/.tmpFYBe0Y/numerics.isle
Writing generated file: /tmp/.tmpFYBe0Y/isle_numerics.rs
Writing generated file: /tmp/.tmpFYBe0Y/clif_opt.isle
Writing generated file: /tmp/.tmpFYBe0Y/clif_lower.isle
Writing generated file: /tmp/.tmpFYBe0Y/assembler.isle
Error: attr term 'imul_base_case' should exist

Here's also a log with RUST_LOG set to TRACE
trace.log

I have also tried to run VeriISLE on the 05e7921 commit (when VeriISLE was added) but it had the same outcome.

Last updated: Jul 29 2026 at 05:03 UTC