From cd7f01b63a52eaaad00088524801e502bcb0f168 Mon Sep 17 00:00:00 2001 From: Yong He Date: Wed, 17 Jun 2020 13:08:27 -0700 Subject: Generate dynamic C++ code for the minimal test case. (#1391) * Add IR pass to lower generics into ordinary functions. * Fix project files * Emit dynamic C++ code for simple generics and witness tables. Fixes #1386. * Remove -dump-ir flag. * Fixups. --- source/slang/slang-emit-cpp.h | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'source/slang/slang-emit-cpp.h') diff --git a/source/slang/slang-emit-cpp.h b/source/slang/slang-emit-cpp.h index 2f95c8da5..b8afc6a76 100644 --- a/source/slang/slang-emit-cpp.h +++ b/source/slang/slang-emit-cpp.h @@ -76,6 +76,7 @@ protected: virtual void emitOperandImpl(IRInst* inst, EmitOpInfo const& outerPrec) SLANG_OVERRIDE; virtual void emitParamTypeImpl(IRType* type, String const& name) SLANG_OVERRIDE; virtual void emitWitnessTable(IRWitnessTable* witnessTable) SLANG_OVERRIDE; + virtual void emitInterface(IRInterfaceType* interfaceType) SLANG_OVERRIDE; virtual bool tryEmitGlobalParamImpl(IRGlobalParam* varDecl, IRType* varType) SLANG_OVERRIDE; virtual void emitIntrinsicCallExprImpl(IRCall* inst, IRTargetIntrinsicDecoration* targetIntrinsic, EmitOpInfo const& inOuterPrec) SLANG_OVERRIDE; @@ -85,7 +86,9 @@ protected: virtual SlangResult calcTypeName(IRType* type, CodeGenTarget target, StringBuilder& out); virtual SlangResult calcFuncName(const HLSLIntrinsic* specOp, StringBuilder& out); virtual SlangResult calcScalarFuncName(HLSLIntrinsic::Op op, IRBasicType* type, StringBuilder& outBuilder); - + + // Emits a struct of function pointers defined in `interfaceType`. + void _maybeEmitWitnessTableTypeDefinition(IRInterfaceType* interfaceType, const List& sortedWitnessTableEntries); void _maybeEmitSpecializedOperationDefinition(const HLSLIntrinsic* specOp); void _emitForwardDeclarations(const List& actions); @@ -127,6 +130,10 @@ protected: bool _tryEmitInstExprAsIntrinsic(IRInst* inst, const EmitOpInfo& inOuterPrec); + // Emit the actual definition (including intializer list) + // of all the witness table objects in `pendingWitnessTableDefinitions`. + void _emitWitnessTableDefinitions(); + HLSLIntrinsic* _addIntrinsic(HLSLIntrinsic::Op op, IRType* returnType, IRType*const* argTypes, Index argTypeCount); static bool _isVariable(IROp op); @@ -143,6 +150,11 @@ protected: StringSlicePool m_slicePool; SemanticUsedFlags m_semanticUsedFlags; + + // Witness tables pending for emitting their definitions. + // They must be emitted last, after the entire `Context` class so those member functions defined + // in `Context` may be referenced. + List pendingWitnessTableDefinitions; }; } -- cgit v1.2.3