summaryrefslogtreecommitdiffstats
path: root/src/shader_recompiler/frontend/maxwell/program.cpp
blob: 49d1f4bfb7fadaf46438d67d86d5bba1b65ac8c2 (plain) (blame)
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
// Copyright 2021 yuzu Emulator Project
// Licensed under GPLv2 or any later version
// Refer to the license.txt file included.

#include <algorithm>
#include <memory>

#include "shader_recompiler/frontend/maxwell/program.h"
#include "shader_recompiler/frontend/maxwell/termination_code.h"
#include "shader_recompiler/frontend/maxwell/translate/translate.h"
#include "shader_recompiler/ir_opt/passes.h"

namespace Shader::Maxwell {
namespace {
void TranslateCode(Environment& env, const Flow::Function& cfg_function, IR::Function& function,
                   std::span<IR::Block*> block_map, IR::Block* block_memory) {
    const size_t num_blocks{cfg_function.blocks.size()};
    function.blocks.reserve(num_blocks);

    for (const Flow::BlockId block_id : cfg_function.blocks) {
        const Flow::Block& flow_block{cfg_function.blocks_data[block_id]};

        function.blocks.emplace_back(std::construct_at(block_memory, Translate(env, flow_block)));
        block_map[flow_block.id] = function.blocks.back().get();
        ++block_memory;
    }
}

void EmitTerminationInsts(const Flow::Function& cfg_function,
                          std::span<IR::Block* const> block_map) {
    for (const Flow::BlockId block_id : cfg_function.blocks) {
        const Flow::Block& flow_block{cfg_function.blocks_data[block_id]};
        EmitTerminationCode(flow_block, block_map);
    }
}

void TranslateFunction(Environment& env, const Flow::Function& cfg_function, IR::Function& function,
                       IR::Block* block_memory) {
    std::vector<IR::Block*> block_map;
    block_map.resize(cfg_function.blocks_data.size());

    TranslateCode(env, cfg_function, function, block_map, block_memory);
    EmitTerminationInsts(cfg_function, block_map);
}
} // Anonymous namespace

Program::Program(Environment& env, const Flow::CFG& cfg) {
    functions.reserve(cfg.Functions().size());
    for (const Flow::Function& cfg_function : cfg.Functions()) {
        TranslateFunction(env, cfg_function, functions.emplace_back(),
                          block_alloc_pool.allocate(cfg_function.blocks.size()));
    }
    std::ranges::for_each(functions, Optimization::SsaRewritePass);
    for (IR::Function& function : functions) {
        Optimization::Invoke(Optimization::DeadCodeEliminationPass, function);
        Optimization::Invoke(Optimization::IdentityRemovalPass, function);
        // Optimization::Invoke(Optimization::VerificationPass, function);
    }
}

std::string DumpProgram(const Program& program) {
    size_t index{0};
    std::map<const IR::Inst*, size_t> inst_to_index;
    std::map<const IR::Block*, size_t> block_to_index;

    for (const IR::Function& function : program.functions) {
        for (const auto& block : function.blocks) {
            block_to_index.emplace(block.get(), index);
            ++index;
        }
    }
    std::string ret;
    for (const IR::Function& function : program.functions) {
        ret += fmt::format("Function\n");
        for (const auto& block : function.blocks) {
            ret += IR::DumpBlock(*block, block_to_index, inst_to_index, index) + '\n';
        }
    }
    return ret;
}

} // namespace Shader::Maxwell