Limits.v3

// Copyright 2019 Ben L. Titzer. All rights reserved.
// See LICENSE for details of Apache 2.0 license.

// Configurable limitations on modules and instances.
class Limits {
	var max_module_size = 1073741824u;
        var max_num_types = 1000000u;
        var max_num_functions = 1000000u;
        var max_num_imports = 100000u;
        var max_num_exports = 100000u;
        var max_num_globals = 1000000u;
        var max_num_tags = 1000000u;
	var max_num_memories = 1u;
	var max_num_tables = 100000u;
        var max_num_data_segments = 100000u;
	var max_num_catches = 10000u;
        var max_table_size = 10000000u;
        var max_num_table_entries = 10000000u;
        var max_legal_memory_pages = 0x1_0000uL;
        var max_num_func_params = 1000u;
        var max_num_func_results = 1000u;
        var max_num_select_results = 1u;
        var max_func_size = 7654321u;
        var max_num_locals = 50000u;
	var max_data_segment_size = 1024u * 1048576u;
        var max_num_struct_fields = 100000u;
	var max_rtt_depth = 65535u;	// TODO: enforce
	var max_array_length = 10000000u;
	var max_call_depth = 10000u;
	var max_grow_size = 1000000;
	var max_supertypes = 1u;
	var max_log2_page_size = 16u;

	var ok_memory_flags = BpMemoryFlag.HasMax.mask | BpMemoryFlag.Shared.mask;
	var ok_table_flags = BpTableFlag.HasMax.mask;

	def set(extensions: Extension.set) -> this {
		max_num_memories = if(extensions.MULTI_MEMORY, 100000, 1);
		if (extensions.ATOMICS) ok_memory_flags |= BpMemoryFlag.Shared.mask;
		if (extensions.MEMORY64) {
			ok_memory_flags |= BpMemoryFlag.Is64.mask;
			max_legal_memory_pages = 0x1_0000_0000_0000uL;
		}
		if (extensions.CUSTOM_PAGE_SIZES) ok_memory_flags |= BpMemoryFlag.HasPageSize.mask;
		if (extensions.MEMORY64) ok_table_flags |= BpMemoryFlag.Is64.mask;
	}
}

// Global limits that supercede configurable limits.
component GlobalLimits {
	def limit_table_size = 1000000u;
}