veri: disallow duplicate specs - Githubissues

avanhatt / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

https://wasmtime.dev/

Apache License 2.0

0 stars 1 forks source link

veri: disallow duplicate specs #87

Closed mmcloughlin closed 8 months ago

mmcloughlin commented 11 months ago

This PR errors when duplicate specs are provided.

We currently have two for lower_icmp_const:

https://github.com/avanhatt/wasmtime/blob/657877656a89b1810c4226915f9c330e400bbc93/cranelift/codegen/src/isa/aarch64/inst.isle#L4495 https://github.com/avanhatt/wasmtime/blob/657877656a89b1810c4226915f9c330e400bbc93/cranelift/codegen/src/isa/aarch64/inst.isle#L4565