summaryrefslogtreecommitdiff
path: root/source/slang/slang-ir-strip.cpp
blob: 6d83cd3101003b8bf8e6555f190ee6867d7366fa (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
46
47
48
49
50
51
// slang-ir-strip.cpp
#include "slang-ir-strip.h"

#include "slang-ir-insts.h"
#include "slang-ir.h"

namespace Slang
{

/// Should `inst` be stripped, given the current `options`?
static bool _shouldStripInst(IRInst* inst, IRStripOptions const& options)
{
    switch (inst->getOp())
    {
    default: return false;

    case kIROp_HighLevelDeclDecoration: return true;

    case kIROp_NameHintDecoration: return options.shouldStripNameHints;
    }
}

/// Recursively strip `inst` and its children according to `options`.
static void _stripFrontEndOnlyInstructionsRec(IRInst* inst, IRStripOptions const& options)
{
    if (_shouldStripInst(inst, options))
    {
        inst->removeAndDeallocate();
        return;
    }

    if (options.stripSourceLocs)
    {
        inst->sourceLoc = SourceLoc();
    }

    IRInst* nextChild = nullptr;
    for (IRInst* child = inst->getFirstDecorationOrChild(); child; child = nextChild)
    {
        nextChild = child->getNextInst();

        _stripFrontEndOnlyInstructionsRec(child, options);
    }
}

void stripFrontEndOnlyInstructions(IRModule* module, IRStripOptions const& options)
{
    _stripFrontEndOnlyInstructionsRec(module->getModuleInst(), options);
}

} // namespace Slang