1989-02-07 11:04:05 +00:00
|
|
|
/*
|
|
|
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
|
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
|
|
|
|
*/
|
|
|
|
|
/* $Header$ */
|
|
|
|
|
/* C O N V E R S I O N - C O D E G E N E R A T O R */
|
|
|
|
|
|
|
|
|
|
#include "lint.h"
|
|
|
|
|
#ifndef LINT
|
|
|
|
|
|
|
|
|
|
#include <em.h>
|
|
|
|
|
#include "arith.h"
|
|
|
|
|
#include "type.h"
|
|
|
|
|
#include "sizes.h"
|
|
|
|
|
#include "Lpars.h"
|
|
|
|
|
|
|
|
|
|
#define T_SIGNED 1
|
|
|
|
|
#define T_UNSIGNED 2
|
|
|
|
|
#define T_FLOATING 3
|
|
|
|
|
|
|
|
|
|
/* conversion() generates the EM code for a conversion between
|
|
|
|
|
the types char, short, int, long, float, double and pointer.
|
|
|
|
|
There are three conversion types: signed, unsigned and floating.
|
|
|
|
|
The EM code to obtain this conversion looks like:
|
|
|
|
|
LOC sizeof(from_type)
|
|
|
|
|
LOC sizeof(to_type)
|
|
|
|
|
C??
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
static int convtype();
|
|
|
|
|
|
|
|
|
|
conversion(from_type, to_type)
|
|
|
|
|
register struct type *from_type, *to_type;
|
|
|
|
|
{
|
|
|
|
|
register arith from_size = from_type->tp_size;
|
|
|
|
|
register arith to_size = to_type->tp_size;
|
|
|
|
|
int from_cnvtype = convtype(from_type);
|
|
|
|
|
int to_cnvtype = convtype(to_type);
|
|
|
|
|
|
|
|
|
|
if ((int)to_size < (int)word_size) to_size = word_size;
|
|
|
|
|
if ((int)from_size == (int)to_size && from_cnvtype == to_cnvtype)
|
|
|
|
|
return;
|
|
|
|
|
switch (from_cnvtype) {
|
|
|
|
|
case T_SIGNED:
|
|
|
|
|
switch (to_cnvtype) {
|
|
|
|
|
case T_SIGNED:
|
|
|
|
|
C_loc(from_size);
|
|
|
|
|
C_loc(to_size);
|
|
|
|
|
C_cii();
|
|
|
|
|
break;
|
|
|
|
|
case T_UNSIGNED:
|
|
|
|
|
case T_FLOATING:
|
|
|
|
|
if ((int)from_size < (int)word_size) {
|
|
|
|
|
C_loc(from_size);
|
|
|
|
|
C_loc(word_size);
|
|
|
|
|
C_cii();
|
|
|
|
|
from_size = word_size;
|
|
|
|
|
}
|
|
|
|
|
C_loc(from_size);
|
|
|
|
|
C_loc(to_size);
|
|
|
|
|
if (to_cnvtype == T_UNSIGNED) C_ciu();
|
|
|
|
|
else C_cif();
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
case T_UNSIGNED:
|
|
|
|
|
if ((int)from_size < (int)word_size) from_size = word_size;
|
|
|
|
|
C_loc(from_size);
|
|
|
|
|
C_loc(to_size);
|
|
|
|
|
switch (to_cnvtype) {
|
|
|
|
|
case T_SIGNED:
|
|
|
|
|
C_cui();
|
|
|
|
|
break;
|
|
|
|
|
case T_UNSIGNED:
|
|
|
|
|
C_cuu();
|
|
|
|
|
break;
|
|
|
|
|
case T_FLOATING:
|
|
|
|
|
C_cuf();
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
case T_FLOATING:
|
|
|
|
|
C_loc(from_size);
|
|
|
|
|
C_loc(to_size);
|
|
|
|
|
switch (to_cnvtype) {
|
|
|
|
|
case T_SIGNED:
|
|
|
|
|
C_cfi();
|
|
|
|
|
break;
|
|
|
|
|
case T_UNSIGNED:
|
|
|
|
|
C_cfu();
|
|
|
|
|
break;
|
|
|
|
|
case T_FLOATING:
|
|
|
|
|
C_cff();
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
break;
|
|
|
|
|
default:
|
|
|
|
|
crash("(conversion) illegal type conversion");
|
|
|
|
|
/*NOTREACHED*/
|
|
|
|
|
}
|
|
|
|
|
if ((int)(to_type->tp_size) < (int)word_size
|
|
|
|
|
&& to_cnvtype != T_FLOATING
|
|
|
|
|
) {
|
1989-09-19 16:13:23 +00:00
|
|
|
extern arith full_mask[];
|
1989-02-07 11:04:05 +00:00
|
|
|
|
|
|
|
|
if (to_cnvtype == T_SIGNED) {
|
|
|
|
|
C_loc(to_type->tp_size);
|
|
|
|
|
C_loc(word_size);
|
|
|
|
|
C_cii();
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
C_loc((arith) full_mask[(int)(to_type->tp_size)]);
|
|
|
|
|
C_and(word_size);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* convtype() returns in which category a given type falls:
|
|
|
|
|
signed, unsigned or floating
|
|
|
|
|
*/
|
|
|
|
|
static int
|
|
|
|
|
convtype(tp)
|
|
|
|
|
register struct type *tp;
|
|
|
|
|
{
|
|
|
|
|
switch (tp->tp_fund) {
|
|
|
|
|
case GENERIC:
|
|
|
|
|
case CHAR:
|
|
|
|
|
case SHORT:
|
|
|
|
|
case INT:
|
|
|
|
|
case ERRONEOUS:
|
|
|
|
|
case LONG:
|
|
|
|
|
case ENUM:
|
|
|
|
|
return tp->tp_unsigned ? T_UNSIGNED : T_SIGNED;
|
|
|
|
|
case FLOAT:
|
|
|
|
|
case DOUBLE:
|
|
|
|
|
case LNGDBL:
|
|
|
|
|
return T_FLOATING;
|
|
|
|
|
case POINTER:
|
|
|
|
|
return T_UNSIGNED;
|
|
|
|
|
}
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#endif LINT
|
|
|
|
|
|
