Home
last modified time | relevance | path

Searched refs:require (Results 1 – 25 of 103) sorted by relevance

12345

/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/ctz/
H A Dbroken_ctz16.isle53 (require (or (= ty 32) (= ty 64))))
63 (require
76 (require (or (= ty 32) (= ty 64))))
82 (require (or (= ty 32) (= ty 64))))
H A Dbroken_ctz8.isle53 (require (or (= ty 32) (= ty 64))))
63 (require
76 (require (or (= ty 32) (= ty 64))))
82 (require (or (= ty 32) (= ty 64))))
H A Dbroken_ctz.isle26 (require (or (= ty 32) (= ty 64))))
36 (require (or (= ty 32) (= ty 64))))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/x86/
H A Damode_add_uextend_shl.isle31 (require (bvslt result #x0000000000000100)
38 (require
68 (require
88 (require
99 (require
113 (require
152 (require (<= a b)
H A Damode_add_shl.isle27 (require (bvslt result #x0000000000000100)
34 (require
63 (require
89 (require
103 (require
141 (require (<= a b)
/wasmtime-44.0.1/crates/wizer/.github/actions/install-rust/
H A Dmain.js1 const child_process = require('child_process');
3 const fs = require('fs');
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/sdiv/
H A Dbroken_sdiv_safe_const.isle45 (require (or (= ty 8) (= ty 16) (= ty 32) (= ty 64))))
55 ;; Broken: missing require
58 ;; (require (not (= #x0000000000000000 result)))
66 ;; (require (not (= #x0000000000000000 result))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/mid-end/
H A Dbroken_bor_band_consts.isle17 (require
26 (require (= ty (widthof x))))
33 (require
43 (require (= ty (widthof arg))))
/wasmtime-44.0.1/crates/wizer/.github/actions/binary-compatible-builds/
H A Dmain.js3 const child_process = require('child_process');
5 const fs = require('fs');
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/iadd/
H A Dbroken_imm12.isle25 (require (or (<= (bv2int b) 4094)
34 ;; Broken: no require
H A Dbroken_imm12_2.isle26 (require (or (<= (bv2int b) 4094)
39 (require
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/isub/
H A Dbroken_imm12.isle25 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
35 ;; Broken: no require
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/
H A Dbroken_rule_or_small_rotr.isle27 (require
60 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
110 (require
125 (require (or (= ty 8) (= ty 16) (= ty 32) (= ty 64))))
H A Dbroken_fits_in_16_rotl_to_rotr.isle30 (require
62 (require
119 (require
H A Dbroken_mask_small_rotr.isle27 (require
60 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
110 (require
H A Dbroken_fits_in_16_with_imm_rotl_to_rotr.isle32 (require
55 (require
102 (require (bvult (bvand x (bvsub (int2bv 64 ty) #x0000000000000001)) #x0000000000000040)))
168 (require
/wasmtime-44.0.1/cranelift/codegen/src/
H A Dinst_specs.isle58 (require
103 (require (not (= y (zero_ext (widthof y) #b0)))))
108 (require (not (= y (zero_ext (widthof y) #b0)))))
113 (require (not (= y (zero_ext (widthof y) #b0)))))
118 (require (not (= y (zero_ext (widthof y) #b0)))))
138 (require (or (= (widthof x) 8) (= (widthof x) 16) (= (widthof x) 32) (= (widthof x) 64))))
/wasmtime-44.0.1/ci/
H A Dbuild-test-matrix.js7 const fs = require('fs');
8 const { spawn } = require('node:child_process');
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/clz/
H A Dbroken_clz16.isle42 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
55 (require (or (= ty 32) (= ty 64))))
H A Dbroken_clz8.isle42 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
55 (require (or (= ty 32) (= ty 64))))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/broken/cls/
H A Dbroken_cls16.isle42 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
55 (require (or (= ty 32) (= ty 64))))
H A Dbroken_cls8.isle42 (require (or (bvult (zero_ext 64 b) #x0000000000000fff)
55 (require (or (= ty 32) (= ty 64))))
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/examples/store/
H A Dbroken_bvsub_store_with_load.isle53 (require (or (= ty 32) (= ty 64)))
77 (require
H A Dbroken_isub_store_with_load.isle53 (require (or (= ty 32) (= ty 64)))
77 (require
/wasmtime-44.0.1/cranelift/filetests/filetests/runtests/
H A Dfence.clif10 ; require multiple threads, which requires a runtime like Wasmtime.

12345