From 393185196ed65a9eeaf9502edbf3dcce87337d81 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Mon, 22 Aug 2022 09:43:05 -0700
Subject: Support compile-time constant int val in the form of polynomials.
 (#2372)

Co-authored-by: Yong He <yhe@nvidia.com>
---
 source/slang/slang-check-type.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'source/slang/slang-check-type.cpp')

diff --git a/source/slang/slang-check-type.cpp b/source/slang/slang-check-type.cpp
index b8789dd76..aa2c69126 100644
--- a/source/slang/slang-check-type.cpp
+++ b/source/slang/slang-check-type.cpp
@@ -367,8 +367,15 @@ namespace Slang
             {
                 return leftVar->declRef.equals(rightVar->declRef);
             }
+            else if (auto rightPoly = as<PolynomialIntVal>(right))
+            {
+                return right->equalsVal(leftVar);
+            }
+        }
+        if (auto leftVar = as<PolynomialIntVal>(left))
+        {
+            return leftVar->equalsVal(right);
         }
-
         return false;
     }
 
-- 
cgit v1.2.3