scheduling: optionally split parallel rows in non-tilable bands

[platform/upstream/isl.git] / isl_stream.c

diff --git a/isl_stream.c b/isl_stream.c
index ce50657..c544149 100644 (file)
--- a/isl_stream.c
+++ b/isl_stream.c
@@ -127,6 +127,7 @@ static struct isl_stream* isl_stream_new(struct isl_ctx *ctx)
        s->col = 0;
        s->eof = 0;
        s->c = -1;
+       s->n_un = 0;
        for (i = 0; i < 5; ++i)
                s->tokens[i] = NULL;
        s->n_token = 0;
@@ -159,11 +160,13 @@ struct isl_stream* isl_stream_new_str(struct isl_ctx *ctx, const char *str)
        return s;
 }
 
-static int isl_stream_getc(struct isl_stream *s)
+static int stream_getc(struct isl_stream *s)
 {
        int c;
        if (s->eof)
                return -1;
+       if (s->n_un)
+               return s->c = s->un[--s->n_un];
        if (s->file)
                c = fgetc(s->file);
        else {
@@ -186,20 +189,36 @@ static int isl_stream_getc(struct isl_stream *s)
 
 static void isl_stream_ungetc(struct isl_stream *s, int c)
 {
-       if (s->file)
-               ungetc(c, s->file);
-       else
-               --s->str;
+       isl_assert(s->ctx, s->n_un < 5, return);
+       s->un[s->n_un++] = c;
        s->c = -1;
 }
 
+static int isl_stream_getc(struct isl_stream *s)
+{
+       int c;
+
+       do {
+               c = stream_getc(s);
+               if (c != '\\')
+                       return c;
+               c = stream_getc(s);
+       } while (c == '\n');
+
+       isl_stream_ungetc(s, c);
+
+       return '\\';
+}
+
 static int isl_stream_push_char(struct isl_stream *s, int c)
 {
        if (s->len >= s->size) {
+               char *buffer;
                s->size = (3*s->size)/2;
-               s->buffer = isl_realloc_array(s->ctx, s->buffer, char, s->size);
-               if (!s->buffer)
+               buffer = isl_realloc_array(s->ctx, s->buffer, char, s->size);
+               if (!buffer)
                        return -1;
+               s->buffer = buffer;
        }
        s->buffer[s->len++] = c;
        return 0;
@@ -231,10 +250,20 @@ static enum isl_token_type check_keywords(struct isl_stream *s)
                return ISL_TOKEN_INFTY;
        if (!strcasecmp(s->buffer, "NaN"))
                return ISL_TOKEN_NAN;
+       if (!strcasecmp(s->buffer, "min"))
+               return ISL_TOKEN_MIN;
        if (!strcasecmp(s->buffer, "max"))
                return ISL_TOKEN_MAX;
        if (!strcasecmp(s->buffer, "rat"))
                return ISL_TOKEN_RAT;
+       if (!strcasecmp(s->buffer, "true"))
+               return ISL_TOKEN_TRUE;
+       if (!strcasecmp(s->buffer, "false"))
+               return ISL_TOKEN_FALSE;
+       if (!strcasecmp(s->buffer, "ceild"))
+               return ISL_TOKEN_CEILD;
+       if (!strcasecmp(s->buffer, "floord"))
+               return ISL_TOKEN_FLOORD;
 
        if (!s->keywords)
                return ISL_TOKEN_IDENT;
@@ -299,12 +328,12 @@ static struct isl_token *next_token(struct isl_stream *s, int same_line)
        if (c == '(' ||
            c == ')' ||
            c == '+' ||
-           c == '/' ||
            c == '*' ||
            c == '%' ||
            c == '^' ||
            c == '=' ||
            c == '@' ||
+           c == '$' ||
            c == ',' ||
            c == '.' ||
            c == ';' ||
@@ -483,6 +512,32 @@ static struct isl_token *next_token(struct isl_stream *s, int same_line)
                        tok->u.s = strdup("||");
                return tok;
        }
+       if (c == '/') {
+               tok = isl_token_new(s->ctx, line, col, old_line != line);
+               if (!tok)
+                       return NULL;
+               if ((c = isl_stream_getc(s)) != '\\' && c != -1) {
+                       tok->type = (enum isl_token_type) '/';
+                       isl_stream_ungetc(s, c);
+               } else {
+                       tok->u.s = strdup("/\\");
+                       tok->type = ISL_TOKEN_AND;
+               }
+               return tok;
+       }
+       if (c == '\\') {
+               tok = isl_token_new(s->ctx, line, col, old_line != line);
+               if (!tok)
+                       return NULL;
+               if ((c = isl_stream_getc(s)) != '/' && c != -1) {
+                       tok->type = (enum isl_token_type) '\\';
+                       isl_stream_ungetc(s, c);
+               } else {
+                       tok->u.s = strdup("\\/");
+                       tok->type = ISL_TOKEN_OR;
+               }
+               return tok;
+       }
        if (c == '!') {
                tok = isl_token_new(s->ctx, line, col, old_line != line);
                if (!tok)