diff options
| author | Yong He <yonghe@outlook.com> | 2024-05-02 16:48:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-02 16:48:27 -0700 |
| commit | 1863fe1deecc3f5b15b45020105f6cadcc2f9999 (patch) | |
| tree | c05cf87ac014e31368e70a3b75c2d20c657e789d /source/slang/slang-lower-to-ir.cpp | |
| parent | 7ef980f79447f8deec2aaf4a501df29f97cf1a39 (diff) | |
Support generic constraints that are dependent on another generic param. (#4091)
Diffstat (limited to 'source/slang/slang-lower-to-ir.cpp')
| -rw-r--r-- | source/slang/slang-lower-to-ir.cpp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/source/slang/slang-lower-to-ir.cpp b/source/slang/slang-lower-to-ir.cpp index a78110a84..2bf5f1e96 100644 --- a/source/slang/slang-lower-to-ir.cpp +++ b/source/slang/slang-lower-to-ir.cpp @@ -8823,7 +8823,7 @@ struct DeclLoweringVisitor : DeclVisitor<DeclLoweringVisitor, LoweredValInfo> IRGenContext* subContext, GenericTypeConstraintDecl* constraintDecl) { - auto supType = lowerType(context, constraintDecl->sup.type); + auto supType = lowerType(subContext, constraintDecl->sup.type); auto value = emitGenericConstraintValue(subContext, constraintDecl, supType); subContext->setValue(constraintDecl, LoweredValInfo::simple(value)); } @@ -8972,9 +8972,11 @@ struct DeclLoweringVisitor : DeclVisitor<DeclLoweringVisitor, LoweredValInfo> auto operand = value->getOperand(i); markInstsToClone(valuesToClone, parentBlock, operand); } + if (value->getFullType()) + markInstsToClone(valuesToClone, parentBlock, value->getFullType()); + for (auto child : value->getDecorationsAndChildren()) + markInstsToClone(valuesToClone, parentBlock, child); } - for (auto child : value->getChildren()) - markInstsToClone(valuesToClone, parentBlock, child); auto parent = parentBlock->getParent(); while (parent && parent != parentBlock) { @@ -9025,7 +9027,8 @@ struct DeclLoweringVisitor : DeclVisitor<DeclLoweringVisitor, LoweredValInfo> markInstsToClone(valuesToClone, parentGeneric->getFirstBlock(), returnType); // For Function Types, we always clone all generic parameters regardless of whether // the generic parameter appears in the function signature or not. - if (returnType->getOp() == kIROp_FuncType) + if (returnType->getOp() == kIROp_FuncType || + returnType->getOp() == kIROp_Generic) { for (auto genericParam : parentGeneric->getParams()) { |