diff options
| author | Yong He <yonghe@outlook.com> | 2023-01-30 19:24:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-30 19:24:09 -0800 |
| commit | 499b0253c224e68ceed6e5b6b1ee9cd7d65aad0f (patch) | |
| tree | 4c570a36d305c8909d633183694e0d1225f044c2 /source/slang/slang-check-conversion.cpp | |
| parent | 134dd7eb26fc7988ae13559d276cbf337b4b9d27 (diff) | |
Make ArrayExpressionType a DeclRefType and define its autodiff extension in stdlib. (#2615)
* Allow array parameters in forward diff.
* Use type canonicalization instead of coersion.
* Reimplement array type.
* Fix.
* Update test case.
---------
Co-authored-by: Yong He <yhe@nvidia.com>
Diffstat (limited to 'source/slang/slang-check-conversion.cpp')
| -rw-r--r-- | source/slang/slang-check-conversion.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/source/slang/slang-check-conversion.cpp b/source/slang/slang-check-conversion.cpp index c6daf5e86..6decce625 100644 --- a/source/slang/slang-check-conversion.cpp +++ b/source/slang/slang-check-conversion.cpp @@ -275,10 +275,11 @@ namespace Slang // TODO(tfoley): If we can compute the size of the array statically, // then we want to check that there aren't too many initializers present - auto toElementType = toArrayType->baseType; - - if(auto toElementCount = toArrayType->arrayLength) + auto toElementType = toArrayType->getElementType(); + if(!toArrayType->isUnsized()) { + auto toElementCount = toArrayType->getElementCount(); + // In the case of a sized array, we need to check that the number // of elements being initialized matches what was declared. // @@ -349,7 +350,7 @@ namespace Slang // We have a new type for the conversion, based on what // we learned. toType = m_astBuilder->getArrayType(toElementType, - m_astBuilder->getOrCreate<ConstantIntVal>(m_astBuilder->getIntType(), elementCount)); + m_astBuilder->getIntVal(m_astBuilder->getIntType(), elementCount)); } } else if(auto toMatrixType = as<MatrixExpressionType>(toType)) |