MIR - Add ScopeEnd statement to indicate where a value will no longer be used

2 files changed, 10 insertions, 0 deletions

diff --git a/src/hir/deserialise.cpp b/src/hir/deserialise.cpp
index 4a9b5720..19306a63 100644
--- a/src/hir/deserialise.cpp
+++ b/src/hir/deserialise.cpp
@@ -1008,6 +1008,11 @@ namespace {
                 m_in.read_bool(),
                 static_cast<unsigned int>(m_in.read_count())
                 });
+        case 4:
+            return ::MIR::Statement::make_ScopeEnd({
+                deserialise_vec<unsigned int>(),
+                deserialise_vec<unsigned int>()
+                });
         default:
             ::std::cerr << "Bad tag for a MIR Statement" << ::std::endl;
             throw "";
diff --git a/src/hir/serialise.cpp b/src/hir/serialise.cpp
index 81319c2e..e5264ae2 100644
--- a/src/hir/serialise.cpp
+++ b/src/hir/serialise.cpp
@@ -495,6 +495,11 @@ namespace {
                 m_out.write_count(e.idx);
                 m_out.write_bool(e.new_val);
                 m_out.write_count(e.other);
+                ),
+            (ScopeEnd,
+                m_out.write_tag(4);
+                serialise_vec(e.vars);
+                serialise_vec(e.tmps);
                 )
             )
         }