/*
    		 Crown Copyright (c) 1996

    This TenDRA(r) Computer Program is subject to Copyright
    owned by the United Kingdom Secretary of State for Defence
    acting through the Defence Evaluation and Research Agency
    (DERA).  It is made available to Recipients with a
    royalty-free licence for its use, reproduction, transfer
    to other parties and amendment for any purpose not excluding
    product development provided that any such use et cetera
    shall be deemed to be acceptance of the following conditions:-

        (1) Its Recipients shall ensure that this Notice is
        reproduced upon any copies or amended versions of it;

        (2) Any amended version of it shall be clearly marked to
        show both the nature of and the organisation responsible
        for the relevant amendment or amendments;

        (3) Its onward transfer from a recipient to another
        party shall be deemed to be that party's acceptance of
        these conditions;

        (4) DERA gives no warranty or assurance as to its
        quality or suitability for any purpose and DERA accepts
        no liability whatsoever in relation to any use to which
        it may be put.
*/
/*
			    VERSION INFORMATION
			    ===================

--------------------------------------------------------------------------
$Header: /u/g/release/CVSROOT/Source/src/installers/680x0/common/stab_types.c,v 1.1.1.1 1998/01/17 15:55:50 release Exp $
--------------------------------------------------------------------------
$Log: stab_types.c,v $
 * Revision 1.1.1.1  1998/01/17  15:55:50  release
 * First version to be checked into rolling release.
 *
Revision 1.1.1.1  1997/10/13 12:43:01  ma
First version.

Revision 1.1.1.1  1997/03/14 07:50:22  ma
Imported from DRA

 * Revision 1.1.1.1  1996/09/20  10:57:01  john
 *
 * Revision 1.2  1996/07/05  14:31:36  john
 * Removed copyright message
 *
 * Revision 1.1  95/03/08  16:46:11  ra
 * Added missing files.
 *
 * Revision 1.3  94/02/21  16:08:10  16:08:10  ra (Robert Andrews)
 * Clear up a couple of long-int confusions.
 *
 * Revision 1.2  93/04/19  13:38:52  13:38:52  ra (Robert Andrews)
 * struct_fields and union_fields have been renamed diag_field.
 *
 * Revision 1.1  93/02/22  17:17:11  17:17:11  ra (Robert Andrews)
 * Initial revision
 *
--------------------------------------------------------------------------
*/


#include "config.h"
#include "common_types.h"
#include "expmacs.h"
#include "externs.h"
#include "instrs.h"
#include "mach.h"
#include "mach_ins.h"
#include "mach_op.h"
#include "output.h"
#include "shapemacs.h"
#include "utility.h"
#include "xdb_output.h"
#include "stab_types.h"


/*
    CREATE A STABS INSTRUCTION
*/

void make_stabs
    PROTO_N ( ( s, a, b, op ) )
    PROTO_T ( char *s X int a X long b X mach_op *op )
{
    mach_op *p = make_extern_data ( s, 0 ) ;
    p->of = make_int_data ( ( long ) a ) ;
    p->of->of = make_int_data ( 0 ) ;
    p->of->of->of = make_int_data ( b ) ;
    p->of->of->of->of = ( op ? op : make_int_data ( 0 ) ) ;
    make_instr ( m_stabs, p, null, 0 ) ;
    return ;
}


/*
    CREATE A STABN INSTRUCTION
*/

void make_stabn
    PROTO_N ( ( a, lab ) )
    PROTO_T ( int a X long lab )
{
    mach_op *p = make_int_data ( ( long ) a ) ;
    p->of = make_int_data ( 0 ) ;
    p->of->of = make_int_data ( 0 ) ;
    p->of->of->of = make_lab_data ( lab, 0 ) ;
    make_instr ( m_stabn, p, null, 0 ) ;
    return ;
}


/*
    TYPE USED FOR BUILDING STAB TYPES
*/

#define TSIZE 100

typedef struct page_tag {
    int index ;
    char text [ TSIZE ] ;
    struct page_tag *next ;
} page ;


/*
    LIST OF FREE PAGES
*/

static page *free_pages = null ;


/*
    CREATE A NEW PAGE
*/

static page *new_page
    PROTO_Z ()
{
    page *p = free_pages ;
    if ( p == null ) {
	p = alloc_nof ( page, 1 ) ;
    } else {
	free_pages = p->next ;
    }
    p->index = 0 ;
    p->next = null ;
    return ( p ) ;
}


/*
    ADD A STRING TO A PAGE
*/

static page *sprint_string
    PROTO_N ( ( p, s ) )
    PROTO_T ( page *p X char *s )
{
    int i = p->index ;
    for ( ; *s ; s++ ) {
	if ( i >= TSIZE ) {
	    p->index = TSIZE ;
	    p->next = new_page () ;
	    p = p->next ;
	    i = 0 ;
	}
	p->text [i] = *s ;
	i++ ;
    }
    p->index = i ;
    return ( p ) ;
}


/*
    ADD A NUMBER TO A PAGE
*/

static page *sprint_number
    PROTO_N ( ( p, n ) )
    PROTO_T ( page *p X long n )
{
    char buff [100] ;
    ( void ) sprintf ( buff, "%ld", n ) ;
    return ( sprint_string ( p, buff ) ) ;
}


/*
    CREATE A NEW STAB TYPE
*/

static char *new_stab_type
    PROTO_N ( ( dt ) )
    PROTO_T ( diag_type dt )
{
    static long next_stab_type = 16 ;
    char *res = alloc_nof ( char, 8 ) ;
    sprintf ( res, "%ld", next_stab_type++ ) ;
    if ( dt ) dt->been_outed = ( OUTPUT_REC ) res ;
    return ( res ) ;
}


/*
    SIZE OF LAST TYPE ANALYSED
*/

static long last_type_sz = 0 ;


/*
    INDEX TO SIMPLE STAB TYPES
*/

#define STAB_SCHAR	0
#define STAB_UCHAR	1
#define STAB_SWORD	2
#define STAB_UWORD	3
#define STAB_SLONG	4
#define STAB_ULONG	5
#define STAB_FLOAT	6
#define STAB_DOUBLE	7
#define STAB_LDOUBLE	8
#define STAB_VOID	9
#define STAB_PTR	10
#define STAB_COMPLEX	-1


/*
    TABLE OF SIMPLE STAB TYPES
*/

static char *stab_tab [] = {
    "2", "11", "6", "8", "1", "4", "12", "13", "14", "15",
    null, null, null, null, null, null, null, null, null, null
} ;


/*
    TEST IF A TYPE IS SIMPLE
*/

static int test_type
    PROTO_N ( ( dt ) )
    PROTO_T ( diag_type dt )
{
    switch ( dt->key ) {

	case DIAG_TYPE_FLOAT : {
	    shape sha = f_floating ( dt->data.f_var ) ;
	    last_type_sz = shape_size ( sha ) ;
	    if ( name ( sha ) == shrealhd ) return ( STAB_FLOAT ) ;
	    if ( name ( sha ) == realhd ) return ( STAB_DOUBLE ) ;
	    return ( STAB_LDOUBLE ) ;
	}

	case DIAG_TYPE_VARIETY : {
	    shape sha = f_integer ( dt->data.var ) ;
	    last_type_sz = shape_size ( sha ) ;
	    switch ( name ( sha ) ) {
		case scharhd : return ( STAB_SCHAR ) ;
		case swordhd : return ( STAB_SWORD ) ;
		case slonghd : return ( STAB_SLONG ) ;
		case ucharhd : return ( STAB_UCHAR ) ;
		case uwordhd : return ( STAB_UWORD ) ;
		case ulonghd : return ( STAB_ULONG ) ;
	    }
	    break ;
	}

	case DIAG_TYPE_NULL : {
	    last_type_sz = 0 ;
	    return ( STAB_VOID ) ;
	}

	default : {
	    break ;
	}
    }
    return ( STAB_COMPLEX ) ;
}


/*
    BUILD UP A STAB TYPE IN A BUFFER
*/

static page *build_stab_type
    PROTO_N ( ( dt, ptr ) )
    PROTO_T ( diag_type dt X page *ptr )
{
    switch ( dt->key ) {

	case DIAG_TYPE_FLOAT :
	case DIAG_TYPE_NULL :
	case DIAG_TYPE_VARIETY : {
	    /* Simple types */
	    int t = test_type ( dt ) ;
	    ptr = sprint_string ( ptr, stab_tab [t] ) ;
	    break ;
	}

	case DIAG_TYPE_ARRAY : {
	    diag_type dtl = dt->data.array.element_type ;
	    long lo = no ( dt->data.array.lower_b ) ;
	    long hi = no ( dt->data.array.upper_b ) ;
	    char *stl = analyse_stab_type ( dtl, null, null ) ;
	    ptr = sprint_string ( ptr, new_stab_type ( dt ) ) ;
	    ptr = sprint_string ( ptr, "=ar1;" ) ;
	    ptr = sprint_number ( ptr, lo ) ;
	    ptr = sprint_string ( ptr, ";" ) ;
	    ptr = sprint_number ( ptr, hi ) ;
	    ptr = sprint_string ( ptr, ";" ) ;
	    ptr = sprint_string ( ptr, stl ) ;
	    last_type_sz *= ( hi - lo + 1 ) ;
	    break ;
	}

	case DIAG_TYPE_BITFIELD : {
	    long sz = dt->data.bitfield.no_of_bits.nat_val.small_nat ;
	    ptr = sprint_string ( ptr, "1" ) ;
	    last_type_sz = sz ;
	    break ;
	}

	case DIAG_TYPE_ENUM : {
	    /* Not yet supported */
	    ptr = sprint_string ( ptr, "1" ) ;
	    last_type_sz = 32 ;
	    break ;
	}

	case DIAG_TYPE_LOC : {
	    diag_type dtl = dt->data.loc.object ;
	    ptr = build_stab_type ( dtl, ptr ) ;
	    break ;
	}

	case DIAG_TYPE_PROC : {
	    diag_type dtl = dt->data.proc.result_type ;
	    char *stl = analyse_stab_type ( dtl, null, null ) ;
	    ptr = sprint_string ( ptr, new_stab_type ( dt ) ) ;
	    ptr = sprint_string ( ptr, "=*" ) ;
	    ptr = sprint_string ( ptr, new_stab_type ( null ) ) ;
	    ptr = sprint_string ( ptr, "=f" ) ;
	    ptr = sprint_string ( ptr, stl ) ;
	    last_type_sz = 32 ;
	    break ;
	}

	case DIAG_TYPE_PTR : {
	    diag_type dtl = dt->data.ptr.object ;
	    int t = test_type ( dtl ) ;
	    if ( t != STAB_COMPLEX ) {
		char *st = stab_tab [ STAB_PTR + t ] ;
		if ( st ) {
		    ptr = sprint_string ( ptr, st ) ;
		} else {
		    st = new_stab_type ( null ) ;
		    stab_tab [ STAB_PTR + t ] = st ;
		    ptr = sprint_string ( ptr, st ) ;
		    ptr = sprint_string ( ptr, "=*" ) ;
		    ptr = sprint_string ( ptr, stab_tab [t] ) ;
		}
	    } else {
		char *stl = analyse_stab_type ( dtl, null, null ) ;
		ptr = sprint_string ( ptr, new_stab_type ( dt ) ) ;
		ptr = sprint_string ( ptr, "=*" ) ;
		ptr = sprint_string ( ptr, stl ) ;
	    }
	    last_type_sz = 32 ;
	    break ;
	}

	case DIAG_TYPE_STRUCT : {
	    char *nm = dt->data.t_struct.nme.ints.chars ;
	    if ( *nm ) {
		char *res ;
		dt->data.t_struct.nme.ints.chars = "" ;
		res = analyse_stab_type ( dt, nm, "T" ) ;
		dt->data.t_struct.nme.ints.chars = nm ;
		make_stabs ( res, 128, L0, null ) ;
		res = ( char * ) dt->been_outed ;
		ptr = sprint_string ( ptr, res ) ;
	    } else {
		shape sha = dt->data.t_struct.tdf_shape ;
		long sz = shape_size ( sha ) ;
#if 0
		struct_fields *fld = dt->data.t_struct.fields->array ;
#else
		diag_field *fld = dt->data.t_struct.fields->array ;
#endif
		long i, n = ( long ) dt->data.t_struct.fields->lastused ;

		ptr = sprint_string ( ptr, new_stab_type ( dt ) ) ;
		ptr = sprint_string ( ptr, "=s" ) ;
		ptr = sprint_number ( ptr, sz / 8 ) ;

		/* Deal with structure fields */
		for ( i = n - 1 ; i >= 0 ; i-- ) {
		    char *fnm = fld [i]->field_name.ints.chars ;
		    long off = no ( fld [i]->where ) ;
		    diag_type dtl = fld [i]->field_type ;
		    char *q = analyse_stab_type ( dtl, null, null ) ;
		    ptr = sprint_string ( ptr, fnm ) ;
		    ptr = sprint_string ( ptr, ":" ) ;
		    ptr = sprint_string ( ptr, q ) ;
		    ptr = sprint_string ( ptr, "," ) ;
		    ptr = sprint_number ( ptr, off ) ;
		    ptr = sprint_string ( ptr, "," ) ;
		    ptr = sprint_number ( ptr, last_type_sz ) ;
		    ptr = sprint_string ( ptr, ";" ) ;
		}
		ptr = sprint_string ( ptr, ";" ) ;
		last_type_sz = sz ;
	    }
	    break ;
	}

	case DIAG_TYPE_UNION : {
	    char *nm = dt->data.t_union.nme.ints.chars ;
	    if ( *nm ) {
		char *res ;
		dt->data.t_struct.nme.ints.chars = "" ;
		res = analyse_stab_type ( dt, nm, "T" ) ;
		dt->data.t_struct.nme.ints.chars = nm ;
		make_stabs ( res, 128, L0, null ) ;
		res = ( char * ) dt->been_outed ;
		ptr = sprint_string ( ptr, res ) ;
	    } else {
		shape sha = dt->data.t_union.tdf_shape ;
		long sz = shape_size ( sha ) ;
#if 0
		union_fields *fld = dt->data.t_union.fields->array ;
#else
		diag_field *fld = dt->data.t_union.fields->array ;
#endif
		long i, n = ( long ) dt->data.t_union.fields->lastused ;

		ptr = sprint_string ( ptr, new_stab_type ( dt ) ) ;
		ptr = sprint_string ( ptr, "=u" ) ;
		ptr = sprint_number ( ptr, sz / 8 ) ;

		/* Deal with union fields */
		for ( i = n - 1 ; i >= 0 ; i-- ) {
		    char *fnm = fld [i]->field_name.ints.chars ;
		    diag_type dtl = fld [i]->field_type ;
		    char *q = analyse_stab_type ( dtl, null, null ) ;
		    ptr = sprint_string ( ptr, fnm ) ;
		    ptr = sprint_string ( ptr, ":" ) ;
		    ptr = sprint_string ( ptr, q ) ;
		    ptr = sprint_string ( ptr, ",0," ) ;
		    ptr = sprint_number ( ptr, last_type_sz ) ;
		    ptr = sprint_string ( ptr, ";" ) ;
		}
		ptr = sprint_string ( ptr, ";" ) ;
		last_type_sz = sz ;
	    }
	    break ;
	}

	default : {
	    ptr = sprint_string ( ptr, "15" ) ;
	    last_type_sz = 0 ;
	    break ;
	}
    }
    return ( ptr ) ;
}


/*
    FIND A STAB TYPE
*/

char *analyse_stab_type
    PROTO_N ( ( dt, nm, cl ) )
    PROTO_T ( diag_type dt X char *nm X char *cl )
{
    int n = 0 ;
    page *ptr, *p ;
    char *res = ( char * ) dt->been_outed ;
    if ( res && nm == null && cl == null ) return ( res ) ;
    p = ptr = new_page () ;
    if ( nm ) {
	p = sprint_string ( p, "\"" ) ;
	p = sprint_string ( p, nm ) ;
    }
    if ( cl ) {
	p = sprint_string ( p, ":" ) ;
	p = sprint_string ( p, cl ) ;
    }
    if ( res ) {
	p = sprint_string ( p, res ) ;
    } else {
	p = build_stab_type ( dt, p ) ;
    }
    if ( nm ) p = sprint_string ( p, "\"" ) ;

    /* Copy accumulated string */
    for ( p = ptr ; p ; p = p->next ) n += p->index ;
    res = alloc_nof ( char, n + 1 ) ;
    n = 0 ;
    for ( p = ptr ; p ; p = p->next ) {
	strncpy ( res + n, p->text, p->index ) ;
	n += p->index ;
    }
    res [n] = 0 ;

    /* Free pages */
    p =  ptr ;
    while ( p->next ) p = p->next ;
    p->next = free_pages ;
    free_pages = ptr ;
    return ( res ) ;
}


/*
    INITIALIZE BASIC STAB TYPES
*/

void init_stab_types
    PROTO_Z ()
{
    static char *stab_types [] = {
	"\"int:t1=r1;-2147483648;2147483647;\"",
	"\"char:t2=r2;0;127;\"",
	"\"long int:t3=r1;-2147483648;2147483647;\"",
	"\"unsigned int:t4=r1;0;-1;\"",
	"\"long unsigned int:t5=r1;0;-1;\"",
	"\"short int:t6=r1;-32768;32767;\"",
	"\"long long int:t7=r1;0;-1;\"",
	"\"short unsigned int:t8=r1;0;65535;\"",
	"\"long long unsigned int:t9=r1;0;-1;\"",
	"\"signed char:t10=r1;-128;127;\"",
	"\"unsigned char:t11=r1;0;255;\"",
	"\"float:t12=r1;4;0;\"",
	"\"double:t13=r1;8;0;\"",
	"\"long double:t14=r1;8;0;\"",
	"\"void:t15=15\""
    } ;
    int i ;
    for ( i = 0 ; i < 15 ; i++ ) {
	make_stabs ( stab_types [i], 128, L0, null ) ;
    }
    return ;
}
