ack/lang/cem/cemcom.ansi/conversion.c
David Given c1aca7dae5 First milestone of replacing the build system.
--HG--
branch : dtrg-buildsystem
rename : lang/cem/cpp.ansi/Parameters => lang/cem/cpp.ansi/parameters.h
2013-05-12 20:45:55 +01:00

153 lines
3 KiB
C

/*
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
* See the copyright notice in the ACK home directory, in the file "Copyright".
*/
/* $Id$ */
/* C O N V E R S I O N - C O D E G E N E R A T O R */
#include "parameters.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) {
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;
}
/* 3.2.1.2 */
if (to_cnvtype == T_UNSIGNED
&& (int)from_size < (int)to_size) {
C_loc(from_size);
C_loc(to_size);
C_cii();
from_size = to_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
) {
extern arith full_mask[];
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 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 */