argument_parser.hpp 6.66 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
#ifndef MIGRAPHX_GUARD_RTGLIB_ARGUMENT_PARSER_HPP
#define MIGRAPHX_GUARD_RTGLIB_ARGUMENT_PARSER_HPP

Paul's avatar
Paul committed
4
5
6
7
#include <algorithm>
#include <functional>
#include <iostream>
#include <set>
Paul's avatar
Paul committed
8
#include <string>
Paul's avatar
Paul committed
9
#include <sstream>
Paul's avatar
Paul committed
10
11
#include <type_traits>
#include <unordered_map>
Paul's avatar
Paul committed
12
#include <utility>
Paul's avatar
Paul committed
13
14
#include <vector>

Paul's avatar
Paul committed
15
#include <migraphx/config.hpp>
Paul's avatar
Paul committed
16
17
#include <migraphx/requires.hpp>
#include <migraphx/type_name.hpp>
Paul's avatar
Paul committed
18
19
20
21
22
#include <migraphx/functional.hpp>

namespace migraphx {
namespace driver {
inline namespace MIGRAPHX_INLINE_NS {
Paul's avatar
Paul committed
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

template <class T>
struct value_parser
{
    template <MIGRAPHX_REQUIRES(not std::is_enum<T>{})>
    static T apply(const std::string& x)
    {
        T result;
        std::stringstream ss;
        ss.str(x);
        ss >> result;
        if(ss.fail())
            throw std::runtime_error("Failed to parse: " + x);
        return result;
    }

    template <MIGRAPHX_REQUIRES(std::is_enum<T>{})>
    static T apply(const std::string& x)
    {
        std::ptrdiff_t i;
        std::stringstream ss;
        ss.str(x);
        ss >> i;
        if(ss.fail())
            throw std::runtime_error("Failed to parse: " + x);
        return static_cast<T>(i);
    }
};

struct argument_parser
{
    struct argument
    {
        std::vector<std::string> flags;
Paul's avatar
Paul committed
57
        std::function<bool(argument_parser&, const std::vector<std::string>&)> action{};
Paul's avatar
Paul committed
58
59
        std::string type = "";
        std::string help = "";
Paul's avatar
Paul committed
60
61
        std::string metavar = "";
        unsigned nargs = 1;
Paul's avatar
Paul committed
62
63
64
65
66
    };

    template <class T, class... Fs>
    void add(T& x, std::vector<std::string> flags, Fs... fs)
    {
Paul's avatar
Paul committed
67
        arguments.push_back({flags, [&](auto&&, const std::vector<std::string>& params) {
Paul's avatar
Paul committed
68
            if(params.empty())
Paul's avatar
Paul committed
69
70
71
                throw std::runtime_error("Flag with no value.");
            x = value_parser<T>::apply(params.back());
            return false;
Paul's avatar
Paul committed
72
        }});
Paul's avatar
Paul committed
73

Paul's avatar
Paul committed
74
75
        argument& arg = arguments.back();
        arg.type      = migraphx::get_type_name<T>();
Paul's avatar
Paul committed
76
77
78
        migraphx::each_args([&](auto f) { f(x, arg); }, fs...);
    }

Paul's avatar
Paul committed
79
80
81
82
83
84
85
    template <class... Fs>
    void add(std::nullptr_t x, std::vector<std::string> flags, Fs... fs)
    {
        arguments.push_back({flags});

        argument& arg = arguments.back();
        arg.type      = "";
Paul's avatar
Paul committed
86
        arg.nargs     = 0;
Paul's avatar
Paul committed
87
88
89
        migraphx::each_args([&](auto f) { f(x, arg); }, fs...);
    }

Paul's avatar
Paul committed
90
91
92
93
94
95
96
    static auto nargs(unsigned n = 1)
    {
        return [=](auto&&, auto& arg) {
            arg.nargs = n;
        };
    }

Paul's avatar
Paul committed
97
    template <class F>
Paul's avatar
Paul committed
98
99
100
    static auto write_action(F f)
    {
        return [=](auto& x, auto& arg) {
Paul's avatar
Paul committed
101
            arg.action = [&, f](auto& self, const std::vector<std::string>& params) {
Paul's avatar
Paul committed
102
103
104
105
106
107
                f(self, x, params);
                return false;
            };
        };
    }

Paul's avatar
Paul committed
108
    template <class F>
Paul's avatar
Paul committed
109
110
111
    static auto do_action(F f)
    {
        return [=](auto&, auto& arg) {
Paul's avatar
Paul committed
112
            arg.nargs = 0;
Paul's avatar
Paul committed
113
            arg.action = [&, f](auto& self, const std::vector<std::string>&) {
Paul's avatar
Paul committed
114
115
116
117
118
119
                f(self);
                return true;
            };
        };
    }

Paul's avatar
Paul committed
120
    static auto append()
Paul's avatar
Paul committed
121
    {
Paul's avatar
Paul committed
122
123
124
        return write_action([](auto&, auto& x, auto& params) {
            using type = typename decltype(params)::value_type;
            std::transform(params.begin(),
Paul's avatar
Paul committed
125
126
                           params.end(),
                           std::inserter(x, x.end()),
Paul's avatar
Paul committed
127
128
                           [](std::string y) { return value_parser<type>::apply(y); });
        });
Paul's avatar
Paul committed
129
130
    }

Paul's avatar
Paul committed
131
    static auto show_help(std::string msg = "")
Paul's avatar
Paul committed
132
    {
Paul's avatar
Paul committed
133
        return do_action([=](auto& self) {
Paul's avatar
Paul committed
134
            for(auto&& arg : self.arguments)
Paul's avatar
Paul committed
135
136
137
            {
                std::cout << std::endl;
                std::string prefix = "    ";
Paul's avatar
Paul committed
138
139
140
141
142
                if (arg.flags.empty())
                {
                    std::cout << prefix;
                    std::cout << arg.metavar;
                }
Paul's avatar
Paul committed
143
144
145
146
147
148
                for(const std::string& a : arg.flags)
                {
                    std::cout << prefix;
                    std::cout << a;
                    prefix = ", ";
                }
Paul's avatar
Paul committed
149
                if(not arg.type.empty())
Paul's avatar
Paul committed
150
151
152
153
154
                    std::cout << " [" << arg.type << "]";
                std::cout << std::endl;
                std::cout << "        " << arg.help << std::endl;
            }
            std::cout << std::endl;
Paul's avatar
Paul committed
155
            if(not msg.empty())
Paul's avatar
Paul committed
156
                std::cout << msg << std::endl;
Paul's avatar
Paul committed
157
158
159
160
161
        });
    }

    static auto help(std::string help)
    {
Paul's avatar
Paul committed
162
        return [=](auto&, auto& arg) { arg.help = help; };
Paul's avatar
Paul committed
163
164
    }

Paul's avatar
Paul committed
165
166
167
168
169
    static auto metavar(std::string metavar)
    {
        return [=](auto&, auto& arg) { arg.metavar = metavar; };
    }

Paul's avatar
Paul committed
170
    template <class T>
Paul's avatar
Paul committed
171
172
173
    static auto set_value(T value)
    {
        return [=](auto& x, auto& arg) {
Paul's avatar
Paul committed
174
            arg.nargs  = 0;
Paul's avatar
Paul committed
175
            arg.type   = "";
Paul's avatar
Paul committed
176
            arg.action = [&, value](auto&, const std::vector<std::string>&) {
Paul's avatar
Paul committed
177
178
179
180
181
182
                x = value;
                return false;
            };
        };
    }

Paul's avatar
Paul committed
183
    bool parse(std::vector<std::string> args)
Paul's avatar
Paul committed
184
    {
Paul's avatar
Paul committed
185
        std::unordered_map<std::string, unsigned> keywords;
Paul's avatar
Paul committed
186
        for(auto&& arg : arguments)
Paul's avatar
Paul committed
187
        {
Paul's avatar
Paul committed
188
189
            for(auto&& flag:arg.flags)
                keywords[flag] = arg.nargs + 1;
Paul's avatar
Paul committed
190
        }
Paul's avatar
Paul committed
191
192
193
        auto arg_map = generic_parse(args, [&](std::string x) { 
            return keywords[x]; 
        });
Paul's avatar
Paul committed
194
        for(auto&& arg : arguments)
Paul's avatar
Paul committed
195
        {
Paul's avatar
Paul committed
196
197
198
            auto flags = arg.flags;
            if (flags.empty())
                flags = {""};
Paul's avatar
Paul committed
199
            for(auto&& flag : arg.flags)
Paul's avatar
Paul committed
200
            {
Paul's avatar
Paul committed
201
                if(arg_map.count(flag) > 0)
Paul's avatar
Paul committed
202
                {
Paul's avatar
Paul committed
203
                    if(arg.action(*this, arg_map[flag]))
Paul's avatar
Paul committed
204
                        return true;
Paul's avatar
Paul committed
205
206
207
                }
            }
        }
Paul's avatar
Paul committed
208
        return false;
Paul's avatar
Paul committed
209
210
211
212
213
214
215
216
217
    }

    using string_map = std::unordered_map<std::string, std::vector<std::string>>;
    template <class IsKeyword>
    static string_map generic_parse(std::vector<std::string> as, IsKeyword is_keyword)
    {
        string_map result;

        std::string flag;
Paul's avatar
Paul committed
218
        bool clear = false;
Paul's avatar
Paul committed
219
220
        for(auto&& x : as)
        {
Paul's avatar
Paul committed
221
222
            auto k = is_keyword(x);
            if(k > 0)
Paul's avatar
Paul committed
223
224
225
            {
                flag = x;
                result[flag]; // Ensure the flag exists
Paul's avatar
Paul committed
226
227
228
229
230
231
232
                if (k == 1)
                    flag = "";
                else if (k == 2)
                    clear = true;
                else
                    clear = false;

Paul's avatar
Paul committed
233
234
235
236
            }
            else
            {
                result[flag].push_back(x);
Paul's avatar
Paul committed
237
238
239
                if (clear)
                    flag = "";
                clear = false;
Paul's avatar
Paul committed
240
241
242
243
            }
        }
        return result;
    }
Paul's avatar
Paul committed
244

Paul's avatar
Paul committed
245
    private:
Paul's avatar
Paul committed
246
    std::vector<argument> arguments;
Paul's avatar
Paul committed
247
248
};

Paul's avatar
Paul committed
249
250
251
252
} // namespace MIGRAPHX_INLINE_NS
} // namespace driver
} // namespace migraphx

Paul's avatar
Paul committed
253
#endif