blob: b1161ddc5794e86e6ca494ec608fb0f5332a2ff6 (
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
|
#pragma once
namespace Slang
{
struct IRModule;
// After IR lowering, an `expand each X` type will be defined in the IR as:
// %X = ...
// %e = IREach(%X)
// %expand = IRExpandType(%e)
// This form allows our IR deduplication logic to find the deduplicate the same
// `exapnd` types into the same IR inst.
// However after lowering is done, we no longer need this deduplication service.
// But having expand types defined in this form is making it very difficult to
// specialize.
// This pass runs immediately after IR lowering process for a module (pre-linking)
// to turn `IRExpandType` into `IRExpand`, so that the above expand type will be
// represented as:
// %expand = IRExpand : IRTypeKind
// {
// %eachIndex = IRParam : int;
// %e = ...; // may use %eachIndex.
// yield %e;
// }
//
// After this translation, there should be no longer any IRExpandType/IREach instructions
// that are alive in the IR. All future passes will only need to deal with IRExpand.
//
void lowerExpandType(IRModule* module);
} // namespace Slang
|
