diff options
Diffstat (limited to 'src/mir/from_hir.cpp')
| -rw-r--r-- | src/mir/from_hir.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp index 7773a81c..8ea22cef 100644 --- a/src/mir/from_hir.cpp +++ b/src/mir/from_hir.cpp @@ -506,6 +506,7 @@ namespace { TRACE_FUNCTION_F("_Asm"); ::std::vector< ::std::pair< ::std::string, ::MIR::LValue> > inputs; + // Inputs just need to be in lvalues for(auto& v : node.m_inputs) { this->visit_node_ptr(v.value); auto lv = m_builder.get_result_in_lvalue(v.value->span(), v.value->m_res_type); @@ -513,9 +514,16 @@ namespace { } ::std::vector< ::std::pair< ::std::string, ::MIR::LValue> > outputs; + // Outputs can also (sometimes) be rvalues (only for `*m`?) for(auto& v : node.m_outputs) { this->visit_node_ptr(v.value); - auto lv = m_builder.get_result_unwrap_lvalue(v.value->span()); + if( v.spec[0] != '=' ) + ERROR(node.span(), E0000, "Assembly output specifiers must start with ="); + ::MIR::LValue lv; + if(v.spec[1] == '*') + lv = m_builder.get_result_in_lvalue(v.value->span(), v.value->m_res_type); + else + lv = m_builder.get_result_unwrap_lvalue(v.value->span()); outputs.push_back( ::std::make_pair(v.spec, mv$(lv)) ); } |