/*
 * bug1 -- h_int8() issues
 *
 * This parser passes all tests if the backend is PB_MIN but fails if
 * the backend is PB_LALR.
 *
 * See defines for BKEND below.
 */

#include <glib.h>

#include <hammer/hammer.h>
#include <hammer/glue.h>
#include <hammer/test_suite.h>

#define BKEND PB_LALR
//#define BKEND PB_MIN

const HParser *pp; /* the parser */

uint8_t input[1024]; /* the input is a buff of bytes */

/* The Parser */
void init_parser() {
	/* parse a single int8 between the values of -1 and 1 */
	H_RULE(int8range, h_int_range(h_uint8(), -1, 1));
	pp = h_sequence(int8range,h_end_p(),NULL);
}

/* Passing Tests: -1,0,+1 */
static void test_m1() {
	input[0] = 0xFF; // -1
	g_check_parse_ok(pp, BKEND, input, 1);
}

static void test_zero() {
	input[0] = 0x00; // 0
	g_check_parse_ok(pp, BKEND, input, 1);
}

static void test_p1() {
	input[0] = 0x01; // +1
	g_check_parse_ok(pp, BKEND, input, 1);
}

/* Failing Tests: -2,+2,+1+1 */
static void test_m2() {
	input[0] = 0xFE; // -2
	g_check_parse_failed(pp, BKEND, input, 1);
}

static void test_p2() {
	input[0] = 0x02; // +2
	g_check_parse_failed(pp, BKEND, input, 1);
}

static void test_2val() {
	input[0] = 0x01; // +1
	input[1] = 0x01; // +1
	g_check_parse_failed(pp, BKEND, input, 2);
}


void register_bug_tests() {
	g_test_add_func("/pass/neg1",test_m1);
	g_test_add_func("/pass/zero",test_zero);
	g_test_add_func("/pass/pos1",test_p1);
	g_test_add_func("/fail/neg2",test_m2);
	g_test_add_func("/fail/pos2",test_p2);
	g_test_add_func("/fail/2val",test_2val);
}

int main(int argc, char *argv[]) {
	init_parser();
	g_test_init(&argc,&argv,NULL);
	register_bug_tests();
	return g_test_run();
}