Lines Matching refs:VALIDATE
47 #define VALIDATE(condition) \ macro
55 if (!VALIDATE(this->enabled_.has_##feat())) { \
195 if (!VALIDATE(heap_index >= min_1_byte_leb128)) { in read_heap_type()
208 if (!VALIDATE(enabled.has_gc())) { in read_heap_type()
225 if (!VALIDATE(enabled.has_typed_funcref())) { in read_heap_type()
232 if (!VALIDATE(type_index < kV8MaxWasmTypes)) { in read_heap_type()
241 if (!VALIDATE(module == nullptr || type_index < module->types.capacity())) { in read_heap_type()
275 if (!VALIDATE(enabled.has_gc())) { in read_value_type()
303 if (!VALIDATE(enabled.has_typed_funcref())) { in read_value_type()
320 if (!VALIDATE(enabled.has_gc())) { in read_value_type()
329 if (!VALIDATE(depth <= kV8MaxRttSubtypingDepth)) { in read_value_type()
342 if (!VALIDATE(type_index < kV8MaxWasmTypes)) { in read_value_type()
351 if (!VALIDATE(module == nullptr || in read_value_type()
360 if (!VALIDATE(enabled.has_simd())) { in read_value_type()
366 if (!VALIDATE(CheckHardwareSupportsSimd())) { in read_value_type()
506 if (!VALIDATE(num_types == 1)) { in SelectTypeImmediate()
534 if (!VALIDATE(block_type >= min_1_byte_leb128)) { in BlockTypeImmediate()
619 bool has_next() { return VALIDATE(decoder_->ok()) && index_ <= table_count_; } in has_next()
666 if (!VALIDATE(alignment <= max_alignment)) { in MemoryAccessImmediate()
1124 if (!VALIDATE(ok())) {
1132 if (!VALIDATE(more())) {
1140 if (!VALIDATE(ok())) {
1145 if (!VALIDATE(count <= kV8MaxWasmFunctionLocals - local_types_.size())) {
1153 if (!VALIDATE(type != kWasmBottom)) return -1;
1194 while (pc < decoder->end() && VALIDATE(decoder->ok())) {
1243 return VALIDATE(decoder->ok()) ? assigned : nullptr;
1247 if (!VALIDATE(imm.index < module_->tags.size())) {
1258 if (!VALIDATE(imm.index < module_->globals.size())) {
1265 if (!VALIDATE(!imm.global->mutability)) {
1271 if (!VALIDATE(imm.global->imported || this->enabled_.has_gc())) {
1283 if (!VALIDATE(module_->has_struct(imm.index))) {
1293 if (!VALIDATE(imm.field_imm.index <
1303 if (!VALIDATE(module_->has_array(imm.index))) {
1321 if (!VALIDATE(imm.index < module_->functions.size())) {
1335 if (!VALIDATE(IsSubtypeOf(table_type, kWasmFuncRef, module_))) {
1345 if (!VALIDATE(IsSubtypeOf(immediate_type, table_type, module_))) {
1359 if (!VALIDATE(imm.depth < control_depth)) {
1368 if (!VALIDATE(imm.table_count <= kV8MaxWasmFunctionBrTableSize)) {
1414 if (!VALIDATE(imm.lane >= 0 && imm.lane < num_lanes)) {
1428 if (!VALIDATE(max_lane < 2 * kSimd128Size)) {
1437 if (!VALIDATE(module_->has_signature(imm.sig_index))) {
1447 if (!VALIDATE(this->module_->has_memory)) {
1451 if (!VALIDATE(imm.index == uint8_t{0})) {
1459 if (!VALIDATE(this->module_->has_memory)) {
1483 if (!VALIDATE(IsSubtypeOf(elem_type, module_->tables[imm.table.index].type,
1496 if (!VALIDATE(IsSubtypeOf(
1511 if (!VALIDATE(imm.index < module_->tables.size())) {
1519 if (!VALIDATE(imm.index < module_->elem_segments.size())) {
1527 if (!VALIDATE(imm.index < num_locals())) {
1535 if (!VALIDATE(module_->has_type(imm.index))) {
1543 if (!VALIDATE(module_->has_signature(imm.index))) {
1551 if (!VALIDATE(imm.index < module_->functions.size())) {
1556 !VALIDATE(module_->functions[imm.index].declared)) {
1564 if (!VALIDATE(imm.index < module_->num_declared_data_segments)) {
2200 if (VALIDATE(this->ok()) && \
2246 if (!VALIDATE(this->enabled_.has_nn_locals() ||
2263 if (!VALIDATE(control_.empty())) {
2404 if (!VALIDATE(this->pc_ == this->end_)) {
2553 if (!VALIDATE(FLAG_enable_testing_opcode_in_wasm)) {
2569 if (!VALIDATE(this->enabled_.has_extended_const())) { \
2597 if (!VALIDATE(c->is_try_catchall() || c->is_try_catch())) {
2639 if (!VALIDATE(c->is_try())) {
2643 if (!VALIDATE(!c->is_try_catchall())) {
2670 if (!VALIDATE(c->is_incomplete_try())) {
2694 if (!VALIDATE(c->is_try())) {
2698 if (!VALIDATE(!c->is_try_catchall())) {
2718 if (!VALIDATE(TypeCheckBranch<true>(c, 1))) return 0;
2761 if (!VALIDATE(TypeCheckBranch<true>(c, 0))) return 0;
2842 if (!VALIDATE(this->ok())) return 0;
2855 if (!VALIDATE(c->is_if())) {
2859 if (!VALIDATE(c->is_onearmed_if())) {
2863 if (!VALIDATE(TypeCheckFallThru())) return 0;
2895 if (!VALIDATE(TypeCheckOneArmedIf(c))) return 0;
2913 if (!VALIDATE(this->pc_ + 1 == this->end_)) {
2924 if (!VALIDATE(TypeCheckFallThru())) return 0;
2934 if (!VALIDATE(!type.is_reference())) {
2965 if (!VALIDATE(TypeCheckBranch<false>(c, 0))) return 0;
2979 if (!VALIDATE(TypeCheckBranch<true>(c, 1))) return 0;
3005 if (!VALIDATE(target < control_depth())) {
3016 } else if (!VALIDATE(control_at(target)->br_merge()->arity == arity)) {
3022 if (!VALIDATE(TypeCheckBranch<false>(control_at(target), 1))) return 0;
3084 if (!VALIDATE(this->ok())) return 0;
3162 if (!VALIDATE(!this->enabled_.has_nn_locals() ||
3216 if (!VALIDATE(imm.global->mutability)) {
3338 if (!VALIDATE(this->CanReturnCall(imm.sig))) {
3354 if (!VALIDATE(this->CanReturnCall(imm.sig))) {
3378 if (!VALIDATE(func_type.is_object_reference() && func_type.has_index() &&
3404 if (!VALIDATE(func_type.is_object_reference() && func_type.has_index() &&
3443 if (!VALIDATE(this->ok())) return 0;
3476 if (!VALIDATE(is_asmjs_module(this->module_))) {
3645 if (!VALIDATE(control_.back().unreachable())) {
4004 if (!VALIDATE(sig != nullptr)) {
4082 if (!VALIDATE(ftype.is_defaultable())) {
4110 if (!VALIDATE(!field_type.is_packed())) {
4134 if (!VALIDATE(field_type.is_packed())) {
4156 if (!VALIDATE(struct_type->mutability(field.field_imm.index))) {
4197 if (!VALIDATE(imm.array_type->element_type().is_defaultable())) {
4272 if (!VALIDATE(imm.array_type->element_type().is_packed())) {
4293 if (!VALIDATE(!imm.array_type->element_type().is_packed())) {
4313 if (!VALIDATE(imm.array_type->mutability())) {
4343 if (!VALIDATE(dst_imm.array_type->mutability())) {
4383 if (!VALIDATE(elem_count <= kV8MaxWasmArrayInitLength)) {
4460 if (!VALIDATE(rtt.type.is_rtt() || rtt.type.is_bottom())) {
4467 if (!VALIDATE(IsSubtypeOf(obj.type, kWasmFuncRef, this->module_) ||
4516 if (!VALIDATE(rtt.type.is_rtt() || rtt.type.is_bottom())) {
4522 if (!VALIDATE(IsSubtypeOf(obj.type, kWasmFuncRef, this->module_) ||
4588 if (!VALIDATE(rtt.type.is_rtt() || rtt.type.is_bottom())) {
4594 if (!VALIDATE(IsSubtypeOf(obj.type, kWasmFuncRef, this->module_) ||
4623 if (!VALIDATE(TypeCheckBranch<true>(c, 0))) return 0;
4673 if (!VALIDATE(rtt.type.is_rtt() || rtt.type.is_bottom())) {
4679 if (!VALIDATE(IsSubtypeOf(obj.type, kWasmFuncRef, this->module_) ||
4700 if (!VALIDATE(TypeCheckBranch<true>(c, 0))) return 0;
4849 if (!VALIDATE(TypeCheckBranch<true>(c, 0))) return 0;
4888 if (!VALIDATE(TypeCheckBranch<true>(c, 0))) return 0;
4931 if (!VALIDATE(sig != nullptr)) {
4956 if (!VALIDATE(zero == 0)) {
5203 if (!VALIDATE(IsSubtypeOf(val.type, expected, this->module_) ||
5215 if (!VALIDATE(decoding_mode == kFunctionBody &&
5228 if (!VALIDATE(IsSubtypeOf(val.type, expected, this->module_) ||
5344 if (!VALIDATE((TypeCheckStackAgainstMerge<strict_count, false, merge_type>(
5360 if (!VALIDATE(TypeCheckFallThru())) return;
5491 #undef VALIDATE