program.hpp 2.92 KB
Newer Older
Paul's avatar
Paul committed
1
2
#ifndef MIGRAPH_GUARD_MIGRAPHLIB_PROGRAM_HPP
#define MIGRAPH_GUARD_MIGRAPHLIB_PROGRAM_HPP
Paul's avatar
Paul committed
3

Paul's avatar
Paul committed
4
#include <list>
Paul's avatar
Paul committed
5
#include <unordered_map>
Paul's avatar
Paul committed
6
7
8
9
10
#include <migraph/operation.hpp>
#include <migraph/literal.hpp>
#include <migraph/builtin.hpp>
#include <migraph/instruction_ref.hpp>
#include <migraph/target.hpp>
Paul's avatar
Paul committed
11
#include <algorithm>
Paul's avatar
Paul committed
12
#include <iostream>
Paul's avatar
Paul committed
13

Paul's avatar
Paul committed
14
namespace migraph {
Paul's avatar
Paul committed
15

Paul's avatar
Paul committed
16
17
struct program_impl;

Paul's avatar
Paul committed
18
19
const operation& get_operation(instruction_ref ins);

Paul's avatar
Paul committed
20
21
22
/**
 * @brief Stores the instruction stream
 */
Paul's avatar
Paul committed
23
24
struct program
{
Paul's avatar
Paul committed
25
26
    program();
    program(program&&) noexcept;
Paul's avatar
Paul committed
27
28
    program& operator=(program&&) noexcept;
    ~program() noexcept;
Paul's avatar
Paul committed
29

Paul's avatar
Paul committed
30
31
    using parameter_map = std::unordered_map<std::string, argument>;

Paul's avatar
Paul committed
32
    template <class... Ts>
Paul's avatar
Paul committed
33
    instruction_ref add_instruction(operation op, Ts... args)
Paul's avatar
Paul committed
34
    {
Paul's avatar
Paul committed
35
        return add_instruction(op, {args...});
Paul's avatar
Paul committed
36
    }
Paul's avatar
Paul committed
37
    instruction_ref add_instruction(const operation& op, std::vector<instruction_ref> args);
Paul's avatar
Paul committed
38

Paul's avatar
Paul committed
39
40
41
42
43
    template <class... Ts>
    instruction_ref insert_instruction(instruction_ref ins, operation op, Ts... args)
    {
        return insert_instruction(ins, op, {args...});
    }
Paul's avatar
Paul committed
44
    instruction_ref
Paul's avatar
Paul committed
45
    insert_instruction(instruction_ref ins, const operation& op, std::vector<instruction_ref> args);
Paul's avatar
Paul committed
46

Paul's avatar
Paul committed
47
48
49
50
51
52
    template <class... Ts>
    instruction_ref replace_instruction(instruction_ref ins, operation op, Ts... args)
    {
        return replace_instruction(ins, op, {args...});
    }
    instruction_ref
Paul's avatar
Paul committed
53
    replace_instruction(instruction_ref ins, const operation& op, std::vector<instruction_ref> args);
Paul's avatar
Paul committed
54

Paul's avatar
Paul committed
55
    instruction_ref replace_instruction(instruction_ref ins, instruction_ref rep);
Paul's avatar
Paul committed
56

Paul's avatar
Paul committed
57
    instruction_ref remove_instruction(instruction_ref ins);
58
    instruction_ref remove_instructions(instruction_ref first, instruction_ref last);
Paul's avatar
Paul committed
59

60
    instruction_ref move_instruction(instruction_ref src, instruction_ref dst);
Paul's avatar
Paul committed
61

Paul's avatar
Paul committed
62
    template <class... Ts>
Paul's avatar
Paul committed
63
    instruction_ref add_literal(Ts&&... xs)
Paul's avatar
Paul committed
64
    {
Paul's avatar
Paul committed
65
        return add_literal(literal{std::forward<Ts>(xs)...});
Paul's avatar
Paul committed
66
67
    }

Paul's avatar
Paul committed
68
    instruction_ref add_literal(literal l);
Paul's avatar
Paul committed
69

Paul's avatar
Paul committed
70
    instruction_ref add_outline(const shape& s);
Paul's avatar
Paul committed
71

Paul's avatar
Paul committed
72
    instruction_ref add_parameter(std::string name, shape s);
Paul's avatar
Paul committed
73

Paul's avatar
Paul committed
74
    shape get_parameter_shape(std::string name) const;
Paul's avatar
Paul committed
75

Paul's avatar
Paul committed
76
77
    std::unordered_map<std::string, shape> get_parameter_shapes() const;

Paul's avatar
Paul committed
78
    argument eval(parameter_map params) const;
Paul's avatar
Paul committed
79

Paul's avatar
Paul committed
80
    bool has_instruction(instruction_ref ins) const;
Paul's avatar
Paul committed
81

Paul's avatar
Paul committed
82
    std::size_t size() const;
Paul's avatar
Paul committed
83
84
    instruction_ref begin() const;
    instruction_ref end() const;
85

Paul's avatar
Paul committed
86
87
    shape get_shape() const;

Paul's avatar
Paul committed
88
89
    instruction_ref validate() const;

Paul's avatar
Paul committed
90
91
    void compile(const target& t);

Paul's avatar
Paul committed
92
93
    void perf_report(std::ostream& os, std::size_t n, parameter_map params) const;

Paul's avatar
Paul committed
94
95
    friend std::ostream& operator<<(std::ostream& os, const program& p);
    friend bool operator==(const program& x, const program& y);
Paul's avatar
Paul committed
96
    friend bool operator!=(const program& x, const program& y) { return !(x == y); }
Paul's avatar
Paul committed
97

Paul's avatar
Paul committed
98
    private:
Paul's avatar
Paul committed
99
    std::unique_ptr<program_impl> impl;
Paul's avatar
Paul committed
100
101
};

Paul's avatar
Paul committed
102
} // namespace migraph
Paul's avatar
Paul committed
103
104

#endif