isl_map_simplify.c: isl_basic_map_eliminate_vars: drop redundant mark removal
[isl.git] / extract_key.c
blob070c1f6265f391bff635d6bf621d42860c3d9953
1 /*
2 * Copyright 2013 Ecole Normale Superieure
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege,
7 * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
8 */
10 #include <string.h>
12 /* Extract a mapping key from the token "tok".
13 * Return KEY_ERROR on error, i.e., if "tok" does not
14 * correspond to any known key.
16 static KEY extract_key(__isl_keep isl_stream *s, struct isl_token *tok)
18 int type;
19 char *name;
20 KEY key;
21 isl_ctx *ctx;
23 if (!tok)
24 return KEY_ERROR;
25 type = isl_token_get_type(tok);
26 if (type != ISL_TOKEN_IDENT && type != ISL_TOKEN_STRING) {
27 isl_stream_error(s, tok, "expecting key");
28 return KEY_ERROR;
31 ctx = isl_stream_get_ctx(s);
32 name = isl_token_get_str(ctx, tok);
33 if (!name)
34 return KEY_ERROR;
36 for (key = 0; key < KEY_END; ++key) {
37 if (!strcmp(name, key_str[key]))
38 break;
40 free(name);
42 if (key >= KEY_END)
43 isl_die(ctx, isl_error_invalid, "unknown key",
44 return KEY_ERROR);
45 return key;
48 /* Read a key from "s" and return the corresponding enum.
49 * Return KEY_ERROR on error, i.e., if the first token
50 * on the stream does not correspond to any known key.
52 static KEY get_key(__isl_keep isl_stream *s)
54 struct isl_token *tok;
55 KEY key;
57 tok = isl_stream_next_token(s);
58 key = extract_key(s, tok);
59 isl_token_free(tok);
61 return key;