isl_pw_qpolynomial_fold_bound: fix handling or zero input with wrapped domain
[platform/upstream/isl.git] / isl_arg.c
1 /*
2  * Copyright 2008-2009 Katholieke Universiteit Leuven
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8  */
9
10 #include <stdio.h>
11 #include <stdlib.h>
12 #include <string.h>
13
14 #include "isl_arg.h"
15 #include <isl_ctx.h>
16
17 static void set_default_choice(struct isl_arg *arg, void *opt)
18 {
19         *(unsigned *)(((char *)opt) + arg->offset) = arg->u.choice.default_value;
20 }
21
22 static void set_default_flags(struct isl_arg *arg, void *opt)
23 {
24         *(unsigned *)(((char *)opt) + arg->offset) = arg->u.flags.default_value;
25 }
26
27 static void set_default_bool(struct isl_arg *arg, void *opt)
28 {
29         *(unsigned *)(((char *)opt) + arg->offset) = arg->u.b.default_value;
30 }
31
32 static void set_default_child(struct isl_arg *arg, void *opt)
33 {
34         void *child = calloc(1, arg->u.child.size);
35
36         if (child)
37                 isl_arg_set_defaults(arg->u.child.child, child);
38
39         *(void **)(((char *)opt) + arg->offset) = child;
40 }
41
42 static void set_default_user(struct isl_arg *arg, void *opt)
43 {
44         arg->u.user.init(((char *)opt) + arg->offset);
45 }
46
47 static void set_default_long(struct isl_arg *arg, void *opt)
48 {
49         *(long *)(((char *)opt) + arg->offset) = arg->u.l.default_value;
50 }
51
52 static void set_default_ulong(struct isl_arg *arg, void *opt)
53 {
54         *(unsigned long *)(((char *)opt) + arg->offset) = arg->u.ul.default_value;
55 }
56
57 static void set_default_str(struct isl_arg *arg, void *opt)
58 {
59         const char *str = NULL;
60         if (arg->u.str.default_value)
61                 str = strdup(arg->u.str.default_value);
62         *(const char **)(((char *)opt) + arg->offset) = str;
63 }
64
65 void isl_arg_set_defaults(struct isl_arg *arg, void *opt)
66 {
67         int i;
68
69         for (i = 0; arg[i].type != isl_arg_end; ++i) {
70                 switch (arg[i].type) {
71                 case isl_arg_choice:
72                         set_default_choice(&arg[i], opt);
73                         break;
74                 case isl_arg_flags:
75                         set_default_flags(&arg[i], opt);
76                         break;
77                 case isl_arg_bool:
78                         set_default_bool(&arg[i], opt);
79                         break;
80                 case isl_arg_child:
81                         set_default_child(&arg[i], opt);
82                         break;
83                 case isl_arg_user:
84                         set_default_user(&arg[i], opt);
85                         break;
86                 case isl_arg_long:
87                         set_default_long(&arg[i], opt);
88                         break;
89                 case isl_arg_ulong:
90                         set_default_ulong(&arg[i], opt);
91                         break;
92                 case isl_arg_arg:
93                 case isl_arg_str:
94                         set_default_str(&arg[i], opt);
95                         break;
96                 case isl_arg_version:
97                 case isl_arg_end:
98                         break;
99                 }
100         }
101 }
102
103 void isl_arg_free(struct isl_arg *arg, void *opt)
104 {
105         int i;
106
107         if (!opt)
108                 return;
109
110         for (i = 0; arg[i].type != isl_arg_end; ++i) {
111                 switch (arg[i].type) {
112                 case isl_arg_child:
113                         isl_arg_free(arg[i].u.child.child,
114                                 *(void **)(((char *)opt) + arg[i].offset));
115                         break;
116                 case isl_arg_arg:
117                 case isl_arg_str:
118                         free(*(char **)(((char *)opt) + arg[i].offset));
119                         break;
120                 case isl_arg_user:
121                         if (arg[i].u.user.clear)
122                                 arg[i].u.user.clear(((char *)opt) + arg[i].offset);
123                         break;
124                 case isl_arg_bool:
125                 case isl_arg_choice:
126                 case isl_arg_flags:
127                 case isl_arg_long:
128                 case isl_arg_ulong:
129                 case isl_arg_version:
130                 case isl_arg_end:
131                         break;
132                 }
133         }
134
135         free(opt);
136 }
137
138 static int print_arg_help(struct isl_arg *decl, const char *prefix, int no)
139 {
140         int len = 0;
141
142         if (!decl->long_name) {
143                 printf("  -%c", decl->short_name);
144                 return 4;
145         }
146
147         if (decl->short_name)
148                 printf("  -%c, --", decl->short_name);
149         else
150                 printf("      --");
151         len += 8;
152
153         if (prefix) {
154                 printf("%s-", prefix);
155                 len += strlen(prefix) + 1;
156         }
157         if (no) {
158                 printf("no-");
159                 len += 3;
160         }
161         printf("%s", decl->long_name);
162         len += strlen(decl->long_name);
163
164         return len;
165 }
166
167 const void *isl_memrchr(const void *s, int c, size_t n)
168 {
169         const char *p = s;
170         while (n-- > 0)
171                 if (p[n] == c)
172                         return p + n;
173         return NULL;
174 }
175
176 static int print_help_msg(struct isl_arg *decl, int pos)
177 {
178         int len;
179         const char *s;
180
181         if (!decl->help_msg)
182                 return pos;
183
184         if (pos >= 29)
185                 printf("\n%30s", "");
186         else
187                 printf("%*s", 30 - pos, "");
188
189         s = decl->help_msg;
190         len = strlen(s);
191         while (len > 45) {
192                 const char *space = isl_memrchr(s, ' ', 45);
193                 int l;
194
195                 if (!space)
196                         space = strchr(s + 45, ' ');
197                 if (!space)
198                         break;
199                 l = space - s;
200                 printf("%.*s", l, s);
201                 s = space + 1;
202                 len -= l + 1;
203                 printf("\n%30s", "");
204         }
205
206         printf("%s", s);
207         return len;
208 }
209
210 static void print_default(struct isl_arg *decl, const char *def, int pos)
211 {
212         int i;
213         const char *default_prefix = "[default: ";
214         const char *default_suffix = "]";
215         int len;
216
217         len = strlen(default_prefix) + strlen(def) + strlen(default_suffix);
218
219         if (!decl->help_msg) {
220                 if (pos >= 29)
221                         printf("\n%30s", "");
222                 else
223                         printf("%*s", 30 - pos, "");
224                 pos = 0;
225         } else {
226                 if (pos + len >= 48)
227                         printf("\n%30s", "");
228                 else
229                         printf(" ");
230         }
231         printf("%s%s%s", default_prefix, def, default_suffix);
232 }
233
234 static void print_default_choice(struct isl_arg *decl, int pos)
235 {
236         int i;
237         const char *s = "none";
238
239         for (i = 0; decl->u.choice.choice[i].name; ++i)
240                 if (decl->u.choice.choice[i].value == decl->u.choice.default_value) {
241                         s = decl->u.choice.choice[i].name;
242                         break;
243                 }
244
245         print_default(decl, s, pos);
246 }
247
248 static void print_choice_help(struct isl_arg *decl, const char *prefix)
249 {
250         int i;
251         int pos;
252
253         pos = print_arg_help(decl, prefix, 0);
254         printf("=");
255         pos++;
256
257         for (i = 0; decl->u.choice.choice[i].name; ++i) {
258                 if (i) {
259                         printf("|");
260                         pos++;
261                 }
262                 printf("%s", decl->u.choice.choice[i].name);
263                 pos += strlen(decl->u.choice.choice[i].name);
264         }
265
266         pos = print_help_msg(decl, pos);
267         print_default_choice(decl, pos);
268
269         printf("\n");
270 }
271
272 static void print_default_flags(struct isl_arg *decl, int pos)
273 {
274         int i, first;
275         const char *default_prefix = "[default: ";
276         const char *default_suffix = "]";
277         int len = strlen(default_prefix) + strlen(default_suffix);
278
279         for (i = 0; decl->u.flags.flags[i].name; ++i)
280                 if ((decl->u.flags.default_value & decl->u.flags.flags[i].mask) ==
281                      decl->u.flags.flags[i].value)
282                         len += strlen(decl->u.flags.flags[i].name);
283
284         if (!decl->help_msg) {
285                 if (pos >= 29)
286                         printf("\n%30s", "");
287                 else
288                         printf("%*s", 30 - pos, "");
289                 pos = 0;
290         } else {
291                 if (pos + len >= 48)
292                         printf("\n%30s", "");
293                 else
294                         printf(" ");
295         }
296         printf("%s", default_prefix);
297
298         for (first = 1, i = 0; decl->u.flags.flags[i].name; ++i)
299                 if ((decl->u.flags.default_value & decl->u.flags.flags[i].mask) ==
300                      decl->u.flags.flags[i].value) {
301                         if (!first)
302                                 printf(",");
303                         printf("%s", decl->u.flags.flags[i].name);
304                         first = 0;
305                 }
306
307         printf("%s", default_suffix);
308 }
309
310 static void print_flags_help(struct isl_arg *decl, const char *prefix)
311 {
312         int i, j;
313         int pos;
314
315         pos = print_arg_help(decl, prefix, 0);
316         printf("=");
317         pos++;
318
319         for (i = 0; decl->u.flags.flags[i].name; ++i) {
320                 if (i) {
321                         printf(",");
322                         pos++;
323                 }
324                 for (j = i;
325                      decl->u.flags.flags[j].mask == decl->u.flags.flags[i].mask;
326                      ++j) {
327                         if (j != i) {
328                                 printf("|");
329                                 pos++;
330                         }
331                         printf("%s", decl->u.flags.flags[j].name);
332                         pos += strlen(decl->u.flags.flags[j].name);
333                 }
334                 i = j - 1;
335         }
336
337         pos = print_help_msg(decl, pos);
338         print_default_flags(decl, pos);
339
340         printf("\n");
341 }
342
343 static void print_bool_help(struct isl_arg *decl, const char *prefix)
344 {
345         int pos;
346         int no = decl->u.b.default_value == 1;
347         pos = print_arg_help(decl, prefix, no);
348         pos = print_help_msg(decl, pos);
349         print_default(decl, no ? "yes" : "no", pos);
350         printf("\n");
351 }
352
353 static void print_long_help(struct isl_arg *decl, const char *prefix)
354 {
355         int pos;
356         pos = print_arg_help(decl, prefix, 0);
357         if (decl->u.l.default_value != decl->u.l.default_selected) {
358                 printf("[");
359                 pos++;
360         }
361         printf("=long");
362         pos += 5;
363         if (decl->u.l.default_value != decl->u.l.default_selected) {
364                 printf("]");
365                 pos++;
366         }
367         print_help_msg(decl, pos);
368         printf("\n");
369 }
370
371 static void print_ulong_help(struct isl_arg *decl, const char *prefix)
372 {
373         int pos;
374         pos = print_arg_help(decl, prefix, 0);
375         printf("=ulong");
376         pos += 6;
377         print_help_msg(decl, pos);
378         printf("\n");
379 }
380
381 static void print_str_help(struct isl_arg *decl, const char *prefix)
382 {
383         int pos;
384         const char *a = decl->argument_name ? decl->argument_name : "string";
385         pos = print_arg_help(decl, prefix, 0);
386         printf("=%s", a);
387         pos += 1 + strlen(a);
388         print_help_msg(decl, pos);
389         printf("\n");
390 }
391
392 static void print_help(struct isl_arg *arg, const char *prefix)
393 {
394         int i;
395
396         for (i = 0; arg[i].type != isl_arg_end; ++i) {
397                 switch (arg[i].type) {
398                 case isl_arg_flags:
399                         print_flags_help(&arg[i], prefix);
400                         break;
401                 case isl_arg_choice:
402                         print_choice_help(&arg[i], prefix);
403                         break;
404                 case isl_arg_bool:
405                         print_bool_help(&arg[i], prefix);
406                         break;
407                 case isl_arg_long:
408                         print_long_help(&arg[i], prefix);
409                         break;
410                 case isl_arg_ulong:
411                         print_ulong_help(&arg[i], prefix);
412                         break;
413                 case isl_arg_str:
414                         print_str_help(&arg[i], prefix);
415                         break;
416                 case isl_arg_version:
417                         printf("  -V, --version\n");
418                         break;
419                 case isl_arg_arg:
420                 case isl_arg_child:
421                 case isl_arg_user:
422                 case isl_arg_end:
423                         break;
424                 }
425         }
426
427         for (i = 0; arg[i].type != isl_arg_end; ++i) {
428                 if (arg[i].type != isl_arg_child)
429                         continue;
430
431                 printf("\n");
432                 if (arg[i].help_msg)
433                         printf(" %s\n", arg[i].help_msg);
434                 print_help(arg[i].u.child.child, arg[i].long_name);
435         }
436 }
437
438 static const char *prog_name(const char *prog)
439 {
440         const char *slash;
441
442         slash = strrchr(prog, '/');
443         if (slash)
444                 prog = slash + 1;
445         if (strncmp(prog, "lt-", 3) == 0)
446                 prog += 3;
447
448         return prog;
449 }
450
451 static void print_help_and_exit(struct isl_arg *arg, const char *prog)
452 {
453         int i;
454
455         printf("Usage: %s [OPTION...]", prog_name(prog));
456
457         for (i = 0; arg[i].type != isl_arg_end; ++i)
458                 if (arg[i].type == isl_arg_arg)
459                         printf(" %s", arg[i].argument_name);
460
461         printf("\n\n");
462
463         print_help(arg, NULL);
464
465         exit(0);
466 }
467
468 static const char *skip_name(struct isl_arg *decl, const char *arg,
469         const char *prefix, int need_argument, int *has_argument)
470 {
471         const char *equal;
472         const char *name;
473         const char *end;
474
475         if (arg[0] == '-' && arg[1] && arg[1] == decl->short_name) {
476                 if (need_argument && !arg[2])
477                         return NULL;
478                 if (has_argument)
479                         *has_argument = arg[2] != '\0';
480                 return arg + 2;
481         }
482
483         if (strncmp(arg, "--", 2))
484                 return NULL;
485
486         name = arg + 2;
487         equal = strchr(name, '=');
488         if (need_argument && !equal)
489                 return NULL;
490
491         if (has_argument)
492                 *has_argument = !!equal;
493         end = equal ? equal : name + strlen(name);
494
495         if (prefix) {
496                 size_t prefix_len = strlen(prefix);
497                 if (strncmp(name, prefix, prefix_len) == 0 &&
498                     name[prefix_len] == '-')
499                         name += prefix_len + 1;
500         }
501
502         if (end - name != strlen(decl->long_name) ||
503             strncmp(name, decl->long_name, end - name))
504                 return NULL;
505
506         return equal ? equal + 1 : end;
507 }
508
509 static int parse_choice_option(struct isl_arg *decl, char **arg,
510         const char *prefix, void *opt)
511 {
512         int i;
513         int has_argument;
514         const char *choice;
515
516         choice = skip_name(decl, arg[0], prefix, 0, &has_argument);
517         if (!choice)
518                 return 0;
519
520         if (!has_argument && (!arg[1] || arg[1][0] == '-')) {
521                 unsigned u = decl->u.choice.default_selected;
522                 if (decl->u.choice.set)
523                         decl->u.choice.set(opt, u);
524                 else
525                         *(unsigned *)(((char *)opt) + decl->offset) = u;
526
527                 return 1;
528         }
529
530         if (!has_argument)
531                 choice = arg[1];
532
533         for (i = 0; decl->u.choice.choice[i].name; ++i) {
534                 unsigned u;
535
536                 if (strcmp(choice, decl->u.choice.choice[i].name))
537                         continue;
538
539                 u = decl->u.choice.choice[i].value;
540                 if (decl->u.choice.set)
541                         decl->u.choice.set(opt, u);
542                 else
543                         *(unsigned *)(((char *)opt) + decl->offset) = u;
544
545                 return has_argument ? 1 : 2;
546         }
547
548         return 0;
549 }
550
551 static int set_flag(struct isl_arg *decl, unsigned *val, const char *flag,
552         size_t len)
553 {
554         int i;
555
556         for (i = 0; decl->u.flags.flags[i].name; ++i) {
557                 if (strncmp(flag, decl->u.flags.flags[i].name, len))
558                         continue;
559
560                 *val &= ~decl->u.flags.flags[i].mask;
561                 *val |= decl->u.flags.flags[i].value;
562
563                 return 1;
564         }
565
566         return 0;
567 }
568
569 static int parse_flags_option(struct isl_arg *decl, char **arg,
570         const char *prefix, void *opt)
571 {
572         int has_argument;
573         const char *flags;
574         const char *comma;
575         unsigned val;
576
577         flags = skip_name(decl, arg[0], prefix, 0, &has_argument);
578         if (!flags)
579                 return 0;
580
581         if (!has_argument && !arg[1])
582                 return 0;
583
584         if (!has_argument)
585                 flags = arg[1];
586
587         val = *(unsigned *)(((char *)opt) + decl->offset);
588
589         while ((comma = strchr(flags, ',')) != NULL) {
590                 if (!set_flag(decl, &val, flags, comma - flags))
591                         return 0;
592                 flags = comma + 1;
593         }
594         if (!set_flag(decl, &val, flags, strlen(flags)))
595                 return 0;
596
597         *(unsigned *)(((char *)opt) + decl->offset) = val;
598
599         return has_argument ? 1 : 2;
600 }
601
602 static int parse_bool_option(struct isl_arg *decl, const char *arg,
603         const char *prefix, void *opt)
604 {
605         if (skip_name(decl, arg, prefix, 0, NULL)) {
606                 *(unsigned *)(((char *)opt) + decl->offset) = 1;
607
608                 return 1;
609         }
610
611         if (strncmp(arg, "--", 2))
612                 return 0;
613         arg += 2;
614
615         if (prefix) {
616                 size_t prefix_len = strlen(prefix);
617                 if (strncmp(arg, prefix, prefix_len) == 0 &&
618                     arg[prefix_len] == '-') {
619                         arg += prefix_len + 1;
620                         prefix = NULL;
621                 }
622         }
623
624         if (strncmp(arg, "no-", 3))
625                 return 0;
626         arg += 3;
627
628         if (prefix) {
629                 size_t prefix_len = strlen(prefix);
630                 if (strncmp(arg, prefix, prefix_len) == 0 &&
631                     arg[prefix_len] == '-')
632                         arg += prefix_len + 1;
633         }
634
635         if (!strcmp(arg, decl->long_name)) {
636                 *(unsigned *)(((char *)opt) + decl->offset) = 0;
637
638                 return 1;
639         }
640
641         return 0;
642 }
643
644 static int parse_str_option(struct isl_arg *decl, char **arg,
645         const char *prefix, void *opt)
646 {
647         int has_argument;
648         const char *s;
649         char **p = (char **)(((char *)opt) + decl->offset);
650
651         s = skip_name(decl, arg[0], prefix, 0, &has_argument);
652         if (!s)
653                 return 0;
654
655         if (has_argument) {
656                 *p = strdup(s);
657                 return 1;
658         }
659
660         if (arg[1]) {
661                 *p = strdup(arg[1]);
662                 return 2;
663         }
664
665         return 0;
666 }
667
668 static int parse_long_option(struct isl_arg *decl, char **arg,
669         const char *prefix, void *opt)
670 {
671         int has_argument;
672         const char *val;
673         char *endptr;
674         long *p = (long *)(((char *)opt) + decl->offset);
675
676         val = skip_name(decl, arg[0], prefix, 0, &has_argument);
677         if (!val)
678                 return 0;
679
680         if (has_argument) {
681                 long l = strtol(val, NULL, 0);
682                 if (decl->u.l.set)
683                         decl->u.l.set(opt, l);
684                 else
685                         *p = l;
686                 return 1;
687         }
688
689         if (arg[1]) {
690                 long l = strtol(arg[1], &endptr, 0);
691                 if (*endptr == '\0') {
692                         if (decl->u.l.set)
693                                 decl->u.l.set(opt, l);
694                         else
695                                 *p = l;
696                         return 2;
697                 }
698         }
699
700         if (decl->u.l.default_value != decl->u.l.default_selected) {
701                 if (decl->u.l.set)
702                         decl->u.l.set(opt, decl->u.l.default_selected);
703                 else
704                         *p = decl->u.l.default_selected;
705                 return 1;
706         }
707
708         return 0;
709 }
710
711 static int parse_ulong_option(struct isl_arg *decl, char **arg,
712         const char *prefix, void *opt)
713 {
714         int has_argument;
715         const char *val;
716         char *endptr;
717         unsigned long *p = (unsigned long *)(((char *)opt) + decl->offset);
718
719         val = skip_name(decl, arg[0], prefix, 0, &has_argument);
720         if (!val)
721                 return 0;
722
723         if (has_argument) {
724                 *p = strtoul(val, NULL, 0);
725                 return 1;
726         }
727
728         if (arg[1]) {
729                 unsigned long ul = strtoul(arg[1], &endptr, 0);
730                 if (*endptr == '\0') {
731                         *p = ul;
732                         return 2;
733                 }
734         }
735
736         return 0;
737 }
738
739 static int parse_option(struct isl_arg *decl, char **arg,
740         const char *prefix, void *opt);
741
742 static int parse_child_option(struct isl_arg *decl, char **arg, void *opt)
743 {
744         return parse_option(decl->u.child.child, arg, decl->long_name,
745                                 *(void **)(((char *)opt) + decl->offset));
746 }
747
748 static int parse_option(struct isl_arg *decl, char **arg,
749         const char *prefix, void *opt)
750 {
751         int i;
752
753         for (i = 0; decl[i].type != isl_arg_end; ++i) {
754                 int parsed = 0;
755                 switch (decl[i].type) {
756                 case isl_arg_choice:
757                         parsed = parse_choice_option(&decl[i], arg, prefix, opt);
758                         break;
759                 case isl_arg_flags:
760                         parsed = parse_flags_option(&decl[i], arg, prefix, opt);
761                         break;
762                 case isl_arg_long:
763                         parsed = parse_long_option(&decl[i], arg, prefix, opt);
764                         break;
765                 case isl_arg_ulong:
766                         parsed = parse_ulong_option(&decl[i], arg, prefix, opt);
767                         break;
768                 case isl_arg_bool:
769                         parsed = parse_bool_option(&decl[i], *arg, prefix, opt);
770                         break;
771                 case isl_arg_str:
772                         parsed = parse_str_option(&decl[i], arg, prefix, opt);
773                         break;
774                 case isl_arg_child:
775                         parsed = parse_child_option(&decl[i], arg, opt);
776                         break;
777                 case isl_arg_arg:
778                 case isl_arg_user:
779                 case isl_arg_version:
780                 case isl_arg_end:
781                         break;
782                 }
783                 if (parsed)
784                         return parsed;
785         }
786
787         return 0;
788 }
789
790 static int any_version(struct isl_arg *decl)
791 {
792         int i;
793
794         for (i = 0; decl[i].type != isl_arg_end; ++i) {
795                 switch (decl[i].type) {
796                 case isl_arg_version:
797                         return 1;
798                 case isl_arg_child:
799                         if (any_version(decl[i].u.child.child))
800                                 return 1;
801                         break;
802                 default:
803                         break;
804                 }
805         }
806
807         return 0;
808 }
809
810 static void print_version(struct isl_arg *decl)
811 {
812         int i;
813
814         for (i = 0; decl[i].type != isl_arg_end; ++i) {
815                 switch (decl[i].type) {
816                 case isl_arg_version:
817                         decl[i].u.version.print_version();
818                         break;
819                 case isl_arg_child:
820                         print_version(decl[i].u.child.child);
821                         break;
822                 default:
823                         break;
824                 }
825         }
826 }
827
828 static void print_version_and_exit(struct isl_arg *decl)
829 {
830         print_version(decl);
831
832         exit(0);
833 }
834
835 static int drop_argument(int argc, char **argv, int drop, int n)
836 {
837         for (; drop < argc; ++drop)
838                 argv[drop] = argv[drop + n];
839
840         return argc - n;
841 }
842
843 static int n_arg(struct isl_arg *arg)
844 {
845         int i;
846         int n_arg = 0;
847
848         for (i = 0; arg[i].type != isl_arg_end; ++i)
849                 if (arg[i].type == isl_arg_arg)
850                         n_arg++;
851
852         return n_arg;
853 }
854
855 int isl_arg_parse(struct isl_arg *arg, int argc, char **argv, void *opt,
856         unsigned flags)
857 {
858         int skip = 0;
859         int i;
860         int n;
861
862         n = n_arg(arg);
863
864         for (i = 1; i < argc; ++i) {
865                 if (strcmp(argv[i], "--help") == 0)
866                         print_help_and_exit(arg, argv[0]);
867         }
868
869         for (i = 1; i < argc; ++i) {
870                 if ((strcmp(argv[i], "--version") == 0 ||
871                      strcmp(argv[i], "-V") == 0) && any_version(arg))
872                         print_version_and_exit(arg);
873         }
874
875         while (argc > 1 + skip) {
876                 int parsed;
877                 if (argv[1 + skip][0] != '-')
878                         break;
879                 parsed = parse_option(arg, &argv[1 + skip], NULL, opt);
880                 if (parsed)
881                         argc = drop_argument(argc, argv, 1 + skip, parsed);
882                 else if (ISL_FL_ISSET(flags, ISL_ARG_ALL)) {
883                         fprintf(stderr, "%s: unrecognized option: %s\n",
884                                         prog_name(argv[0]), argv[1 + skip]);
885                         exit(-1);
886                 } else
887                         ++skip;
888         }
889
890         if (ISL_FL_ISSET(flags, ISL_ARG_ALL) ? argc != 1 + n
891                                              : argc < 1 + skip + n) {
892                 fprintf(stderr, "%s: expecting %d arguments\n",
893                                 prog_name(argv[0]), n);
894                 exit(-1);
895         }
896
897         for (i = 0; arg[i].type != isl_arg_end; ++i) {
898                 const char *str;
899                 if (arg[i].type != isl_arg_arg)
900                         continue;
901                 str = strdup(argv[1 + skip]);
902                 *(const char **)(((char *)opt) + arg[i].offset) = str;
903                 argc = drop_argument(argc, argv, 1 + skip, 1);
904         }
905
906         return argc;
907 }