Lines Matching refs:segment

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()
578             segment.elements.len(),  in initialize_tables()