45                           const TypeVector& param_types,  in Label()  argument
49       param_types(param_types),  in Label()
101                             const TypeVector& param_types,  in PushLabel()  argument
103   label_stack_.emplace_back(label_type, param_types, result_types,  in PushLabel()
216 Result TypeChecker::PopAndCheckCall(const TypeVector& param_types,  in PopAndCheckCall()  argument
219   Result result = CheckSignature(param_types, desc);  in PopAndCheckCall()
220   result |= DropTypes(param_types.size());  in PopAndCheckCall()
361 Result TypeChecker::OnBlock(const TypeVector& param_types,  in OnBlock()  argument
363   Result result = PopAndCheckSignature(param_types, "block");  in OnBlock()
364   PushLabel(LabelType::Block, param_types, result_types);  in OnBlock()
365   PushTypes(param_types);  in OnBlock()
432 Result TypeChecker::OnCall(const TypeVector& param_types,  in OnCall()  argument
434   return PopAndCheckCall(param_types, result_types, "call");  in OnCall()
437 Result TypeChecker::OnCallIndirect(const TypeVector& param_types,  in OnCallIndirect()  argument
440   result |= PopAndCheckCall(param_types, result_types, "call_indirect");  in OnCallIndirect()
444 Result TypeChecker::OnReturnCall(const TypeVector& param_types,  in OnReturnCall()  argument
446   Result result = PopAndCheckSignature(param_types, "return_call");  in OnReturnCall()
456 Result TypeChecker::OnReturnCallIndirect(const TypeVector& param_types,  in OnReturnCallIndirect()  argument
460   result |= PopAndCheckSignature(param_types, "return_call_indirect");  in OnReturnCallIndirect()
512   PushTypes(label->param_types);  in OnElse()
549 Result TypeChecker::OnIf(const TypeVector& param_types,  in OnIf()  argument
552   result |= PopAndCheckSignature(param_types, "if");  in OnIf()
553   PushLabel(LabelType::If, param_types, result_types);  in OnIf()
554   PushTypes(param_types);  in OnIf()
587 Result TypeChecker::OnLoop(const TypeVector& param_types,  in OnLoop()  argument
589   Result result = PopAndCheckSignature(param_types, "loop");  in OnLoop()
590   PushLabel(LabelType::Loop, param_types, result_types);  in OnLoop()
591   PushTypes(param_types);  in OnLoop()
703 Result TypeChecker::OnTry(const TypeVector& param_types,  in OnTry()  argument
705   Result result = PopAndCheckSignature(param_types, "try");  in OnTry()
706   PushLabel(LabelType::Try, param_types, result_types);  in OnTry()
707   PushTypes(param_types);  in OnTry()