From 115c56651d5cb352162b45269c3e09832c2fff40 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Sun, 2 Jul 2017 10:06:59 +0800
Subject: MIR Gen - Track states for arguments (and directly use arguments
 where possible)

---
 src/mir/from_hir.hpp | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

(limited to 'src/mir/from_hir.hpp')

diff --git a/src/mir/from_hir.hpp b/src/mir/from_hir.hpp
index f8834d98..11a18a6d 100644
--- a/src/mir/from_hir.hpp
+++ b/src/mir/from_hir.hpp
@@ -80,9 +80,11 @@ struct SplitArm {
     bool    has_early_terminated = false;
     bool    always_early_terminated = false;    // Populated on completion
     ::std::map<unsigned int, VarState>  states;
+    ::std::map<unsigned int, VarState>  arg_states;
 };
 struct SplitEnd {
     ::std::map<unsigned int, VarState>  states;
+    ::std::map<unsigned int, VarState>  arg_states;
 };
 
 TAGGED_UNION(ScopeType, Owning,
@@ -98,6 +100,7 @@ TAGGED_UNION(ScopeType, Owning,
     (Loop, struct {
         // NOTE: This contains the original state for variables changed after `exit_state_valid` is true
         ::std::map<unsigned int,VarState>    changed_slots;
+        ::std::map<unsigned int,VarState>    changed_args;
         bool exit_state_valid;
         SplitEnd    exit_state;
         })
@@ -176,7 +179,7 @@ public:
     // - Values
     ::MIR::LValue get_variable(const Span& sp, unsigned idx) const {
         // DIASBLED: State tracking doesn't support arguments in loops/splits
-#if 0
+#if 1
         auto it = m_var_arg_mappings.find(idx);
         if(it != m_var_arg_mappings.end())
             return ::MIR::LValue::make_Argument({ it->second });
@@ -262,7 +265,7 @@ public:
     /// Terminates a scope early (e.g. via return/break/...)
     void terminate_scope_early(const Span& sp, const ScopeHandle& , bool loop_exit=false);
     /// Marks the end of a split arm (end match arm, if body, ...)
-    void end_split_arm(const Span& sp, const ScopeHandle& , bool reachable);
+    void end_split_arm(const Span& sp, const ScopeHandle& , bool reachable, bool early=false);
     /// Terminates the current split early (TODO: What does this mean?)
     void end_split_arm_early(const Span& sp);
 
@@ -275,8 +278,12 @@ public:
     // Helper - Marks a variable/... as moved (and checks if the move is valid)
     void moved_lvalue(const Span& sp, const ::MIR::LValue& lv);
 private:
-    const VarState& get_slot_state(const Span& sp, unsigned int idx, unsigned int skip_count=0) const;
-    VarState& get_slot_state_mut(const Span& sp, unsigned int idx);
+    enum class SlotType {
+        Local,  // Local ~0u is return
+        Argument
+    };
+    const VarState& get_slot_state(const Span& sp, unsigned int idx, SlotType type, unsigned int skip_count=0) const;
+    VarState& get_slot_state_mut(const Span& sp, unsigned int idx, SlotType type);
 
     const VarState& get_val_state(const Span& sp, const ::MIR::LValue& lv, unsigned int skip_count=0);
     VarState& get_val_state_mut(const Span& sp, const ::MIR::LValue& lv);
-- 
cgit v1.2.3