wip

Author: csyonghe

source/slang/slang-check-conversion.cpp

@@ -43,7 +43,7 @@ bool SemanticsVisitor::isEffectivelyScalarForInitializerLists(Type* type)
     if (as<MatrixExpressionType>(type))
         return false;
 
-    if (as<BasicExpressionType>(type))
+    if (as<BasicExpressionType>(type) || as<IntLiteralType>(type))
     {
         return true;
     }
@@ -996,7 +996,11 @@ static bool isSigned(Type* t)
 {
     auto basicType = as<BasicExpressionType>(t);
     if (!basicType)
+    {
+        if (auto litType = as<IntLiteralType>(t))
+            return isSigned(litType->getProperType());
         return false;
+    }
     switch (basicType->getBaseType())
     {
     case BaseType::Int8:
@@ -1014,7 +1018,11 @@ int getTypeBitSize(Type* t)
 {
     auto basicType = as<BasicExpressionType>(t);
     if (!basicType)
+    {
+        if (auto litType = as<IntLiteralType>(t))
+            return getTypeBitSize(litType->getProperType());
         return 0;
+    }
 
     switch (basicType->getBaseType())
     {

source/slang/slang-check-decl.cpp

@@ -7707,7 +7707,12 @@ bool SemanticsVisitor::isIntValueInRangeOfType(IntegerLiteralValue value, Type*
 {
     auto basicType = as<BasicExpressionType>(type);
     if (!basicType)
-        return false;
+    {
+        if (auto litType = as<IntLiteralType>(type))
+            basicType = (BasicExpressionType*)litType->getProperType();
+        else
+            return false;
+    }
 
     switch (basicType->getBaseType())
     {

source/slang/slang-check-expr.cpp

@@ -4937,7 +4937,7 @@ Expr* SemanticsVisitor::checkBaseForMemberExpr(
 {
     auto baseExpr = inBaseExpr;
     baseExpr = CheckTerm(baseExpr);
-
+    baseExpr = maybeCoerceExprToProperIntType(baseExpr);
     return maybeInsertImplicitOpForMemberBase(baseExpr, checkBaseContext, outNeedDeref);
 }
 
@@ -5032,7 +5032,6 @@ Expr* SemanticsExprVisitor::visitMemberExpr(MemberExpr* expr)
             return CheckSwizzleExpr(expr, baseScalarType, 1);
         }
     }
-    
     if (as<NamespaceType>(baseType))
     {
         return _lookupStaticMember(expr, expr->baseExpression);