1PARSE_AND_LIST_OPTIONS_X86_64_LEVEL='
2  fprintf (file, _("\
3  -z x86-64-{baseline|v[234]} Mark x86-64-{baseline|v[234]} ISA level as needed\n"));
4'
5PARSE_AND_LIST_ARGS_CASE_Z_X86_64_LEVEL='
6      else if (strcmp (optarg, "x86-64-baseline") == 0)
7          params.isa_level = 1;
8      else if (strncmp (optarg, "x86-64-v", 8) == 0)
9          {
10            char *end;
11            unsigned int level = strtoul (optarg + 8 , &end, 10);
12            if (*end != '\0' || level < 2 || level > 4)
13              einfo (_("%F%P: invalid x86-64 ISA level: %s\n"), optarg);
14            params.isa_level = level;
15          }
16'
17
18PARSE_AND_LIST_OPTIONS="$PARSE_AND_LIST_OPTIONS $PARSE_AND_LIST_OPTIONS_X86_64_LEVEL"
19PARSE_AND_LIST_ARGS_CASE_Z="$PARSE_AND_LIST_ARGS_CASE_Z $PARSE_AND_LIST_ARGS_CASE_Z_X86_64_LEVEL"
20