"vscode:/vscode.git/clone" did not exist on "79c38ace568a1b409c500bbf52a4a16c6ceb6790"
argument_parser.hpp 11.5 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
#include <migraphx/functional.hpp>
Paul's avatar
Paul committed
19
#include <migraphx/stringutils.hpp>
kahmed10's avatar
kahmed10 committed
20
#include <migraphx/rank.hpp>
Paul's avatar
Paul committed
21

Paul's avatar
Paul committed
22
23
24
25
#ifndef _WIN32
#include <unistd.h>
#endif

Paul's avatar
Paul committed
26
27
28
namespace migraphx {
namespace driver {
inline namespace MIGRAPHX_INLINE_NS {
Paul's avatar
Paul committed
29

Paul's avatar
Paul committed
30
31
32
33
34
35
#ifdef MIGRAPHX_USE_CLANG_TIDY
#define MIGRAPHX_DRIVER_STATIC
#else
#define MIGRAPHX_DRIVER_STATIC static
#endif

Paul's avatar
Paul committed
36
template <class T>
Paul's avatar
Paul committed
37
38
39
40
41
using bare = std::remove_cv_t<std::remove_reference_t<T>>;

namespace detail {

template <class T>
Paul's avatar
Paul committed
42
auto is_container(int, T&& x) -> decltype(x.insert(x.end(), *x.begin()), std::true_type{});
Paul's avatar
Paul committed
43
44
45
46
47
48
49
50
51
52
53
54
55

template <class T>
std::false_type is_container(float, T&&);

} // namespace detail

template <class T>
struct is_container : decltype(detail::is_container(int(0), std::declval<T>()))
{
};

template <class T>
using is_multi_value =
Paul's avatar
Paul committed
56
    std::integral_constant<bool, (is_container<T>{} and not std::is_convertible<T, std::string>{})>;
Paul's avatar
Paul committed
57

Paul's avatar
Paul committed
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
83
enum class color
{
    reset      = 0,
    bold       = 1,
    underlined = 4,
    fg_red     = 31,
    fg_green   = 32,
    fg_yellow  = 33,
    fg_blue    = 34,
    fg_default = 39,
    bg_red     = 41,
    bg_green   = 42,
    bg_yellow  = 43,
    bg_blue    = 44,
    bg_default = 49
};
inline std::ostream& operator<<(std::ostream& os, const color& c)
{
#ifndef _WIN32
    static const bool use_color = isatty(STDOUT_FILENO) != 0;
    if(use_color)
        return os << "\033[" << static_cast<std::size_t>(c) << "m";
#endif
    return os;
}

Paul's avatar
Paul committed
84
85
86
template <class T>
struct value_parser
{
Paul's avatar
Paul committed
87
    template <MIGRAPHX_REQUIRES(not std::is_enum<T>{} and not is_multi_value<T>{})>
Paul's avatar
Paul committed
88
89
90
91
92
93
94
95
96
97
98
    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;
    }

Paul's avatar
Paul committed
99
    template <MIGRAPHX_REQUIRES(std::is_enum<T>{} and not is_multi_value<T>{})>
Paul's avatar
Paul committed
100
101
102
103
104
105
106
107
108
109
    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);
    }
Paul's avatar
Paul committed
110
111
112
113
114
115
116
117
118

    template <MIGRAPHX_REQUIRES(is_multi_value<T>{} and not std::is_enum<T>{})>
    static T apply(const std::string& x)
    {
        T result;
        using value_type = typename T::value_type;
        result.insert(result.end(), value_parser<value_type>::apply(x));
        return result;
    }
Paul's avatar
Paul committed
119
120
};

Paul's avatar
Paul committed
121
template <class T>
Paul's avatar
Paul committed
122
123
struct type_name
{
Paul's avatar
Paul committed
124
    static const std::string& apply() { return migraphx::get_type_name<T>(); }
Paul's avatar
Paul committed
125
126
};

Paul's avatar
Paul committed
127
template <>
Paul's avatar
Paul committed
128
129
130
131
132
133
134
135
136
struct type_name<std::string>
{
    static const std::string& apply()
    {
        static const std::string name = "std::string";
        return name;
    }
};

Paul's avatar
Paul committed
137
template <class T>
Paul's avatar
Paul committed
138
139
140
141
142
143
144
145
146
struct type_name<std::vector<T>>
{
    static const std::string& apply()
    {
        static const std::string name = "std::vector<" + type_name<T>::apply() + ">";
        return name;
    }
};

Paul's avatar
Paul committed
147
148
149
150
151
struct argument_parser
{
    struct argument
    {
        std::vector<std::string> flags;
Paul's avatar
Paul committed
152
        std::function<bool(argument_parser&, const std::vector<std::string>&)> action{};
Paul's avatar
Paul committed
153
154
155
        std::string type          = "";
        std::string help          = "";
        std::string metavar       = "";
Paul's avatar
Paul committed
156
        std::string default_value = "";
Paul's avatar
Paul committed
157
        unsigned nargs            = 1;
Paul's avatar
Paul committed
158
159
    };

Paul's avatar
Paul committed
160
    template <class T, MIGRAPHX_REQUIRES(is_multi_value<T>{})>
Paul's avatar
Paul committed
161
162
163
164
165
    std::string as_string_value(const T& x)
    {
        return to_string_range(x);
    }

kahmed10's avatar
kahmed10 committed
166
167
168
169
170
171
172
173
174
175
176
177
    template <class T>
    auto as_string_value(rank<1>, const T& x) -> decltype(to_string(x))
    {
        return to_string(x);
    }

    template <class T>
    std::string as_string_value(rank<0>, const T&)
    {
        throw std::runtime_error("Can't convert to string");
    }

Paul's avatar
Paul committed
178
    template <class T, MIGRAPHX_REQUIRES(not is_multi_value<T>{})>
Paul's avatar
Paul committed
179
180
    std::string as_string_value(const T& x)
    {
kahmed10's avatar
kahmed10 committed
181
        return as_string_value(rank<1>{}, x);
Paul's avatar
Paul committed
182
183
    }

Paul's avatar
Paul committed
184
    template <class T, class... Fs>
Paul's avatar
Paul committed
185
    void operator()(T& x, const std::vector<std::string>& flags, Fs... fs)
Paul's avatar
Paul committed
186
    {
Paul's avatar
Paul committed
187
        arguments.push_back({flags, [&](auto&&, const std::vector<std::string>& params) {
Paul's avatar
Paul committed
188
189
190
191
192
                                 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
193

kahmed10's avatar
kahmed10 committed
194
        argument& arg = arguments.back();
195
        arg.type      = type_name<T>::apply();
Paul's avatar
Paul committed
196
        migraphx::each_args([&](auto f) { f(x, arg); }, fs...);
kahmed10's avatar
kahmed10 committed
197
198
        if(not arg.default_value.empty() and arg.nargs > 0)
            arg.default_value = as_string_value(x);
Paul's avatar
Paul committed
199
200
    }

Paul's avatar
Paul committed
201
    template <class... Fs>
Paul's avatar
Paul committed
202
    void operator()(std::nullptr_t x, std::vector<std::string> flags, Fs... fs)
Paul's avatar
Paul committed
203
    {
Paul's avatar
Paul committed
204
        arguments.push_back({std::move(flags)});
Paul's avatar
Paul committed
205
206
207

        argument& arg = arguments.back();
        arg.type      = "";
Paul's avatar
Paul committed
208
        arg.nargs     = 0;
Paul's avatar
Paul committed
209
210
211
        migraphx::each_args([&](auto f) { f(x, arg); }, fs...);
    }

Paul's avatar
Paul committed
212
    MIGRAPHX_DRIVER_STATIC auto nargs(unsigned n = 1)
Paul's avatar
Paul committed
213
    {
Paul's avatar
Paul committed
214
        return [=](auto&&, auto& arg) { arg.nargs = n; };
Paul's avatar
Paul committed
215
216
    }

Paul's avatar
Paul committed
217
    template <class F>
Paul's avatar
Paul committed
218
    MIGRAPHX_DRIVER_STATIC auto write_action(F f)
Paul's avatar
Paul committed
219
220
    {
        return [=](auto& x, auto& arg) {
Paul's avatar
Paul committed
221
            arg.action = [&, f](auto& self, const std::vector<std::string>& params) {
Paul's avatar
Paul committed
222
223
224
225
226
227
                f(self, x, params);
                return false;
            };
        };
    }

Paul's avatar
Paul committed
228
    template <class F>
Paul's avatar
Paul committed
229
    MIGRAPHX_DRIVER_STATIC auto do_action(F f)
Paul's avatar
Paul committed
230
231
    {
        return [=](auto&, auto& arg) {
Paul's avatar
Paul committed
232
            arg.nargs  = 0;
Paul's avatar
Paul committed
233
            arg.action = [&, f](auto& self, const std::vector<std::string>&) {
Paul's avatar
Paul committed
234
235
236
237
238
239
                f(self);
                return true;
            };
        };
    }

Paul's avatar
Paul committed
240
    MIGRAPHX_DRIVER_STATIC auto append()
Paul's avatar
Paul committed
241
    {
Paul's avatar
Paul committed
242
        return write_action([](auto&, auto& x, auto& params) {
Paul's avatar
Paul committed
243
            using type = typename bare<decltype(params)>::value_type;
Paul's avatar
Paul committed
244
            std::transform(params.begin(),
Paul's avatar
Paul committed
245
246
                           params.end(),
                           std::inserter(x, x.end()),
Paul's avatar
Paul committed
247
248
                           [](std::string y) { return value_parser<type>::apply(y); });
        });
Paul's avatar
Paul committed
249
250
    }

Paul's avatar
Paul committed
251
    MIGRAPHX_DRIVER_STATIC auto show_help(const std::string& msg = "")
Paul's avatar
Paul committed
252
    {
Paul's avatar
Paul committed
253
        return do_action([=](auto& self) {
Paul's avatar
Paul committed
254
255
256
257
            std::cout << color::fg_yellow << "FLAGS:" << color::reset << std::endl;
            std::cout << std::endl;
            for(auto&& arg : self.arguments)
            {
Paul's avatar
Format  
Paul committed
258
                if(arg.nargs != 0)
Paul's avatar
Paul committed
259
260
                    continue;
                const int col_align = 35;
Paul's avatar
Format  
Paul committed
261
262
                std::string prefix  = "    ";
                int len             = 0;
Paul's avatar
Paul committed
263
264
265
266
267
268
269
270
271
272
                std::cout << color::fg_green;
                for(const std::string& a : arg.flags)
                {
                    len += prefix.length() + a.length();
                    std::cout << prefix;
                    std::cout << a;
                    prefix = ", ";
                }
                std::cout << color::reset;
                int spaces = col_align - len;
Paul's avatar
Format  
Paul committed
273
                if(spaces < 0)
Paul's avatar
Paul committed
274
275
276
277
278
                {
                    std::cout << std::endl;
                }
                else
                {
Paul's avatar
Format  
Paul committed
279
                    for(int i = 0; i < spaces; i++)
Paul's avatar
Paul committed
280
281
282
283
284
285
                        std::cout << " ";
                }
                std::cout << arg.help << std::endl;
            }
            std::cout << std::endl;
            std::cout << color::fg_yellow << "OPTIONS:" << color::reset << std::endl;
Paul's avatar
Paul committed
286
            for(auto&& arg : self.arguments)
Paul's avatar
Paul committed
287
            {
Paul's avatar
Format  
Paul committed
288
                if(arg.nargs == 0)
Paul's avatar
Paul committed
289
                    continue;
Paul's avatar
Paul committed
290
291
                std::cout << std::endl;
                std::string prefix = "    ";
Paul's avatar
Paul committed
292
                std::cout << color::fg_green;
Paul's avatar
Paul committed
293
                if(arg.flags.empty())
Paul's avatar
Paul committed
294
295
296
297
                {
                    std::cout << prefix;
                    std::cout << arg.metavar;
                }
Paul's avatar
Paul committed
298
299
300
301
302
303
                for(const std::string& a : arg.flags)
                {
                    std::cout << prefix;
                    std::cout << a;
                    prefix = ", ";
                }
Paul's avatar
Paul committed
304
                std::cout << color::reset;
Paul's avatar
Paul committed
305
                if(not arg.type.empty())
Paul's avatar
Paul committed
306
                {
Paul's avatar
Paul committed
307
                    std::cout << " [" << color::fg_blue << arg.type << color::reset << "]";
Paul's avatar
Paul committed
308
                    if(not arg.default_value.empty())
Paul's avatar
Paul committed
309
310
                        std::cout << " (Default: " << arg.default_value << ")";
                }
Paul's avatar
Paul committed
311
312
313
314
                std::cout << std::endl;
                std::cout << "        " << arg.help << std::endl;
            }
            std::cout << std::endl;
Paul's avatar
Paul committed
315
            if(not msg.empty())
Paul's avatar
Paul committed
316
                std::cout << msg << std::endl;
Paul's avatar
Paul committed
317
318
319
        });
    }

Paul's avatar
Paul committed
320
    MIGRAPHX_DRIVER_STATIC auto help(const std::string& help)
Paul's avatar
Paul committed
321
    {
Paul's avatar
Paul committed
322
        return [=](auto&, auto& arg) { arg.help = help; };
Paul's avatar
Paul committed
323
324
    }

Paul's avatar
Paul committed
325
    MIGRAPHX_DRIVER_STATIC auto metavar(const std::string& metavar)
Paul's avatar
Paul committed
326
327
328
329
    {
        return [=](auto&, auto& arg) { arg.metavar = metavar; };
    }

330
331
332
333
334
    MIGRAPHX_DRIVER_STATIC auto type(const std::string& type)
    {
        return [=](auto&, auto& arg) { arg.type = type; };
    }

Paul's avatar
Paul committed
335
    template <class T>
Paul's avatar
Paul committed
336
    MIGRAPHX_DRIVER_STATIC auto set_value(T value)
Paul's avatar
Paul committed
337
338
    {
        return [=](auto& x, auto& arg) {
Paul's avatar
Paul committed
339
            arg.nargs  = 0;
Paul's avatar
Paul committed
340
            arg.type   = "";
Paul's avatar
Paul committed
341
            arg.action = [&, value](auto&, const std::vector<std::string>&) {
Paul's avatar
Paul committed
342
343
344
345
346
347
                x = value;
                return false;
            };
        };
    }

Paul's avatar
Paul committed
348
    bool parse(std::vector<std::string> args)
Paul's avatar
Paul committed
349
    {
Paul's avatar
Paul committed
350
        std::unordered_map<std::string, unsigned> keywords;
Paul's avatar
Paul committed
351
        for(auto&& arg : arguments)
Paul's avatar
Paul committed
352
        {
Paul's avatar
Paul committed
353
            for(auto&& flag : arg.flags)
Paul's avatar
Paul committed
354
                keywords[flag] = arg.nargs + 1;
Paul's avatar
Paul committed
355
        }
Paul's avatar
Paul committed
356
357
        auto arg_map =
            generic_parse(std::move(args), [&](const std::string& x) { return keywords[x]; });
Paul's avatar
Paul committed
358
        for(auto&& arg : arguments)
Paul's avatar
Paul committed
359
        {
Paul's avatar
Paul committed
360
            auto flags = arg.flags;
Paul's avatar
Paul committed
361
            if(flags.empty())
Paul's avatar
Paul committed
362
                flags = {""};
Paul's avatar
Paul committed
363
            for(auto&& flag : flags)
Paul's avatar
Paul committed
364
            {
Paul's avatar
Paul committed
365
                if(arg_map.count(flag) > 0)
Paul's avatar
Paul committed
366
                {
Paul's avatar
Paul committed
367
                    if(arg.action(*this, arg_map[flag]))
Paul's avatar
Paul committed
368
                        return true;
Paul's avatar
Paul committed
369
370
371
                }
            }
        }
Paul's avatar
Paul committed
372
        return false;
Paul's avatar
Paul committed
373
374
375
376
377
378
379
380
381
    }

    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
382
        bool clear = false;
Paul's avatar
Paul committed
383
384
        for(auto&& x : as)
        {
Paul's avatar
Paul committed
385
386
            auto k = is_keyword(x);
            if(k > 0)
Paul's avatar
Paul committed
387
388
389
            {
                flag = x;
                result[flag]; // Ensure the flag exists
Paul's avatar
Paul committed
390
                if(k == 1)
Paul's avatar
Paul committed
391
                    flag = "";
Paul's avatar
Paul committed
392
                else if(k == 2)
Paul's avatar
Paul committed
393
394
395
                    clear = true;
                else
                    clear = false;
Paul's avatar
Paul committed
396
397
398
399
            }
            else
            {
                result[flag].push_back(x);
Paul's avatar
Paul committed
400
                if(clear)
Paul's avatar
Paul committed
401
402
                    flag = "";
                clear = false;
Paul's avatar
Paul committed
403
404
405
406
            }
        }
        return result;
    }
Paul's avatar
Paul committed
407

Paul's avatar
Paul committed
408
    private:
Paul's avatar
Paul committed
409
    std::vector<argument> arguments;
Paul's avatar
Paul committed
410
411
};

Paul's avatar
Paul committed
412
413
414
415
} // namespace MIGRAPHX_INLINE_NS
} // namespace driver
} // namespace migraphx

Paul's avatar
Paul committed
416
#endif