argument_parser.hpp 6.74 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
        std::string metavar = "";
Paul's avatar
Paul committed
61
        unsigned nargs      = 1;
Paul's avatar
Paul committed
62
63
64
    };

    template <class T, class... Fs>
Paul's avatar
Paul committed
65
    void operator()(T& x, std::vector<std::string> flags, Fs... fs)
Paul's avatar
Paul committed
66
    {
Paul's avatar
Paul committed
67
        arguments.push_back({flags, [&](auto&&, const std::vector<std::string>& params) {
Paul's avatar
Paul committed
68
69
70
71
72
                                 if(params.empty())
                                     throw std::runtime_error("Flag with no value.");
                                 x = value_parser<T>::apply(params.back());
                                 return false;
                             }});
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
    template <class... Fs>
Paul's avatar
Paul committed
80
    void operator()(std::nullptr_t x, std::vector<std::string> flags, Fs... fs)
Paul's avatar
Paul committed
81
82
83
84
85
    {
        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
    static auto nargs(unsigned n = 1)
    {
Paul's avatar
Paul committed
92
        return [=](auto&&, auto& arg) { arg.nargs = n; };
Paul's avatar
Paul committed
93
94
    }

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

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

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

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

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

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

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

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

    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
214
        bool clear = false;
Paul's avatar
Paul committed
215
216
        for(auto&& x : as)
        {
Paul's avatar
Paul committed
217
218
            auto k = is_keyword(x);
            if(k > 0)
Paul's avatar
Paul committed
219
220
221
            {
                flag = x;
                result[flag]; // Ensure the flag exists
Paul's avatar
Paul committed
222
                if(k == 1)
Paul's avatar
Paul committed
223
                    flag = "";
Paul's avatar
Paul committed
224
                else if(k == 2)
Paul's avatar
Paul committed
225
226
227
                    clear = true;
                else
                    clear = false;
Paul's avatar
Paul committed
228
229
230
231
            }
            else
            {
                result[flag].push_back(x);
Paul's avatar
Paul committed
232
                if(clear)
Paul's avatar
Paul committed
233
234
                    flag = "";
                clear = false;
Paul's avatar
Paul committed
235
236
237
238
            }
        }
        return result;
    }
Paul's avatar
Paul committed
239

Paul's avatar
Paul committed
240
    private:
Paul's avatar
Paul committed
241
    std::vector<argument> arguments;
Paul's avatar
Paul committed
242
243
};

Paul's avatar
Paul committed
244
245
246
247
} // namespace MIGRAPHX_INLINE_NS
} // namespace driver
} // namespace migraphx

Paul's avatar
Paul committed
248
#endif