/*
 * Copyright (C) 2003, 2004, 2005 Filip Pizlo. All rights reserved.
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 
 * THIS SOFTWARE IS PROVIDED BY FILIP PIZLO ``AS IS'' AND ANY
 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL FILIP PIZLO OR
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
 */

#include "tsf_internal.h"

/* FIXME: primitive type should really just all be instances of each other. */
tsf_bool_t tsf_primitive_type_kind_instanceof(tsf_type_kind_t one,
                                              tsf_type_kind_t two) {
    return (tsf_primitive_type_kind_lower_bound(one)
            >= tsf_primitive_type_kind_lower_bound(two))
	&& (tsf_primitive_type_kind_upper_bound(one)
            <= tsf_primitive_type_kind_upper_bound(two))
	&& (tsf_primitive_type_kind_precision(one)
            <= tsf_primitive_type_kind_precision(two));
}

#define test_type_kind(kind_code) \
    if (lower_bound >= tsf_primitive_type_kind_lower_bound(kind_code) && \
	upper_bound <= tsf_primitive_type_kind_upper_bound(kind_code) && \
	precision <= tsf_primitive_type_kind_precision(kind_code)) { \
	return kind_code; \
    }

tsf_type_kind_t tsf_primitive_type_kind_for_spec(int32_t lower_bound,
						 int32_t upper_bound,
						 int32_t precision) {
    test_type_kind(TSF_TK_INT8);
    test_type_kind(TSF_TK_UINT8);
    test_type_kind(TSF_TK_INT16);
    test_type_kind(TSF_TK_UINT16);
    test_type_kind(TSF_TK_INT32);
    test_type_kind(TSF_TK_UINT32);
    test_type_kind(TSF_TK_INT64);
    test_type_kind(TSF_TK_UINT64);
    test_type_kind(TSF_TK_FLOAT);
    return TSF_TK_DOUBLE;
}

tsf_type_kind_t tsf_primitive_type_kind_mix(tsf_type_kind_t one,
					    tsf_type_kind_t two) {
    return tsf_primitive_type_kind_for_spec
	(tsf_min(tsf_primitive_type_kind_lower_bound(one),
		 tsf_primitive_type_kind_lower_bound(two)),
	 tsf_max(tsf_primitive_type_kind_upper_bound(one),
		 tsf_primitive_type_kind_upper_bound(two)),
	 tsf_max(tsf_primitive_type_kind_precision(one),
		 tsf_primitive_type_kind_precision(two)));
}