Home
last modified time | relevance | path

Searched refs:width (Results 1 – 25 of 58) sorted by relevance

123

/wasmtime-44.0.1/cranelift/filetests/filetests/verifier/
H A Dpointer_width_32.clif6 v1 = load.i8 v0 ; error: invalid pointer width (got 64, expected 32) encountered v0
7 store.i8 v1, v0 ; error: invalid pointer width (got 64, expected 32) encountered v0
13 v1 = load.i8 v0+16 ; error: invalid pointer width (got 64, expected 32) encountered v0
14 store.i8 v1, v0+16 ; error: invalid pointer width (got 64, expected 32) encountered v0
23 atomic_store.i64 v0, v1; error: invalid pointer width (got 64, expected 32) encountered v1
24 v2 = atomic_load.i64 v1; error: invalid pointer width (got 64, expected 32) encountered v1
34 … v4 = atomic_cas.i128 v3, v1, v2; error: invalid pointer width (got 64, expected 32) encountered v3
44 store.i64 little v0, v2 ; error: invalid pointer width (got 64, expected 32) encountered v2
48 v4 = load.i64 little v2 ; error: invalid pointer width (got 64, expected 32) encountered v2
56 store.f32x4 v0, v3 ; error: invalid pointer width (got 64, expected 32) encountered v3
[all …]
H A Dpointer_width_64.clif6 v1 = load.i8 v0 ; error: invalid pointer width (got 32, expected 64) encountered v0
7 store.i8 v1, v0 ; error: invalid pointer width (got 32, expected 64) encountered v0
13 v1 = load.i8 v0+16 ; error: invalid pointer width (got 32, expected 64) encountered v0
14 store.i8 v1, v0+16 ; error: invalid pointer width (got 32, expected 64) encountered v0
23 atomic_store.i64 v0, v1; error: invalid pointer width (got 32, expected 64) encountered v1
24 v2 = atomic_load.i64 v1; error: invalid pointer width (got 32, expected 64) encountered v1
34 … v4 = atomic_cas.i128 v3, v1, v2; error: invalid pointer width (got 32, expected 64) encountered v3
44 store.i64 little v0, v2 ; error: invalid pointer width (got 32, expected 64) encountered v2
48 v4 = load.i64 little v2 ; error: invalid pointer width (got 32, expected 64) encountered v2
56 store.f32x4 v0, v3 ; error: invalid pointer width (got 32, expected 64) encountered v3
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/isa/riscv64/inst/
H A Demit_tests.rs1161 width: FpuOPWidth::S, in test_riscv64_binemit()
1173 width: FpuOPWidth::S, in test_riscv64_binemit()
1185 width: FpuOPWidth::S, in test_riscv64_binemit()
1197 width: FpuOPWidth::S, in test_riscv64_binemit()
1209 width: FpuOPWidth::S, in test_riscv64_binemit()
1221 width: FpuOPWidth::S, in test_riscv64_binemit()
1234 width: FpuOPWidth::S, in test_riscv64_binemit()
1246 width: FpuOPWidth::S, in test_riscv64_binemit()
1259 width: FpuOPWidth::S, in test_riscv64_binemit()
1271 width: FpuOPWidth::S, in test_riscv64_binemit()
[all …]
H A Dencode.rs17 debug_assert_eq!(value & (!0 << width), 0); in unsigned_field_width()
72 width, in encode_i_type()
87 bits |= unsigned_field_width(width, 3) << 12; in encode_s_type()
257 width: VecElementWidth, in encode_vmem_load()
265 let width = match width { in encode_vmem_load() localVariable
275 bits |= width << 12; in encode_vmem_load()
296 width: VecElementWidth, in encode_vmem_store()
680 op.funct7(width), in encode_fp_rr()
686 width: FpuOPWidth, in encode_fp_rrr()
698 op.funct7(width), in encode_fp_rrr()
[all …]
H A Dargs.rs455 pub(crate) fn op_name(self, width: FpuOPWidth) -> String { in op_name()
475 pub(crate) fn op_name(self, width: FpuOPWidth) -> String { in op_name()
476 let fmv_width = match width { in op_name()
568 pub(crate) fn funct7(self, width: FpuOPWidth) -> u32 { in funct7()
569 (self.funct5() << 2) | width.as_u32() in funct7()
574 pub(crate) fn op_name(self, width: FpuOPWidth) -> String { in op_name()
617 pub(crate) fn funct7(self, width: FpuOPWidth) -> u32 { in funct7()
618 (self.funct5() << 2) | width.as_u32() in funct7()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/solver/encoded_ops/
H A Dmod.rs51 fn check_unary_encoding_with_solver(encoding: &str, input: &str, output: &str, width: usize) { in check_unary_encoding_with_solver()
55 let ty = ctx.smt.bit_vec_sort(ctx.smt.numeral(width)); in check_unary_encoding_with_solver()
63 let output_from_call = match (encoding, width) { in check_unary_encoding_with_solver()
82 check_encoding_with_solver(ctx, output_from_call, output, width) in check_unary_encoding_with_solver()
85 fn check_encoding_with_solver(mut ctx: SolverCtx, call: SExpr, output: &str, width: usize) { in check_encoding_with_solver()
87 let output_care_bits = ctx.smt.extract((width - 1).try_into().unwrap(), 0, call); in check_encoding_with_solver()
390 fn check_subs_with_solver(width: usize, x_str: &str, y_str: &str, output: &str) { in check_subs_with_solver()
394 let ty = ctx.smt.bit_vec_sort(ctx.smt.numeral(width)); in check_subs_with_solver()
405 let call = subs::subs(&mut ctx, width, x, y, 0); in check_subs_with_solver()
/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dprinter.rs8 pub fn print<W: Write>(defs: &[Def], width: usize, out: &mut W) -> std::io::Result<()> { in print()
13 print_node(def, width, out)?; in print()
22 width: usize, in print_node()
25 let mut printer = Printer::new(out, width); in print_node()
67 width: usize, field
77 fn new(out: &'a mut W, width: usize) -> Self { in new()
82 width, in new()
128 let Some(mut remaining) = self.width.checked_sub(self.col) else { in fits()
476 SpecExpr::ConstBitVec { val, width, pos: _ } => SExpr::atom(if *width % 4 == 0 { in to_sexpr()
477 format!("#x{val:0width$x}", width = *width as usize / 4) in to_sexpr()
[all …]
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dsolver.rs98 fn bv(&self, value: i128, width: usize) -> SExpr { in bv()
107 self.smt.numeral(width), in bv()
117 self.smt.numeral(width), in int2bv()
305 let width_as_bv = self.bv(width.try_into().unwrap(), width); in encode_rotate()
473 if width > 0 { in widen_to_register_width()
489 let padding = self.new_fresh_bits(width); in widen_to_register_width()
568 let width = self.get_expr_width_var(&e); in vir_expr_to_sexp() localVariable
854 let expr_width = width.unwrap(); in vir_expr_to_sexp()
875 let expr_width = width.unwrap(); in vir_expr_to_sexp()
886 let expr_width = width.unwrap(); in vir_expr_to_sexp()
[all …]
H A Dannotations.rs285 width: 0, in spec_to_expr()
290 width: 0, in spec_to_expr()
292 SpecExpr::ConstBitVec { val, width, pos: _ } => Expr::Const(Const { in spec_to_expr()
293 ty: Type::BitVectorWithWidth(*width as usize), in spec_to_expr()
295 width: (*width as usize), in spec_to_expr()
300 width: 0, in spec_to_expr()
/wasmtime-44.0.1/docs/css/
H A Dlangtabs.css19 scrollbar-width: none; /* Firefox */
60 width: 1.4em;
125 @media (max-width: 640px) {
133 width: 1.3em;
/wasmtime-44.0.1/src/commands/
H A Dsettings.rs174 let width = settings.iter().map(|s| s.0.name.len()).max().unwrap_or(0); in print_settings_human_readable() localVariable
186 width = width + 2 in print_settings_human_readable()
/wasmtime-44.0.1/pulley/src/
H A Dop.rs140 pub fn width(&self) -> u8 {
145 Self::ExtendedOp(op) => op.width(),
191 pub fn width(&self) -> u8 {
/wasmtime-44.0.1/cranelift/codegen/src/isa/aarch64/inst/
H A Dimms.rs1149 fn repeat(value: u64, width: u64) -> u64 { in repeat()
1150 let mut result = value & ((1 << width) - 1); in repeat()
1151 let mut i = width; in repeat()
1187 let mut width = 0x20; in get_logical_imm() localVariable
1188 while width >= 0x2 { in get_logical_imm()
1189 if (s & width) == 0 { in get_logical_imm()
1190 let mask = width - 1; in get_logical_imm()
1195 return repeat(bits.rotate_right(r & mask), width.into()); in get_logical_imm()
1197 width >>= 1; in get_logical_imm()
/wasmtime-44.0.1/crates/wasi-nn/examples/classification-example-pytorch/src/
H A Dmain.rs42 fn preprocess(image: &[u8], height: u32, width: u32, mean: &[f32], std: &[f32]) -> Vec<u8> { in preprocess()
44 width, in preprocess()
/wasmtime-44.0.1/crates/wasi-nn/examples/classification-example-winml/src/
H A Dmain.rs79 fn preprocess(image: &[u8], height: u32, width: u32, mean: &[f32], std: &[f32]) -> Vec<u8> { in preprocess()
81 width, in preprocess()
/wasmtime-44.0.1/crates/explorer/src/
H A Dindex.css13 width: 100%;
/wasmtime-44.0.1/crates/wasi-nn/examples/classification-component-onnx/src/
H A Dmain.rs130 fn image_to_tensor(path: String, height: u32, width: u32) -> Vec<u8> { in image_to_tensor()
132 let dyn_img: DynamicImage = pixels.resize_exact(width, height, image::imageops::Triangle); in image_to_tensor()
/wasmtime-44.0.1/pulley/fuzz/src/
H A Droundtrip.rs16 assert_eq!(size, op.width().into()); in roundtrip()
/wasmtime-44.0.1/cranelift/isle/veri/
H A DREADME.md53 Verification succeeded for band_fits_in_64, width 8
54 Verification succeeded for band_fits_in_64, width 16
55 Verification succeeded for band_fits_in_64, width 32
56 Verification succeeded for band_fits_in_64, width 64
69 Verification failed for band_fits_in_64, width 8
174 - `convto`: `(convto w e)` where `w : Int` and `e : (bv N)` converts the bitvector `e` to the width…
217 ;; fits_in_64 checks that the integer modeling the width is less than or equal to 64.
/wasmtime-44.0.1/tests/all/
H A Dmemory.rs19 for (width, instr) in [ in module()
45 width: u32, field
64 .map(|(width, offset, func)| TestFunc { in find_funcs()
65 width, in find_funcs()
77 let range = base..base + u64::from(func.width); in test_traps()
84 func.width, in test_traps()
/wasmtime-44.0.1/docs/js/
H A Dmermaid.min.11.6.0.js2167 …H0 V0 Z`)},"cloudBkg"),QZe=o(function(t,e,r){let n=r.width,i=r.height,a=.15*n;e.append("path").att…
2186 …width:r.width,classes:"mindmap-node-label"},i),a||f.attr("dy","1em").attr("alignment-baseline","mi…
2269 stroke-width: ${i};
2273 stroke-width: 3;
2290 stroke-width: 1px;
2300 stroke-width: 3;
2358 stroke-width: ${e.blockStrokeWidth};
2367 stroke-width: ${e.curveStrokeWidth};
2383 stroke-width: ${r.axisStrokeWidth};
2395 stroke-width: ${r.graticuleStrokeWidth};
[all …]
/wasmtime-44.0.1/cranelift/codegen/src/
H A Dsouper_harvest.rs393 Some(ast::Type { width: 1 }) => a, in harvest_candidate_lhs()
397 Some(ast::Type { width: 1 }), in harvest_candidate_lhs()
412 r#type: Some(ast::Type { width: 1 }), in harvest_candidate_lhs()
537 let width = match dfg.value_def(val).inst() { in souper_type_of() localVariable
546 Some(ast::Type { width }) in souper_type_of()
/wasmtime-44.0.1/winch/codegen/src/isa/
H A Dmod.rs220 let width = self.triple().pointer_width().unwrap(); in pointer_bytes() localVariable
221 width.bytes() in pointer_bytes()
/wasmtime-44.0.1/cranelift/codegen/meta/src/cdsl/
H A Dtypes.rs58 self.width() / 8 in membytes()
76 pub fn width(&self) -> u64 { in width() method
/wasmtime-44.0.1/crates/environ/src/
H A Dvmoffsets.rs53 fn align(offset: u32, width: u32) -> u32 { in align()
54 (offset + (width - 1)) / width * width in align()

123