blob: c8b96b961756237c9750180d00777b1275925637 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// slang-ir-link.h
#pragma once
#include "../compiler-core/slang-artifact-associated.h"
#include "slang-compiler.h"
namespace Slang
{
struct IRVarLayout;
struct LinkedIR
{
RefPtr<IRModule> module;
IRVarLayout* globalScopeVarLayout;
List<IRFunc*> entryPoints;
ComPtr<IArtifactPostEmitMetadata> metadata;
};
// Clone the IR values reachable from the given entry point
// into the IR module associated with the specialization state.
// When multiple definitions of a symbol are found, the one
// that is best specialized for the appropriate compilation
// target will be used.
//
LinkedIR linkIR(CodeGenContext* codeGenContext);
// Prelinking is a step that happens immediately after visiting all AST nodes during IR lowering,
// and before any IR validation steps. Prelinking copys all extern symbols that are
// [unsafeForceInlineEarly] into the current module being lowered, so that we can perform necessary
// inlining passes before any data-flow analysis.
// `externalSymbolsToLink` is a list of IRInsts defined in the imported modules that we need to pull
// into the current module.
//
void prelinkIR(Module* module, IRModule* irModule, const List<IRInst*>& externalSymbolsToLink);
// Replace any global constants in the IR module with their
// definitions, if possible.
//
// This pass should always be run shortly after linking the
// IR, to ensure that constants with identical values are
// treated as identical for the purposes of specialization.
//
void replaceGlobalConstants(IRModule* module);
} // namespace Slang
|
