From 1cfb1c85b52e00cde2d21874a88cda2c22d18b62 Mon Sep 17 00:00:00 2001 From: Yong He Date: Wed, 19 Jul 2023 13:50:49 -0700 Subject: Optimize specialization, and remove unnecessary calls to `simplifyIR`. (#2999) * Remove unneccessary calls to `simplifyIR`. * fix. * Delete obsolete hoistConst pass. * Fix. * Small improvements. * Fix. * Fix enum lowering. * fix * tweaks. * tweaks. --------- Co-authored-by: Yong He --- source/slang/slang-check-conformance.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'source/slang/slang-check-conformance.cpp') diff --git a/source/slang/slang-check-conformance.cpp b/source/slang/slang-check-conformance.cpp index 2696f798d..1d19e01bf 100644 --- a/source/slang/slang-check-conformance.cpp +++ b/source/slang/slang-check-conformance.cpp @@ -104,6 +104,16 @@ namespace Slang // For now we are continuing to conflate all the subtype-ish relationships but not // tangling convertibility into it. + // First, make sure both sub type and super type decl are ready for lookup. + if (auto subDeclRefType = as(subType)) + { + ensureDecl(subDeclRefType->declRef.getDecl(), DeclCheckState::ReadyForLookup); + } + if (auto superDeclRefType = as(subType)) + { + ensureDecl(superDeclRefType->declRef.getDecl(), DeclCheckState::ReadyForLookup); + } + // In the common case, we can use the pre-computed inheritance information for `subType` // to enumerate all the types it transitively inherits from. // -- cgit v1.2.3