Rev 2 | Blame | Compare with Previous | Last modification | View Log | RSS feed
/*
* Copyright (c) 2002-2006 The TenDRA Project <http://www.tendra.org/>.
* 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.
* 3. Neither the name of The TenDRA Project nor the names of its contributors
* may be used to endorse or promote products derived from this software
* without specific, prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``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 THE COPYRIGHT HOLDERS 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.
*
* $Id$
*/
/*
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/xdb_types.c,v 1.1.1.1 1998/01/17 15:55:49 release Exp $
--------------------------------------------------------------------------
$Log: xdb_types.c,v $
* Revision 1.1.1.1 1998/01/17 15:55:49 release
* First version to be checked into rolling release.
*
Revision 1.1.1.1 1997/10/13 12:43:02 ma
First version.
Revision 1.1.1.1 1997/03/14 07:50:23 ma
Imported from DRA
* Revision 1.1.1.1 1996/09/20 10:57:02 john
*
* Revision 1.2 1996/07/05 14:36:42 john
* Fix to diagnostics
*
* Revision 1.1 95/03/08 16:46:33 ra
* Added missing files.
*
* Revision 1.4 94/02/21 16:09:42 16:09:42 ra (Robert Andrews)
* Put in a number of explicit casts.
*
* Revision 1.3 93/11/19 16:25:34 16:25:34 ra (Robert Andrews)
* Bitfields should have the correct size, not 32.
*
* Revision 1.2 93/04/19 13:40:05 13:40:05 ra (Robert Andrews)
* struct_fields and union_fields have been renamed diag_field.
*
* Revision 1.1 93/02/22 17:17:29 17:17:29 ra (Robert Andrews)
* Initial revision
*
--------------------------------------------------------------------------
*/
#include "config.h"
#include <time.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 "xdb_types.h"
#ifndef SEEK_SET
#define SEEK_SET 0
#endif
/*
GENERATE A UNIQUE IDENTIFIER
*/
static unsigned
unique_id(void)
{
static unsigned u = 0;
if (u == 0) {
time_t t = time((time_t *)NULL);
u = (unsigned)t;
}
return (u);
}
/*
CURRENT POSITIONS IN DIAGNOSTIC NAME TABLES
*/
static posn_t dtposn_local = LOCAL_POSN;
static posn_t dtposn_globl = GLOBL_POSN;
/*
OUTPUT A DIAGNOSTIC DIRECTIVE
*/
posn_t
out_dd(FILE *file, int n, int loc)
{
diag_directive *d = dd + n;
long sz = (diag_format == DIAG_XDB_NEW ? d->new_size : d->old_size);
posn_t p = (loc ? dtposn_local : dtposn_globl);
fprintf(file, "%s", instr_names[d->instr]);
if (loc) {
dtposn_local = p + sz;
} else {
dtposn_globl = p + sz;
}
return (p);
}
/*
CREATE A NEW TABLE POSITION
*/
static table_posn *
new_table_posn(posn_t n, long sz)
{
table_posn *p;
static int no_tp_free = 0;
static table_posn *tp_free;
if (no_tp_free == 0) {
no_tp_free = 20;
tp_free = alloc_nof(table_posn, no_tp_free);
}
p = tp_free++;
no_tp_free--;
p->is_lab = 0;
p->posn = n;
p->size = sz;
return (p);
}
/*
OUTPUT A TABLE POSITION
*/
void
out_posn(FILE *file, table_posn *p, int comma)
{
if (p->is_lab) {
fprintf(file, "LD%d",(int)p->posn);
} else {
fprintf(file, "0x%x",(unsigned int)p->posn);
}
fputc((comma ? ',' : '\n'), file);
return;
}
/*
GO TO A POSITION IN A FILE AND PRINT A TABLE POSITION
*/
void
fill_gap(FILE *file, long fp, posn_t t)
{
long fp_old = ftell(file);
if (fseek(file, fp, SEEK_SET) == -1) {
error("Internal file seek error");
return;
}
fprintf(file, "0x%x", (unsigned int)t);
if (fseek(file, fp_old, SEEK_SET) == -1) {
error("Internal file seek error");
}
return;
}
/*
CURRENT DIAGNOSTICS LABEL NUMBER
*/
static long diag_lab = 0;
/*
FIND THE TABLE POSITION OF A TDF SHAPE
*/
static table_posn *
analyse_diag_shape(FILE *file, shape sha)
{
posn_t t = NULL_POSN;
long sz = shape_size(sha);
switch (name(sha)) {
case scharhd:
t = CHAR_POSN + sz;
break;
case swordhd:
case slonghd:
t = SIGNED_POSN + sz;
break;
case ucharhd:
case uwordhd:
case ulonghd:
t = UNSIGNED_POSN + sz;
break;
case shrealhd:
case realhd:
case doublehd:
t = FLOATING_POSN + sz;
break;
}
return (new_table_posn(t, sz));
}
/*
FIND THE TABLE POSITION OF A DIAGNOSTIC TYPE
*/
table_posn *
analyse_diag_type(FILE *file, diag_type dt, int loc)
{
table_posn *res;
if (dt->been_outed) {
return ((table_posn *)dt->been_outed);
}
switch (dt->key) {
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);
table_posn *p = analyse_diag_type(file, dtl, loc);
long sz = (hi - lo + 1)*(p->size);
posn_t s, t = out_dd(file, xdb_subrange, loc);
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "0,0,");
}
fprintf(file, "%ld,%ld,0x%x,32\n", lo, hi,
(unsigned int)(SIGNED_POSN + 32));
s = out_dd(file, xdb_array, loc);
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "0,0,0,0,0,0,");
}
fprintf(file, "0,%ld,0x%x,", sz,(unsigned int)t);
if (diag_format == DIAG_XDB_NEW) {
out_posn(file, p, 1);
fprintf(file, "%ld\n", p->size);
} else {
out_posn(file, p, 0);
}
res = new_table_posn(s, sz);
break;
}
case DIAG_TYPE_BITFIELD: {
long sz = dt->data.bitfield.no_of_bits.nat_val.small_nat;
res = new_table_posn(SIGNED_POSN + 32, sz);
break;
}
case DIAG_TYPE_ENUM: {
char *nm = dt->data.t_enum.nme.ints.chars;
enum_values *fld = dt->data.t_enum.values->array;
long i, n = (long)dt->data.t_enum.values->lastused;
/* Initialize enumeration information */
long fp;
posn_t t;
t = out_dd(file, xdb_enum, loc);
fp = ftell(file);
fprintf(file, "%s,32\n", NULL_POSN_STR);
res = new_table_posn(t, L32);
/* Deal with enumeration members */
for (i = n - 1; i >= 0; i--) {
char *fnm = fld[i] ->nme.ints.chars;
long v = no(fld[i] ->val);
posn_t s = out_dd(file, xdb_memenum, loc);
fill_gap(file, fp, s);
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "0,");
}
if (*fnm) {
diag_string(file, fnm);
} else {
diag_string(file, "__unknown");
}
fprintf(file, ",%ld,", v);
fp = ftell(file);
fprintf(file, "%s\n", NULL_POSN_STR);
}
/* Round off enumeration definition */
if (*nm) {
(void)out_dd(file, xdb_tagdef, loc);
fprintf(file, "0,");
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "1,");
}
diag_string(file, nm);
fprintf(file, ",");
out_posn(file, res, 0);
}
break;
}
case DIAG_TYPE_FLOAT: {
shape sha = f_floating(dt->data.f_var);
res = analyse_diag_shape(file, sha);
break;
}
case DIAG_TYPE_LOC: {
diag_type dtl = dt->data.loc.object;
res = analyse_diag_type(file, dtl, loc);
break;
}
case DIAG_TYPE_NULL:
res = new_table_posn(NULL_POSN, L0);
break;
case DIAG_TYPE_PROC: {
diag_type dtl = dt->data.proc.result_type;
table_posn *p = analyse_diag_type(file, dtl, loc);
posn_t t = out_dd(file, xdb_functype, loc);
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "0,0,");
}
fprintf(file, "32,");
out_posn(file, p, 1);
fprintf(file, "%s\n", NULL_POSN_STR);
res = new_table_posn(t, L32);
break;
}
case DIAG_TYPE_PTR: {
diag_type dtl = dt->data.ptr.object;
table_posn *p = analyse_diag_type(file, dtl, loc);
posn_t t = out_dd(file, xdb_pointer, loc);
out_posn(file, p, 1);
fprintf(file, "32\n");
res = new_table_posn(t, L32);
break;
}
case DIAG_TYPE_STRUCT: {
shape sha = dt->data.t_struct.tdf_shape;
long sz = shape_size(sha);
char *nm = dt->data.t_struct.nme.ints.chars;
#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;
/* Initialize structure information */
long fp;
posn_t t;
int taglab = 0;
char nmbuff[50];
long dlab = diag_lab++;
if (diag_format == DIAG_XDB_NEW) {
if (*nm == 0) {
unsigned u = unique_id();
nm = nmbuff;
sprintf(nm, "(%u.%ld)", u, dlab);
}
taglab = 1;
}
if (!taglab) {
fprintf(file, "LD%ld:", dlab);
}
t = out_dd(file, xdb_struct, loc);
fprintf(file, "0,");
fp = ftell(file);
fprintf(file, "%s,%s,%s,%ld\n", NULL_POSN_STR, NULL_POSN_STR,
NULL_POSN_STR, sz);
res = new_table_posn(t, sz);
/* Print tag information */
if (*nm) {
posn_t tt;
if (taglab) {
fprintf(file, "LD%ld:", dlab);
}
tt = out_dd(file, xdb_tagdef, loc);
fprintf(file, "0,");
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "1,");
}
diag_string(file, nm);
fprintf(file, ",");
out_posn(file, res, 0);
if (taglab) {
t = tt;
}
}
/* Set up structure label */
res->is_lab = 1;
res->posn = (posn_t)dlab;
dt->been_outed = (OUTPUT_REC)res;
/* 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;
table_posn *q = analyse_diag_type(file, dtl, loc);
posn_t s = out_dd(file, xdb_field, loc);
fill_gap(file, fp, s);
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "0,0,");
}
if (*fnm) {
diag_string(file, fnm);
} else {
diag_string(file, "__unknown");
}
fprintf(file, ",%ld,", off);
out_posn(file, q, 1);
fprintf(file, "%ld,", q->size);
fp = ftell(file);
fprintf(file, "%s\n", NULL_POSN_STR);
}
/* Round off structure definition */
res->is_lab = 0;
res->posn = t;
break;
}
case DIAG_TYPE_UNION: {
shape sha = dt->data.t_union.tdf_shape;
long sz = shape_size(sha);
char *nm = dt->data.t_union.nme.ints.chars;
#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;
/* Initialize union information */
long fp;
posn_t t;
int taglab = 0;
long dlab = diag_lab++;
char nmbuff[50];
if (diag_format == DIAG_XDB_NEW) {
if (*nm == 0) {
unsigned u = unique_id();
nm = nmbuff;
sprintf(nm, "(%u.%ld)", u, dlab);
}
taglab = 1;
}
if (!taglab) {
fprintf(file, "LD%ld:", dlab);
}
t = out_dd(file, xdb_union, loc);
fp = ftell(file);
fprintf(file, "%s,%ld\n", NULL_POSN_STR, sz);
res = new_table_posn(t, sz);
/* Print tag information */
if (*nm) {
posn_t tt;
if (taglab) {
fprintf(file, "LD%ld:", dlab);
}
tt = out_dd(file, xdb_tagdef, loc);
fprintf(file, "0,");
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "1,");
}
diag_string(file, nm);
fprintf(file, ",");
out_posn(file, res, 0);
if (taglab) {
t = tt;
}
}
/* Set up union label */
res->is_lab = 1;
res->posn = (posn_t)dlab;
dt->been_outed = (OUTPUT_REC)res;
/* Deal with union 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;
table_posn *q = analyse_diag_type(file, dtl, loc);
posn_t s = out_dd(file, xdb_field, loc);
fill_gap(file, fp, s);
if (diag_format == DIAG_XDB_NEW) {
fprintf(file, "0,0,");
}
if (*fnm) {
diag_string(file, fnm);
} else {
diag_string(file, "__unknown");
}
fprintf(file, ",%ld,", off);
out_posn(file, q, 1);
fprintf(file, "%ld,", q->size);
fp = ftell(file);
fprintf(file, "%s\n", NULL_POSN_STR);
}
/* Round off union definition */
res->is_lab = 0;
res->posn = t;
break;
}
case DIAG_TYPE_VARIETY: {
shape sha = f_integer(dt->data.var);
res = analyse_diag_shape(file, sha);
break;
}
default:
res = new_table_posn(NULL_POSN, L0);
break;
}
dt->been_outed = (OUTPUT_REC)res;
return (res);
}
/*
DIAGNOSTIC SCOPE STACK
*/
static dscope *dscope_stack = null;
static int no_dscope = 0;
static int dscope_stk_size = 0;
/*
PUSH A DIAGNOSTICS SCOPE
*/
void
push_dscope(posn_t p, int t)
{
int n = no_dscope++;
if (n >= dscope_stk_size) {
dscope_stk_size += 20;
dscope_stack = realloc_nof(dscope_stack, dscope,
dscope_stk_size);
}
dscope_stack[n].posn = p;
dscope_stack[n].dscope_type = t;
return;
}
/*
POP A DIAGNOSTICS SCOPE
*/
dscope *
pop_dscope(void)
{
int n = no_dscope;
if (n == 0) {
return (null);
}
no_dscope = (--n);
return (dscope_stack + n);
}