commit 22f939e849013b7fc51374c289b5bf37e63dfdb1
author ethannicholas <ethannicholas@google.com> Thu Oct 13 13:25:34 2016 -0700
committer Commit bot <commit-bot@chromium.org> Thu Oct 13 13:25:34 2016 -0700
tree c646354ad93a50329daa694bd7a54a1d2662c9f0
parent 9e3dbdff53f2d9957626a17a279730cda70f17ba

added basic dataflow analysis to skslc

BUG=skia:
GOLD_TRYBOT_URL= https://gold.skia.org/search?issue=2405383003

Review-Url: https://codereview.chromium.org/2405383003

src/sksl/SkSLContext.h

diff --git a/src/sksl/SkSLContext.h b/src/sksl/SkSLContext.h
index 82c265b..e652948 100644
--- a/src/sksl/SkSLContext.h
+++ b/src/sksl/SkSLContext.h
@@ -9,6 +9,7 @@
 #define SKSL_CONTEXT
 
 #include "ir/SkSLType.h"
+#include "ir/SkSLExpression.h"
 
 namespace SkSL {
 
@@ -114,7 +115,8 @@
     , fUVec_Type(new Type("$uvec"))
     , fBVec_Type(new Type("$bvec", { fBVec2_Type.get(), fBVec2_Type.get(), fBVec3_Type.get(), 
                                      fBVec4_Type.get() }))
-    , fInvalid_Type(new Type("<INVALID>")) {}
+    , fInvalid_Type(new Type("<INVALID>"))
+    , fDefined_Expression(new Defined(*fInvalid_Type)) {}
 
     static std::vector<const Type*> static_type(const Type& t) {
         return { &t, &t, &t, &t };   
@@ -222,6 +224,24 @@
     const std::unique_ptr<Type> fBVec_Type;
 
     const std::unique_ptr<Type> fInvalid_Type;
+
+    // dummy expression used to mark that a variable has a value during dataflow analysis (when it 
+    // could have several different values, or the analyzer is otherwise unable to assign it a
+    // specific expression)
+    const std::unique_ptr<Expression> fDefined_Expression;
+
+private:    
+    class Defined : public Expression {
+    public:
+        Defined(const Type& type)
+        : INHERITED(Position(), kDefined_Kind, type) {}
+
+        virtual std::string description() const override {
+            return "<defined>";
+        }
+
+        typedef Expression INHERITED;
+    };
 };
 
 } // namespace