Sha256: 0c38f0352da2b0e295cc075febfedb7fd20dbe7483520640f8f1bf59da7223b9

Contents?: true

Size: 659 Bytes

Versions: 29

Compression:

Stored size: 659 Bytes

Contents

(type i64 (primitive i64))

(decl partial X (i64) i64)
(rule (X -1) -2)
(rule (X -2) -3)
(rule (X 0x7fff_ffff_ffff_ffff) -0x8000_0000_0000_0000)
(rule (X -16) 1)

(type i128 (primitive i128))

(decl partial Y (i128) i128)

(rule (Y 0x1000_0000_0000_0000_1234_5678_9abc_def0) -1)
(rule (Y 0xffff_ffff_ffff_ffff_ffff_ffff_ffff_ffff) 3)

(rule (Y -0x1000_0000_0000_0000_1234_5678_9abc_def0) 1)
(rule (Y -0xffff_ffff_ffff_ffff_ffff_ffff_ffff_ffff) -3)

;; Test some various syntaxes for numbers
(type i32 (primitive i32))
(decl partial Z (i32) i32)
(rule (Z 0) 0x01)
(rule (Z 0x01) 0x0_2)
(rule (Z 0b10) 3)
(rule (Z 0b1_1) 0o4)
(rule (Z 0o7654321) 0b11_00_11_00)

Version data entries

29 entries across 29 versions & 1 rubygems

Version Path
wasmtime-27.0.0 ./ext/cargo-vendor/cranelift-isle-0.114.0/isle_examples/run/iconst.isle
wasmtime-26.0.0 ./ext/cargo-vendor/cranelift-isle-0.113.0/isle_examples/run/iconst.isle
wasmtime-25.0.2 ./ext/cargo-vendor/cranelift-isle-0.112.2/isle_examples/run/iconst.isle
wasmtime-25.0.1 ./ext/cargo-vendor/cranelift-isle-0.112.1/isle_examples/run/iconst.isle
wasmtime-25.0.0 ./ext/cargo-vendor/cranelift-isle-0.112.0/isle_examples/run/iconst.isle
wasmtime-24.0.0 ./ext/cargo-vendor/cranelift-isle-0.111.0/isle_examples/run/iconst.isle
wasmtime-23.0.2 ./ext/cargo-vendor/cranelift-isle-0.110.2/isle_examples/run/iconst.isle
wasmtime-22.0.0 ./ext/cargo-vendor/cranelift-isle-0.109.0/isle_examples/run/iconst.isle
wasmtime-21.0.1 ./ext/cargo-vendor/cranelift-isle-0.108.1/isle_examples/run/iconst.isle
wasmtime-20.0.2 ./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/run/iconst.isle
wasmtime-20.0.0 ./ext/cargo-vendor/cranelift-isle-0.107.2/isle_examples/run/iconst.isle
wasmtime-18.0.3 ./ext/cargo-vendor/cranelift-isle-0.105.3/isle_examples/run/iconst.isle
wasmtime-17.0.1 ./ext/cargo-vendor/cranelift-isle-0.104.1/isle_examples/run/iconst.isle
wasmtime-17.0.0 ./ext/cargo-vendor/cranelift-isle-0.104.0/isle_examples/run/iconst.isle
wasmtime-16.0.0 ./ext/cargo-vendor/cranelift-isle-0.103.0/isle_examples/run/iconst.isle
wasmtime-15.0.1 ./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/run/iconst.isle
wasmtime-15.0.0 ./ext/cargo-vendor/cranelift-isle-0.102.1/isle_examples/run/iconst.isle
wasmtime-14.0.4 ./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/run/iconst.isle
wasmtime-14.0.3 ./ext/cargo-vendor/cranelift-isle-0.101.4/isle_examples/run/iconst.isle
wasmtime-14.0.1 ./ext/cargo-vendor/cranelift-isle-0.101.1/isle_examples/run/iconst.isle