summaryrefslogtreecommitdiff
path: root/src/hir_typeck/expr_check.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/hir_typeck/expr_check.cpp')
-rw-r--r--src/hir_typeck/expr_check.cpp14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_check.cpp b/src/hir_typeck/expr_check.cpp
index 11e895cb..f435696e 100644
--- a/src/hir_typeck/expr_check.cpp
+++ b/src/hir_typeck/expr_check.cpp
@@ -64,6 +64,20 @@ namespace {
check_types_equal(node.span(), node.m_res_type, node.m_nodes.back()->m_res_type);
}
}
+ void visit(::HIR::ExprNode_Asm& node) override
+ {
+ TRACE_FUNCTION_F(&node << " asm! ...");
+
+ // TODO: Check result types
+ for(auto& v : node.m_outputs)
+ {
+ v.value->visit(*this);
+ }
+ for(auto& v : node.m_inputs)
+ {
+ v.value->visit(*this);
+ }
+ }
void visit(::HIR::ExprNode_Return& node) override
{
TRACE_FUNCTION_F(&node << " return ...");