MIR Optimise - Treat asm! outputs as assignments

est31 · Feb 5, 2017 · 16f5d2d · 16f5d2d
1 parent 9700e50
commit 16f5d2d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/mir/optimise.cpp b/src/mir/optimise.cpp
@@ -395,6 +395,8 @@ void MIR_Optimise(const StaticTraitResolve& resolve, const ::HIR::ItemPath& path
             change_happened = true;
         }
 
+        // TODO: Convert `&mut *mut_foo` into `mut_foo` if the source is movable and not used afterwards
+
         // >> Propagate/remove dead assignments
         while( MIR_Optimise_PropagateSingleAssignments(state, fcn) )
             change_happened = true;
@@ -2138,6 +2140,11 @@ bool MIR_Optimise_GarbageCollect(::MIR::TypeResolve& state, ::MIR::Function& fcn
                 if( e->flag_idx != ~0u )
                     used_dfs.at(e->flag_idx) = true;
             }
+            else if( const auto* e = stmt.opt_Asm() )
+            {
+                for(const auto& val : e->outputs)
+                    assigned_lval(val.second);
+            }
             else if( const auto* e = stmt.opt_SetDropFlag() )
             {
                 if( e->other != ~0u )