| /wasmtime-44.0.1/cranelift/jit/src/memory/ |
| H A D | arena.rs | 28 let mut segment = Segment { in new() localVariable
37 segment.set_rw(); in new()
38 segment in new()
144 return Ok(segment.allocate(size, align)); in allocate_inner()
148 if let Some(segment) = self.segments.iter_mut().last() { in allocate_inner()
149 if segment.target_prot == protection && !segment.finalized { in allocate_inner()
155 segment.len += additional_size; in allocate_inner()
156 segment.set_rw(); in allocate_inner()
158 return Ok(segment.allocate(size, align)); in allocate_inner()
188 for segment in &mut self.segments { in finalize()
[all …]
|
| /wasmtime-44.0.1/crates/environ/src/compile/ |
| H A D | module_artifacts.rs | 182 for segment in list { in append()
183 segment.data.start = segment.data.start.checked_add(data_offset).unwrap(); in append()
184 segment.data.end = segment.data.end.checked_add(data_offset).unwrap(); in append()
188 for (_, segment) in map { in append()
189 if let Some(segment) = segment { in append()
190 segment.data.start = segment.data.start.checked_add(data_offset).unwrap(); in append()
191 segment.data.end = segment.data.end.checked_add(data_offset).unwrap(); in append()
|
| H A D | module_environ.rs | 1261 while let Some(segment) = segments.peek() { in try_func_table_init()
1262 let defined_index = match self.module.defined_table_index(segment.table_index) { in try_func_table_init()
1273 let offset = match segment.offset.ops() { in try_func_table_init()
1282 let top = match offset.checked_add(segment.elements.len()) { in try_func_table_init()
1286 let table_size = self.module.tables[segment.table_index].limits.min; in try_func_table_init()
1291 match self.module.tables[segment.table_index] in try_func_table_init()
1310 let function_elements = match &segment.elements { in try_func_table_init()
|
| /wasmtime-44.0.1/tests/misc_testsuite/ |
| H A D | partial-init-table-segment.wast | 22 ;; An in-bounds segment that should get initialized in the table.
25 ;; Part of this segment is out of bounds, so none of its elements should be
32 ;; The first `$one` segment *was* initialized OK.
35 ;; The second `$one` segment is partially out of bounds, and therefore none of
|
| H A D | partial-init-memory-segment.wast | 26 ;; The first data segment got written.
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/vm/instance/ |
| H A D | allocator.rs | 507 for segment in module.table_initialization.segments.iter() { in check_table_init_bounds()
509 .eval_int(&mut store, context, &segment.offset) in check_table_init_bounds()
511 let start = get_index(start, module.tables[segment.table_index].idx_type); in check_table_init_bounds()
512 let end = start.checked_add(segment.elements.len()); in check_table_init_bounds()
514 let table = store.instance_mut(instance).get_table(segment.table_index); in check_table_init_bounds()
563 for segment in module.table_initialization.segments.iter() { in initialize_tables()
565 .eval_int(&mut store, context, &segment.offset) in initialize_tables()
567 let start = get_index(start, module.tables[segment.table_index].idx_type); in initialize_tables()
574 segment.table_index, in initialize_tables()
575 &segment.elements, in initialize_tables()
[all …]
|
| /wasmtime-44.0.1/crates/cranelift/src/ |
| H A D | obj.rs | 394 let segment = obj.segment_name(StandardSegment::Data).to_vec(); in append_section() localVariable
395 let xdata_id = obj.add_section(segment, b".xdata".to_vec(), SectionKind::ReadOnlyData); in append_section()
396 let segment = obj.segment_name(StandardSegment::Data).to_vec(); in append_section() localVariable
397 let pdata_id = obj.add_section(segment, b".pdata".to_vec(), SectionKind::ReadOnlyData); in append_section()
402 let segment = obj.segment_name(StandardSegment::Data).to_vec(); in append_section() localVariable
404 obj.add_section(segment, b".eh_frame".to_vec(), SectionKind::ReadOnlyData); in append_section()
|
| H A D | compiler.rs | 698 let segment = obj.segment_name(StandardSegment::Debug).to_vec(); in append_dwarf() localVariable
699 let section_id = obj.add_section(segment, name.as_bytes().to_vec(), SectionKind::Debug); in append_dwarf()
|
| /wasmtime-44.0.1/tests/misc_testsuite/gc/ |
| H A D | array-new-data.wast | 14 ;; In-bounds data segment accesses.
20 ;; Out-of-bounds data segment accesses.
70 ;; Data inside the segment doesn't need to be aligned to the element size.
|
| H A D | array-new-elem.wast | 18 ;; In-bounds element segment accesses.
24 ;; Out-of-bounds element segment accesses.
|
| H A D | array-init-data.wast | 26 ;; Out-of-bounds data segment accesses.
100 ;; Data inside the segment doesn't need to be aligned to the element size.
|
| /wasmtime-44.0.1/crates/component-macro/src/ |
| H A D | bindgen.rs | 459 let append = |buf: &mut String, segment: syn::PathSegment| -> Result<()> { in with_field_parse()
460 if segment.arguments != syn::PathArguments::None { in with_field_parse()
467 buf.push_str(&segment.ident.to_string()); in with_field_parse()
478 if let Some(segment) = segments.next() { in with_field_parse()
479 append(&mut buf, segment)?; in with_field_parse()
482 for segment in segments { in with_field_parse()
484 append(&mut buf, segment)?; in with_field_parse()
|
| /wasmtime-44.0.1/crates/wizer/src/ |
| H A D | snapshot.rs | 230 while let Some(segment) = merged.next_if(|s| s.memory_index == memory_index) { in snapshot_memories()
233 data: memory[segment.range.clone()].to_vec(), in snapshot_memories()
234 offset: segment.range.start.try_into().unwrap(), in snapshot_memories()
|
| /wasmtime-44.0.1/examples/ |
| H A D | linking1.wat | 14 ;; Our `data` segment initialized our imported memory, so let's print the
|
| /wasmtime-44.0.1/docs/ |
| H A D | contributing-reducing-test-cases.md | 55 # sure it is referencing the same data segment.
58 # Make sure that the data segment in question remains unchanged, as mutating its
118 changed, and neither has the relevant data segment, so the reduced test case
|
| H A D | contributing-architecture.md | 290 imported table via an element segment. This means that even if we fail to
|
| /wasmtime-44.0.1/tests/disas/ |
| H A D | passive-data.wat | 4 (data $passive "this is a passive data segment")
|
| /wasmtime-44.0.1/tests/misc_testsuite/memory64/ |
| H A D | more-than-4gb.wast | 38 ;; Test that initialization with a 64-bit data segment works
|
| /wasmtime-44.0.1/crates/fuzzing/src/oracles/ |
| H A D | memory.rs | 371 datas.segment(wasm_encoder::DataSegment { in build_wasm()
|
| /wasmtime-44.0.1/docs/js/ |
| H A D | mermaid.min.11.6.0.js | 1949 …ments.length-1;if(x=b,b+=E.length,b>=g||A){v={cp:C,segment:E};break}}if(v)break}var S=v.cp,_=v.seg…
|