Support IR-based codegen for a few more examples.

The main interesting change here is around support for lowering of calls to "subscript" operations (what a C++ programmer would think of as `operator[]`).

An important infrastructure change here was to add an explicit AST-node representation for a "static member expression" which we use whenever a member is looked up in a type as opposed to a value. The implementation of  this probably isn't robust yet, but it turns out to be important to be able to tell such cases apart.

1 files changed, 17 insertions, 6 deletions

diff --git a/source/slang/lower.cpp b/source/slang/lower.cpp
index f0d756a02..391221f47 100644
--- a/source/slang/lower.cpp
+++ b/source/slang/lower.cpp
@@ -1852,17 +1852,28 @@ struct LoweringVisitor
         return &shared->compileRequest->mSink;
     }
 
+    LoweredExpr visitStaticMemberExpr(
+        StaticMemberExpr* expr)
+    {
+        auto loweredBase = lowerExprOrTuple(expr->BaseExpression);
+        auto loweredDeclRef = translateDeclRef(expr->declRef);
+
+        // TODO: we should probably support type-type members here.
+
+        RefPtr<StaticMemberExpr> loweredExpr = new StaticMemberExpr();
+        lowerExprCommon(loweredExpr, expr);
+        loweredExpr->BaseExpression = loweredBase.getExpr();
+        loweredExpr->declRef = loweredDeclRef.As<Decl>();
+        loweredExpr->name = expr->name;
+
+        return LoweredExpr(loweredExpr);
+    }
+
     LoweredExpr visitMemberExpr(
         MemberExpr* expr)
     {
         assert(expr->BaseExpression);
         auto loweredBase = lowerExprOrTuple(expr->BaseExpression);
-
-        if( !loweredBase )
-        {
-            loweredBase = lowerExprOrTuple(expr->BaseExpression);
-        }
-
         assert(loweredBase);
 
         auto loweredDeclRef = translateDeclRef(expr->declRef);