/* Generated by re2c */
#include "php_snuffleupagus.h"

enum YYCONDTYPE {
	yycinit,
	yyccond,
	yyccond_op,
	yycrule,
};


#define cs_log_error(fmt, ...) sp_log_err("config", fmt, ##__VA_ARGS__)
#define cs_log_info(fmt, ...) sp_log_msg("config", SP_LOG_INFO, fmt, ##__VA_ARGS__)

zend_string *sp_get_arg_string(sp_parsed_keyword *kw) {
  if (!kw || !kw->arg) {
    return NULL;
  }
  zend_string *ret = zend_string_init(kw->arg, kw->arglen, 1);
  char *pin, *pout;
  pin = pout = ZSTR_VAL(ret);
  char *pend = pin + ZSTR_LEN(ret);

  while (pin < pend) {
    if (*pin == '\\') {
      pin++;
    }
    *pout = *pin;
    pin++; pout++;
  }

  if (pin != pout) {
    size_t len = pout - ZSTR_VAL(ret);
    ret = zend_string_truncate(ret, len, 1);
    ZSTR_VAL(ret)[len] = 0;
  }

  return ret;
}

zend_string *sp_get_textual_representation(sp_parsed_keyword *parsed_rule) {
  // a rule is "sp.keyword...keyword(arg);\0"
  size_t len = 3; // sp + ;
  sp_parsed_keyword *kw;
  for (kw = parsed_rule; kw->kw; kw++) {
    len++; // .
    len += kw->kwlen;
    if (kw->argtype == SP_ARGTYPE_EMPTY) {
      len += 2; // ()
    } else if (kw->argtype == SP_ARGTYPE_STR) {
        len += 4;
        len += kw->arglen;
    }
  }
  zend_string *ret = zend_string_alloc(len, 1);
  char *ptr = ZSTR_VAL(ret);
  memcpy(ptr, "sp", 2); ptr += 2;
  for (kw = parsed_rule; kw->kw; kw++) {
    *ptr++ = '.';
    memcpy(ptr, kw->kw, kw->kwlen); ptr += kw->kwlen;
    if (kw->argtype == SP_ARGTYPE_EMPTY || kw->argtype == SP_ARGTYPE_STR || kw->argtype == SP_ARGTYPE_UNKNOWN) {
      *ptr++ = '(';
    }
    if (kw->argtype == SP_ARGTYPE_STR && kw->arg) {
      *ptr++ = '"';
      memcpy(ptr, kw->arg, kw->arglen); ptr += kw->arglen;
      *ptr++ = '"';
    }
    if (kw->argtype == SP_ARGTYPE_EMPTY || kw->argtype == SP_ARGTYPE_STR || kw->argtype == SP_ARGTYPE_UNKNOWN) {
      *ptr++ = ')';
    }
  }
  *ptr++ = ';';
  *ptr = 0;
  return ret;
}

static void str_dtor(zval *zv) {
  zend_string_release_ex(Z_STR_P(zv), 1);
}

// sy_ functions and macros are helpers for the shunting yard algorithm
#define sy_res_push(val) \
  if (cond_res_i >= 100) { cs_log_error("condition too complex on line %d", lineno); goto out; } \
  cond_res[cond_res_i++] = val;
#define sy_res_pop() cond_res[--cond_res_i]
#define sy_op_push(op) \
  if (cond_op_i >= 100) { cs_log_error("condition too complex on line %d", lineno); goto out; } \
  cond_op[cond_op_i++] = op;
#define sy_op_pop() cond_op[--cond_op_i]
#define sy_op_peek() cond_op[cond_op_i-1]

static inline int sy_op_precedence(char op) {
  switch (op) {
    case '!': return 120;
    case '<':
    case '>':
    case 'L': // <=
    case 'G': // >=
              return 90;
    case '&': return 70;
    case '|': return 60;
    case '=': return 20;
  }
  return 0;
}
static inline int sy_op_is_left_assoc(char op) {
  switch (op) {
    case '!': return 0;
  }
  return 1;
}
static int sy_apply_op(char op, int a, int b) {
  switch (op) {
    case '!': return !a;
    case '&': return (b && a);
    case '|': return (b || a);
    case '<': return (b < a);
    case 'L': return (b <= a);
    case 'G': return (b >= a);
    case '>': return (b > a);
    case '=': return (b == a);
  }
  return 0;
}

#define SY_APPLY_OP_FROM_STACK() \
  char op = sy_op_pop(); \
  int unary = (op == '!'); \
  if (cond_res_i < (2 - unary)) { cs_log_error("not enough input on line %d", lineno); goto out; } \
  int a = sy_res_pop(); \
  int b = unary ? 0 : sy_res_pop(); \
  int res = sy_apply_op(op, a, b); \
  sy_res_push(res);


zend_result sp_config_scan(char *data, zend_result (*process_rule)(sp_parsed_keyword*))
{
  const char *YYCURSOR = data;
  const char *YYMARKER, *t1, *t2, *t3, *t4;
  const char *yyt1;
const char *yyt2;
const char *yyt3;
const char *yyt4;


  int ret = FAILURE;

  const int max_keywords = 16;
  sp_parsed_keyword parsed_rule[max_keywords+1];
  int kw_i = 0;

  HashTable vars;
  zend_hash_init(&vars, 10, NULL, str_dtor, 1);
  zend_hash_str_add_ptr(&vars, ZEND_STRL("PHP_VERSION_ID"), zend_string_init(ZEND_STRL(ZEND_TOSTR(PHP_VERSION_ID)), 1));


  int cond_res[100] = {1};
  int cond_res_i = 0;
  char cond_op[100] = {0};
  int cond_op_i = 0;

  int cond = yycinit;
  long lineno = 1;

  
{
	unsigned char yych;
	unsigned int yyaccept = 0;
	if (cond < 2) {
		if (cond < 1) {
			goto yyc_init;
		} else {
			goto yyc_cond;
		}
	} else {
		if (cond < 3) {
			goto yyc_cond_op;
		} else {
			goto yyc_rule;
		}
	}
/* *********************************** */
yyc_init:
	{
		static const unsigned char yybm[] = {
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  88,   0,  80,  80,  16,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 88,  80,  16,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			112, 112, 112, 112, 112, 112, 112, 112, 
			112, 112,  80,  80,  80,  80,  80,  80, 
			 80, 112, 112, 112, 112, 112, 112, 112, 
			112, 112, 112, 112, 112, 112, 112, 112, 
			112, 112, 112, 112, 112, 112, 112, 112, 
			112, 112, 112,  80, 144,  80,  80, 112, 
			 80, 112, 112, 112, 112, 112, 112, 112, 
			112, 112, 112, 112, 112, 112, 112, 112, 
			112, 112, 112, 112, 112, 112, 112, 112, 
			112, 112, 112,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
			 80,  80,  80,  80,  80,  80,  80,  80, 
		};
		yych = *YYCURSOR;
		if (yybm[0+yych] & 8) {
			goto yy6;
		}
		if (yych <= '#') {
			if (yych <= '\n') {
				if (yych <= 0x00) goto yy2;
				if (yych <= 0x08) goto yy4;
				goto yy9;
			} else {
				if (yych == '\r') goto yy11;
				if (yych <= '"') goto yy4;
				goto yy12;
			}
		} else {
			if (yych <= '?') {
				if (yych == ';') goto yy12;
				goto yy4;
			} else {
				if (yych <= '@') goto yy15;
				if (yych == 's') goto yy16;
				goto yy4;
			}
		}
yy2:
		++YYCURSOR;
		{ ret = SUCCESS; goto out; }
yy4:
		++YYCURSOR;
yy5:
		{ cs_log_error("Parser error on line %d", lineno); goto out; }
yy6:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 8) {
			goto yy6;
		}
		{ goto yyc_init; }
yy9:
		++YYCURSOR;
		{ lineno++; goto yyc_init; }
yy11:
		yych = *++YYCURSOR;
		if (yych == '\n') goto yy9;
		goto yy5;
yy12:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 16) {
			goto yy12;
		}
		{ goto yyc_init; }
yy15:
		yyaccept = 0;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych <= 'd') {
			if (yych == 'c') goto yy17;
			goto yy5;
		} else {
			if (yych <= 'e') goto yy19;
			if (yych == 'l') goto yy20;
			goto yy5;
		}
yy16:
		yyaccept = 0;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych == 'e') goto yy21;
		if (yych == 'p') goto yy22;
		goto yy5;
yy17:
		yych = *++YYCURSOR;
		if (yych == 'o') goto yy24;
yy18:
		YYCURSOR = YYMARKER;
		if (yyaccept <= 2) {
			if (yyaccept <= 1) {
				if (yyaccept == 0) {
					goto yy5;
				} else {
					yyt1 = YYCURSOR;
					goto yy37;
				}
			} else {
				goto yy37;
			}
		} else {
			if (yyaccept == 3) {
				yyt4 = YYCURSOR;
				goto yy57;
			} else {
				goto yy57;
			}
		}
yy19:
		yych = *++YYCURSOR;
		if (yych == 'n') goto yy25;
		goto yy18;
yy20:
		yych = *++YYCURSOR;
		if (yych == 'o') goto yy26;
		goto yy18;
yy21:
		yych = *++YYCURSOR;
		if (yych == 't') goto yy27;
		goto yy18;
yy22:
		++YYCURSOR;
		{ kw_i = 0;  goto yyc_rule; }
yy24:
		yych = *++YYCURSOR;
		if (yych == 'n') goto yy28;
		goto yy18;
yy25:
		yych = *++YYCURSOR;
		if (yych == 'd') goto yy29;
		goto yy18;
yy26:
		yych = *++YYCURSOR;
		if (yych == 'g') goto yy30;
		goto yy18;
yy27:
		yych = *++YYCURSOR;
		if (yych == '\t') goto yy31;
		if (yych == ' ') goto yy31;
		goto yy18;
yy28:
		yych = *++YYCURSOR;
		if (yych == 'd') goto yy33;
		goto yy18;
yy29:
		yych = *++YYCURSOR;
		if (yych == '_') goto yy34;
		goto yy18;
yy30:
		yych = *++YYCURSOR;
		if (yych == '\t') goto yy35;
		if (yych == ' ') goto yy35;
		goto yy18;
yy31:
		yych = *++YYCURSOR;
		if (yych <= '@') {
			if (yych <= '\t') {
				if (yych <= 0x08) goto yy18;
				goto yy31;
			} else {
				if (yych == ' ') goto yy31;
				goto yy18;
			}
		} else {
			if (yych <= '_') {
				if (yych <= 'Z') {
					yyt1 = YYCURSOR;
					goto yy38;
				}
				if (yych <= '^') goto yy18;
				yyt1 = YYCURSOR;
				goto yy38;
			} else {
				if (yych <= '`') goto yy18;
				if (yych <= 'z') {
					yyt1 = YYCURSOR;
					goto yy38;
				}
				goto yy18;
			}
		}
yy33:
		yych = *++YYCURSOR;
		if (yych == 'i') goto yy40;
		goto yy18;
yy34:
		yych = *++YYCURSOR;
		if (yych == 'c') goto yy41;
		goto yy18;
yy35:
		yyaccept = 1;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych <= 0x1F) {
			if (yych == '\t') goto yy35;
			yyt1 = YYCURSOR;
		} else {
			if (yych <= ' ') goto yy35;
			if (yych == '"') {
				yyt1 = YYCURSOR;
				goto yy42;
			}
			yyt1 = YYCURSOR;
		}
yy37:
		t1 = yyt1;
		t2 = YYCURSOR;
		{
      char tmpstr[1024];
      size_t tmplen = MIN(t2-t1-2, 1023);
      strncpy(tmpstr, t1+1, tmplen);
      tmpstr[tmplen] = 0;
      cs_log_info("[line %d]: %s", lineno, tmpstr);
      goto yyc_init;
    }
yy38:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 32) {
			goto yy38;
		}
		if (yych == '\t') {
			yyt2 = YYCURSOR;
			goto yy44;
		}
		if (yych == ' ') {
			yyt2 = YYCURSOR;
			goto yy44;
		}
		goto yy18;
yy40:
		yych = *++YYCURSOR;
		if (yych == 't') goto yy46;
		goto yy18;
yy41:
		yych = *++YYCURSOR;
		if (yych == 'o') goto yy47;
		goto yy18;
yy42:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 64) {
			goto yy42;
		}
		if (yych <= '\r') goto yy18;
		if (yych <= '"') goto yy48;
		goto yy49;
yy44:
		yych = *++YYCURSOR;
		if (yych <= 0x1F) {
			if (yych == '\t') goto yy44;
			goto yy18;
		} else {
			if (yych <= ' ') goto yy44;
			if (yych == '"') {
				yyt3 = YYCURSOR;
				goto yy51;
			}
			goto yy18;
		}
yy46:
		yych = *++YYCURSOR;
		if (yych == 'i') goto yy53;
		goto yy18;
yy47:
		yych = *++YYCURSOR;
		if (yych == 'n') goto yy54;
		goto yy18;
yy48:
		++YYCURSOR;
		goto yy37;
yy49:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 64) {
			goto yy42;
		}
		if (yych <= '\r') goto yy18;
		if (yych <= '"') goto yy55;
		goto yy49;
yy51:
		yych = *++YYCURSOR;
		if (yych <= '\r') {
			if (yych == '\n') goto yy18;
			if (yych <= '\f') goto yy51;
			goto yy18;
		} else {
			if (yych <= '"') {
				if (yych <= '!') goto yy51;
				goto yy56;
			} else {
				if (yych == '\\') goto yy58;
				goto yy51;
			}
		}
yy53:
		yych = *++YYCURSOR;
		if (yych == 'o') goto yy60;
		goto yy18;
yy54:
		yych = *++YYCURSOR;
		if (yych == 'd') goto yy61;
		goto yy18;
yy55:
		yyaccept = 2;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yybm[0+yych] & 64) {
			goto yy42;
		}
		if (yych <= '\r') goto yy37;
		if (yych <= '"') goto yy48;
		goto yy49;
yy56:
		yych = *++YYCURSOR;
		yyt4 = YYCURSOR;
		goto yy63;
yy57:
		t1 = yyt1;
		t2 = yyt2;
		t3 = yyt3;
		t4 = yyt4;
		{
      char *key = (char*)t1;
      int keylen = t2-t1;
      zend_string *tmp = zend_hash_str_find_ptr(&vars, key, keylen);
      if (tmp) {
        zend_hash_str_del(&vars, key, keylen);
      }
      tmp = zend_string_init(t3+1, t4-t3-2, 1);
      zend_hash_str_add_ptr(&vars, key, keylen, tmp);
      goto yyc_init;
    }
yy58:
		yych = *++YYCURSOR;
		if (yych <= '\r') {
			if (yych == '\n') goto yy18;
			if (yych <= '\f') goto yy51;
			goto yy18;
		} else {
			if (yych <= '"') {
				if (yych <= '!') goto yy51;
				goto yy65;
			} else {
				if (yych == '\\') goto yy58;
				goto yy51;
			}
		}
yy60:
		yych = *++YYCURSOR;
		if (yych == 'n') goto yy66;
		goto yy18;
yy61:
		yych = *++YYCURSOR;
		if (yych == 'i') goto yy67;
		goto yy18;
yy62:
		yych = *++YYCURSOR;
yy63:
		if (yych <= 0x1F) {
			if (yych == '\t') goto yy62;
			goto yy57;
		} else {
			if (yych <= ' ') goto yy62;
			if (yych != ';') goto yy57;
		}
		++YYCURSOR;
		goto yy57;
yy65:
		yyaccept = 3;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych <= ' ') {
			if (yych <= '\n') {
				if (yych <= 0x08) goto yy51;
				if (yych <= '\t') {
					yyt4 = YYCURSOR;
					goto yy68;
				}
				yyt4 = YYCURSOR;
				goto yy57;
			} else {
				if (yych == '\r') {
					yyt4 = YYCURSOR;
					goto yy57;
				}
				if (yych <= 0x1F) goto yy51;
				yyt4 = YYCURSOR;
				goto yy68;
			}
		} else {
			if (yych <= ':') {
				if (yych == '"') goto yy56;
				goto yy51;
			} else {
				if (yych <= ';') {
					yyt4 = YYCURSOR;
					goto yy70;
				}
				if (yych == '\\') goto yy58;
				goto yy51;
			}
		}
yy66:
		yych = *++YYCURSOR;
		if (yych == '\t') goto yy71;
		if (yych == ' ') goto yy71;
		goto yy18;
yy67:
		yych = *++YYCURSOR;
		if (yych == 't') goto yy74;
		goto yy18;
yy68:
		yyaccept = 4;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych <= ' ') {
			if (yych <= '\n') {
				if (yych <= 0x08) goto yy51;
				if (yych <= '\t') goto yy68;
				goto yy57;
			} else {
				if (yych == '\r') goto yy57;
				if (yych <= 0x1F) goto yy51;
				goto yy68;
			}
		} else {
			if (yych <= ':') {
				if (yych == '"') goto yy56;
				goto yy51;
			} else {
				if (yych <= ';') goto yy70;
				if (yych == '\\') goto yy58;
				goto yy51;
			}
		}
yy70:
		yyaccept = 4;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych <= '\r') {
			if (yych == '\n') goto yy57;
			if (yych <= '\f') goto yy51;
			goto yy57;
		} else {
			if (yych <= '"') {
				if (yych <= '!') goto yy51;
				goto yy56;
			} else {
				if (yych == '\\') goto yy58;
				goto yy51;
			}
		}
yy71:
		yych = *++YYCURSOR;
		if (yych == '\t') goto yy71;
		if (yych == ' ') goto yy71;
		{ goto yyc_cond; }
yy74:
		yych = *++YYCURSOR;
		if (yych != 'i') goto yy18;
		yych = *++YYCURSOR;
		if (yych != 'o') goto yy18;
		yych = *++YYCURSOR;
		if (yych != 'n') goto yy18;
yy77:
		yych = *++YYCURSOR;
		if (yych <= 0x1F) {
			if (yych == '\t') goto yy77;
			goto yy18;
		} else {
			if (yych <= ' ') goto yy77;
			if (yych != ';') goto yy18;
		}
		++YYCURSOR;
		{ cond_res[0] = 1; goto yyc_init; }
	}
/* *********************************** */
yyc_cond:
	{
		static const unsigned char yybm[] = {
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  72,   0,  64,  64,   0,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 72,  64,   0,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			112, 112, 112, 112, 112, 112, 112, 112, 
			112, 112,  64,  64,  64,  64,  64,  64, 
			 64,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  64, 128,  64,  64,  96, 
			 64,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
		};
		yych = *YYCURSOR;
		if (yybm[0+yych] & 8) {
			goto yy85;
		}
		if (yych <= '(') {
			if (yych <= '\r') {
				if (yych <= 0x08) goto yy83;
				if (yych <= '\n') goto yy88;
				if (yych >= '\r') goto yy90;
			} else {
				if (yych <= 0x1F) goto yy83;
				if (yych <= '!') goto yy91;
				if (yych >= '(') goto yy93;
			}
		} else {
			if (yych <= 'Z') {
				if (yych <= '/') goto yy83;
				if (yych <= '9') {
					yyt1 = YYCURSOR;
					goto yy95;
				}
				if (yych >= 'A') {
					yyt1 = YYCURSOR;
					goto yy98;
				}
			} else {
				if (yych <= '_') {
					if (yych >= '_') {
						yyt1 = YYCURSOR;
						goto yy98;
					}
				} else {
					if (yych <= '`') goto yy83;
					if (yych <= 'z') {
						yyt1 = YYCURSOR;
						goto yy98;
					}
				}
			}
		}
yy83:
		++YYCURSOR;
yy84:
		{ cs_log_error("Syntax error in condition on line %d", lineno); goto out; }
yy85:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 8) {
			goto yy85;
		}
		{ goto yyc_cond; }
yy88:
		++YYCURSOR;
		{ lineno++; goto yyc_cond; }
yy90:
		yych = *++YYCURSOR;
		if (yych == '\n') goto yy88;
		goto yy84;
yy91:
		++YYCURSOR;
		t1 = YYCURSOR - 1;
		{ sy_op_push(*t1); goto yyc_cond; }
yy93:
		++YYCURSOR;
		t1 = YYCURSOR - 1;
		{ sy_op_push(*t1); goto yyc_cond; }
yy95:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 16) {
			goto yy95;
		}
		t1 = yyt1;
		t2 = YYCURSOR;
		{ sy_res_push(atoi(t1));  goto yyc_cond_op; }
yy98:
		yyaccept = 0;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yybm[0+yych] & 32) {
			goto yy98;
		}
		if (yych == '(') goto yy101;
yy100:
		t1 = yyt1;
		t2 = YYCURSOR;
		{
      zend_string *tmp = zend_hash_str_find_ptr(&vars, t1, t2-t1);
      if (!tmp) {
        cs_log_error("unknown variable in condition on line %d", lineno);
        goto out;
      }
      sy_res_push(atoi(ZSTR_VAL(tmp)));
      goto yyc_cond_op;
    }
yy101:
		yych = *++YYCURSOR;
		if (yych == '"') {
			yyt2 = YYCURSOR;
			goto yy103;
		}
		if (yych == ')') {
			yyt2 = YYCURSOR;
			goto yy105;
		}
yy102:
		YYCURSOR = YYMARKER;
		if (yyaccept == 0) {
			goto yy100;
		} else {
			goto yy106;
		}
yy103:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 64) {
			goto yy103;
		}
		if (yych <= '\r') goto yy102;
		if (yych <= '"') goto yy107;
		goto yy108;
yy105:
		++YYCURSOR;
yy106:
		t1 = yyt1;
		t3 = yyt2;
		t2 = yyt2 - 1;
		t4 = YYCURSOR - 1;
		{
      if (t4-t3 >= 2 && strlen("extension_loaded") == t2-t1 && strncmp("extension_loaded", t1, t2-t1) == 0) {
        int is_loaded = (zend_hash_str_find_ptr(&module_registry, t3+1, t4-t3-2) != NULL);
        sy_res_push(is_loaded);
      } else {
        cs_log_error("unknown function in condition on line %d", lineno);
        goto out;
      }
      goto yyc_cond_op;
    }
yy107:
		yych = *++YYCURSOR;
		if (yych == ')') goto yy105;
		goto yy102;
yy108:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 64) {
			goto yy103;
		}
		if (yych <= '\r') goto yy102;
		if (yych >= '#') goto yy108;
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 128) {
			goto yy108;
		}
		if (yych <= '\r') {
			if (yych == '\n') goto yy102;
			if (yych <= '\f') goto yy103;
			goto yy102;
		} else {
			if (yych <= '"') {
				if (yych <= '!') goto yy103;
				goto yy107;
			} else {
				if (yych != ')') goto yy103;
			}
		}
		yyaccept = 1;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yybm[0+yych] & 64) {
			goto yy103;
		}
		if (yych <= '\r') goto yy106;
		if (yych <= '"') goto yy107;
		goto yy108;
	}
/* *********************************** */
yyc_cond_op:
	{
		static const unsigned char yybm[] = {
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0, 128,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			128,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
			  0,   0,   0,   0,   0,   0,   0,   0, 
		};
		yych = *YYCURSOR;
		if (yybm[0+yych] & 128) {
			goto yy116;
		}
		if (yych <= ')') {
			if (yych <= '\r') {
				if (yych <= 0x08) goto yy114;
				if (yych <= '\n') goto yy119;
				if (yych >= '\r') goto yy121;
			} else {
				if (yych == '&') {
					yyt1 = YYCURSOR;
					goto yy122;
				}
				if (yych >= ')') goto yy123;
			}
		} else {
			if (yych <= '=') {
				if (yych <= ':') goto yy114;
				if (yych <= ';') goto yy125;
				if (yych <= '<') {
					yyt1 = YYCURSOR;
					goto yy127;
				}
				yyt1 = YYCURSOR;
				goto yy129;
			} else {
				if (yych <= '>') {
					yyt1 = YYCURSOR;
					goto yy127;
				}
				if (yych == '|') {
					yyt1 = YYCURSOR;
					goto yy130;
				}
			}
		}
yy114:
		++YYCURSOR;
yy115:
		{ cs_log_error("Syntax error in condition on line %d", lineno); goto out; }
yy116:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 128) {
			goto yy116;
		}
		{ goto yyc_cond_op; }
yy119:
		++YYCURSOR;
		{ lineno++; goto yyc_cond_op; }
yy121:
		yych = *++YYCURSOR;
		if (yych == '\n') goto yy119;
		goto yy115;
yy122:
		yych = *++YYCURSOR;
		if (yych == '&') goto yy131;
		goto yy115;
yy123:
		++YYCURSOR;
		{
      while (cond_op_i && sy_op_peek() != '(') {
        SY_APPLY_OP_FROM_STACK();
      }
      if (cond_op_i == 0 || sy_op_peek() != '(') {
        cs_log_error("unbalanced parathesis on line %d", lineno); goto out;
      }
      cond_op_i--;
      goto yyc_cond_op;
    }
yy125:
		++YYCURSOR;
		{
      while (cond_op_i) {
        if (sy_op_peek() == '(') { cs_log_error("unbalanced parathesis on line %d", lineno); goto out; }
        SY_APPLY_OP_FROM_STACK();
      }
      if (cond_res_i > 1) { cs_log_error("invalid condition on line %d", lineno); goto out; }
      goto yyc_init;
    }
yy127:
		yych = *++YYCURSOR;
		if (yych == '=') goto yy131;
yy128:
		t1 = yyt1;
		t2 = YYCURSOR;
		{
      char op1 = *t1;
      if (t2-t1 == 2) {
        switch (op1) {
          case '<': op1 = 'L'; break; // <=
          case '>': op1 = 'G'; break; // >=
        }
      }
      while (cond_op_i && sy_op_peek() != '(' && ((sy_op_precedence(sy_op_peek()) > sy_op_precedence(*t1)) || (sy_op_precedence(sy_op_peek()) == sy_op_precedence(*t1) && sy_op_is_left_assoc(*t1)))) {
        SY_APPLY_OP_FROM_STACK();
      }
      sy_op_push(*t1);
      goto yyc_cond;
    }
yy129:
		yych = *++YYCURSOR;
		if (yych == '=') goto yy131;
		goto yy115;
yy130:
		yych = *++YYCURSOR;
		if (yych != '|') goto yy115;
yy131:
		++YYCURSOR;
		goto yy128;
	}
/* *********************************** */
yyc_rule:
	{
		static const unsigned char yybm[] = {
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  88,  16,  64,  64,   0,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 88,  64,   0,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  64,  64,  64,  64,  64,  64, 
			 64,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  64, 128,  64,  64,  96, 
			 64,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  96,  96,  96,  96,  96, 
			 96,  96,  96,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
			 64,  64,  64,  64,  64,  64,  64,  64, 
		};
		yych = *YYCURSOR;
		if (yybm[0+yych] & 8) {
			goto yy136;
		}
		if (yych <= '\r') {
			if (yych <= 0x08) goto yy134;
			if (yych <= '\n') goto yy139;
			if (yych >= '\r') goto yy140;
		} else {
			if (yych <= '.') {
				if (yych >= '.') goto yy141;
			} else {
				if (yych == ';') goto yy142;
			}
		}
yy134:
		++YYCURSOR;
yy135:
		{ goto end_of_rule; }
yy136:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 8) {
			goto yy136;
		}
		{  goto yyc_rule; }
yy139:
		yyaccept = 0;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych <= '\r') {
			if (yych <= 0x08) goto yy135;
			if (yych <= '\n') {
				yyt1 = YYCURSOR;
				goto yy144;
			}
			if (yych <= '\f') goto yy135;
			yyt1 = YYCURSOR;
			goto yy147;
		} else {
			if (yych <= ' ') {
				if (yych <= 0x1F) goto yy135;
				yyt1 = YYCURSOR;
				goto yy144;
			} else {
				if (yych == '.') {
					yyt1 = YYCURSOR;
					goto yy148;
				}
				goto yy135;
			}
		}
yy140:
		yyaccept = 0;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yych == '\n') goto yy150;
		goto yy135;
yy141:
		yych = *++YYCURSOR;
		if (yych <= '^') {
			if (yych <= '@') goto yy135;
			if (yych <= 'Z') {
				yyt1 = YYCURSOR;
				goto yy151;
			}
			goto yy135;
		} else {
			if (yych == '`') goto yy135;
			if (yych <= 'z') {
				yyt1 = YYCURSOR;
				goto yy151;
			}
			goto yy135;
		}
yy142:
		++YYCURSOR;
		{
      end_of_rule:
      if (!cond_res[0]) { goto yyc_init; }
      parsed_rule[kw_i++] = (sp_parsed_keyword){0, 0, 0, 0, 0, 0};
      if (process_rule && process_rule(parsed_rule) != SUCCESS) {
        goto out;
      }
      goto yyc_init;
    }
yy144:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 16) {
			goto yy144;
		}
		if (yych == '\r') goto yy147;
		if (yych == '.') goto yy148;
yy146:
		YYCURSOR = YYMARKER;
		if (yyaccept <= 1) {
			if (yyaccept == 0) {
				goto yy135;
			} else {
				yyt3 = yyt4 = NULL;
				yyt2 = YYCURSOR;
				goto yy153;
			}
		} else {
			goto yy153;
		}
yy147:
		yych = *++YYCURSOR;
		if (yych == '\n') goto yy144;
		goto yy146;
yy148:
		++YYCURSOR;
		YYCURSOR = yyt1;
		{  lineno++; goto yyc_rule; }
yy150:
		yych = *++YYCURSOR;
		if (yych <= '\r') {
			if (yych <= 0x08) goto yy146;
			if (yych <= '\n') {
				yyt1 = YYCURSOR;
				goto yy144;
			}
			if (yych <= '\f') goto yy146;
			yyt1 = YYCURSOR;
			goto yy147;
		} else {
			if (yych <= ' ') {
				if (yych <= 0x1F) goto yy146;
				yyt1 = YYCURSOR;
				goto yy144;
			} else {
				if (yych == '.') {
					yyt1 = YYCURSOR;
					goto yy148;
				}
				goto yy146;
			}
		}
yy151:
		yyaccept = 1;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yybm[0+yych] & 32) {
			goto yy151;
		}
		if (yych == '(') {
			yyt2 = YYCURSOR;
			goto yy154;
		}
		yyt3 = yyt4 = NULL;
		yyt2 = YYCURSOR;
yy153:
		t1 = yyt1;
		t2 = yyt2;
		t3 = yyt3;
		t4 = yyt4;
		{
      if (!cond_res[0]) { goto yyc_rule; }
      if (kw_i == max_keywords) {
        cs_log_error("Too many keywords in rule (more than %d) on line %d", max_keywords, lineno);
        goto out;
      }
      sp_parsed_keyword kw = {.kw = (char*)t1, .kwlen = t2-t1, .arg = (char*)t3, .arglen = t4-t3, .argtype = SP_ARGTYPE_UNKNOWN, .lineno = lineno};
      if (t3 && t4) {
        if (t3 == t4) {
          kw.argtype = SP_ARGTYPE_EMPTY;
        } else if (t4-t3 >= 2 && *t3 == '"') {
          kw.arg = (char*)t3 + 1;
          kw.arglen = t4 - t3 - 2;
          kw.argtype = SP_ARGTYPE_STR;
        } else {
          zend_string *tmp = zend_hash_str_find_ptr(&vars, t3, t4-t3);
          if (!tmp) {
            cs_log_error("unknown variable on line %d", lineno);
            goto out;
          }
          kw.arg = ZSTR_VAL(tmp);
          kw.arglen = ZSTR_LEN(tmp);
          kw.argtype = SP_ARGTYPE_STR;
        }
      } else {
        kw.argtype = SP_ARGTYPE_NONE;
      }
      parsed_rule[kw_i++] = kw;
      goto yyc_rule;
    }
yy154:
		yych = *++YYCURSOR;
		if (yych <= '@') {
			if (yych <= '"') {
				if (yych <= '!') goto yy146;
				yyt3 = YYCURSOR;
			} else {
				if (yych == ')') {
					yyt3 = yyt4 = YYCURSOR;
					goto yy157;
				}
				goto yy146;
			}
		} else {
			if (yych <= '_') {
				if (yych <= 'Z') {
					yyt3 = YYCURSOR;
					goto yy158;
				}
				if (yych <= '^') goto yy146;
				yyt3 = YYCURSOR;
				goto yy158;
			} else {
				if (yych <= '`') goto yy146;
				if (yych <= 'z') {
					yyt3 = YYCURSOR;
					goto yy158;
				}
				goto yy146;
			}
		}
yy155:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 64) {
			goto yy155;
		}
		if (yych <= '\r') goto yy146;
		if (yych <= '"') goto yy160;
		goto yy161;
yy157:
		++YYCURSOR;
		goto yy153;
yy158:
		yych = *++YYCURSOR;
		if (yych <= '@') {
			if (yych <= ')') {
				if (yych <= '(') goto yy146;
				yyt4 = YYCURSOR;
				goto yy157;
			} else {
				if (yych <= '/') goto yy146;
				if (yych <= '9') goto yy158;
				goto yy146;
			}
		} else {
			if (yych <= '_') {
				if (yych <= 'Z') goto yy158;
				if (yych <= '^') goto yy146;
				goto yy158;
			} else {
				if (yych <= '`') goto yy146;
				if (yych <= 'z') goto yy158;
				goto yy146;
			}
		}
yy160:
		yych = *++YYCURSOR;
		if (yych == ')') {
			yyt4 = YYCURSOR;
			goto yy157;
		}
		goto yy146;
yy161:
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 64) {
			goto yy155;
		}
		if (yych <= '\r') goto yy146;
		if (yych >= '#') goto yy161;
		yych = *++YYCURSOR;
		if (yybm[0+yych] & 128) {
			goto yy161;
		}
		if (yych <= '\r') {
			if (yych == '\n') goto yy146;
			if (yych <= '\f') goto yy155;
			goto yy146;
		} else {
			if (yych <= '"') {
				if (yych <= '!') goto yy155;
				goto yy160;
			} else {
				if (yych != ')') goto yy155;
				yyt4 = YYCURSOR;
			}
		}
		yyaccept = 2;
		yych = *(YYMARKER = ++YYCURSOR);
		if (yybm[0+yych] & 64) {
			goto yy155;
		}
		if (yych <= '\r') goto yy153;
		if (yych <= '"') goto yy160;
		goto yy161;
	}
}

out:
  zend_hash_destroy(&vars);
  return ret;
}