/**

 * $Id$

 *

 * gendec instruction definitions parser

 *

 * Copyright (c) 2005 Nathan Keynes.

 *

 * This program is free software; you can redistribute it and/or modify

 * it under the terms of the GNU General Public License as published by

 * the Free Software Foundation; either version 2 of the License, or

 * (at your option) any later version.

 *

 * This program is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

 * GNU General Public License for more details.

 */

#include <stdlib.h>

#include <stdio.h>

#include <string.h>

#include <ctype.h>

#include "tools/gendec.h"

#define CONSUME_CHAR(x) if( **str != x ) { fprintf( stderr, "Unexpected input character '%c', expected '%c' at line %d\n", **str, x, yyline ); return -1; } else { (*str)++; }

static int yyline;

struct rule *new_rule() {

    struct rule *rule = malloc( sizeof( struct rule ) );

    memset( rule, 0, sizeof( struct rule ) );

    return rule;

}

int parse_registers_block( char *buf, int buflen, FILE *f );

int parse_rule( char **str, struct rule *rule );

int parse_bitstring( char **str, struct rule *rule );

int parse_bitoperand( char **str, struct rule *rule );

int parse_integer( char **str );

int parse_rule_format( char **str, struct rule *rule );

int parse_operand_uses( char **str, struct rule *rule );

struct ruleset *parse_ruleset_file( FILE *f ) 

{

    struct ruleset *rules = malloc( sizeof(struct ruleset ) );

    char buf[512];

    rules->rule_count = 0;

    yyline = 0;

    while( fgets( buf, sizeof(buf), f ) != NULL ) {

        yyline++;

        if( strncasecmp(buf, "registers", 9) == 0 ) {

            parse_registers_block(buf, sizeof(buf), f);

        } else if( buf[0] != '\0' && buf[0] != '#' && buf[0] != '\n' ) {

            struct rule *rule;

            char *p = buf;

            rule = new_rule();

            if( parse_rule( &p, rule ) != 0 ) {

                free( rule );

            } else {

                rules->rules[rules->rule_count++] = rule;

            }

        }

    }

    return rules;

}

int parse_registers_block( char *buf, int buflen, FILE *f ) {

    do {

        if( strchr(buf, '}') != NULL ) {

            break;

        }

    } while( fgets( buf, buflen, f ) != NULL );

    return 0;

}

/**

 * Parse a single complete rule

 * @return 0 on success, non-zero on failure

 */

int parse_rule( char **str, struct rule *rule ) 

{

    if( parse_bitstring( str, rule ) != 0 ) {

        return -1;

    }

    /* consume whitespace in between */

    while( isspace(**str) ) (*str)++;

    if( **str == '\0' ) {

        fprintf( stderr, "Unexpected end of file in rule on line %d\n", yyline );

        return -1;

    }

    int result = parse_rule_format( str, rule );

    if( result == 0 ) {

        /* Reverse operand bit shifts */

        int j;

        for( j=0; j<rule->operand_count; j++ ) {

            rule->operands[j].bit_shift = 

                rule->bit_count - rule->operands[j].bit_shift - rule->operands[j].bit_count;

        }

        if( **str == '!' ) {

            (*str)++;

            result = parse_operand_uses( str, rule );

        }

    }

    return 0;

}

int parse_bitstring( char **str, struct rule *rule )

{

    while( !isspace(**str) ) {

        int ch = **str;

        (*str)++;

        switch( ch ) {

        case '0':

            rule->bits = rule->bits << 1;

            rule->mask = (rule->mask << 1) | 1;

            rule->bit_count++;

            break;

        case '1':

            rule->bits = (rule->bits << 1) | 1;

            rule->mask = (rule->mask << 1) | 1;

            rule->bit_count++;

            break;

        case '(':

            if( parse_bitoperand( str, rule ) != 0 ) {

                return -1 ;

            }

            break;

        default:

            (*str)--;

            fprintf( stderr, "Unexpected character '%c' in bitstring at line %d\n", ch, yyline );

            return -1;

        }

    }

    return 0;

}

int parse_bitoperand( char **str, struct rule *rule )

{

    char *p = rule->operands[rule->operand_count].name;

    if( rule->operand_count == MAX_OPERANDS ) {

        fprintf( stderr, "Maximum operands/rule exceeded (%d) at line %d\n", MAX_OPERANDS, yyline );

        return -1;

    }

    while( isalnum(**str) || **str == '_' ) {

        *p++ = *(*str)++;

    }

    *p = '\0';

    CONSUME_CHAR(':');

    int size = parse_integer( str );

    if( size == -1 ) {

        return -1; 

    }

    rule->operands[rule->operand_count].bit_count = size;

    if( **str == 's' || **str == 'S' ) {

        (*str)++;

        rule->operands[rule->operand_count].is_signed = 1;

    } else if( **str == 'u' || **str == 'U' ) {

        (*str)++;

        rule->operands[rule->operand_count].is_signed = 0;

    }

    if( **str == '<' ) {

        (*str)++;

        CONSUME_CHAR('<');

        int lsl = parse_integer(str);

        if( lsl == -1 ) {

            return -1;

        }

        rule->operands[rule->operand_count].left_shift = lsl;

    }

    CONSUME_CHAR(')');

    rule->operands[rule->operand_count].bit_shift = rule->bit_count;

    rule->bit_count += size;

    rule->bits = rule->bits << size;

    rule->mask = rule->mask << size;

    rule->operand_count++;

    return 0;

}

int parse_integer( char **str )

{

    uint32_t val = 0;

    if( !isdigit(**str) ) {

        fprintf(stderr, "Expected digit (0-9) but was '%c' at line %d\n", **str, yyline );

        return -1;

    }

    do {

        val = val * 10 + (**str - '0');

        (*str)++;

    } while( isdigit(**str) );

    return val;

}

int parse_rule_format( char **str, struct rule *rule )

{

    char tmp[64];

    char *p = tmp;

    while( **str != '\n' && **str != '\0' && **str != '!' ) {

        *p++ = *(*str)++;

    }

    *p = '\0';

    strcpy( rule->format, tmp );

    return 0;

}

int parse_operand_uses( char **str, struct rule *rule )

{

    return 0;

}

void dump_ruleset( struct ruleset *rules, FILE *f ) 

{

    int i, j;

    fprintf( f, "Rulset: %d rules\n", rules->rule_count );

    for( i=0; i<rules->rule_count; i++ ) {

        struct rule *rule = rules->rules[i];

        fprintf( f, "Match: %08X/%08X %s: ", rule->bits, rule->mask, rule->format );

        for( j=0; j<rule->operand_count; j++ ) {

            fprintf( f, "%s = (%s)(ir>>%d)&0x%X ", rule->operands[j].name,

                    rule->operands[j].is_signed ? "signed" : "unsigned", 

                            rule->operands[j].bit_shift,

                            (1<<rule->operands[j].bit_count)-1 );

        }

        fprintf( f, "\n" );

    }

}

void dump_rulesubset( struct ruleset *rules, int ruleidx[], int rule_count, FILE *f )

{

    int i,j;

    for( i=0; i<rule_count; i++ ) {

        struct rule *rule = rules->rules[ruleidx[i]];

        fprintf( f, "Match: %08X/%08X %s: ", rule->bits, rule->mask, rule->format );

        for( j=0; j<rule->operand_count; j++ ) {

            fprintf( f, "%s = (%s)(ir>>%d)&0x%X ", rule->operands[j].name,

                    rule->operands[j].is_signed ? "signed" : "unsigned", 

                            rule->operands[j].bit_shift,

                            (1<<rule->operands[j].bit_count)-1 );

        }

        fprintf( f, "\n" );

    }

}