ca4bd38206
Edit build.lua for programs losing their private assert.h, so they depend on a list of .h files excluding assert.h. Remove modules/src/assert; it would be a dependency of cpp.ansi but we didn't build it, so cpp.ansi uses the libc assert. I hope that libc <assert.h> can better report failed assertions. Some old "assert.h" files didn't report the expression. Some reported a literal "x", because traditional C expanded the macro parameter x in "x", but ANSI C89 doesn't expand macro parameters in string literals.
101 lines
2.2 KiB
C
101 lines
2.2 KiB
C
/*
|
|
* (c) copyright 1989 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
|
*/
|
|
/* $Id$ */
|
|
/* C O N S T A N T E X P R E S S I O N H A N D L I N G */
|
|
/* F O R F L O A T I N G P O I N T N U M B E R S */
|
|
|
|
#include <assert.h>
|
|
#include "parameters.h"
|
|
#include <alloc.h>
|
|
#include <flt_arith.h>
|
|
#include "arith.h"
|
|
#include "type.h"
|
|
#include "label.h"
|
|
#include "expr.h"
|
|
#include "sizes.h"
|
|
#include "Lpars.h"
|
|
|
|
extern int ResultKnown;
|
|
extern char *symbol2str();
|
|
|
|
fltcstbin(expp, oper, expr)
|
|
register struct expr **expp, *expr;
|
|
{
|
|
/* The operation oper is performed on the constant
|
|
expressions *expp(ld) and expr(ct), and the result restored in
|
|
*expp.
|
|
*/
|
|
flt_arith o1, o2;
|
|
int compar = 0;
|
|
int cmpval = 0;
|
|
|
|
o1 = (*expp)->FL_ARITH;
|
|
o2 = expr->FL_ARITH;
|
|
|
|
assert(is_fp_cst(*expp) && is_fp_cst(expr));
|
|
switch (oper) {
|
|
case '*':
|
|
flt_mul(&o1, &o2, &o1);
|
|
break;
|
|
case '/':
|
|
flt_div(&o1, &o2, &o1);
|
|
break;
|
|
case '+':
|
|
flt_add(&o1, &o2, &o1);
|
|
break;
|
|
case '-':
|
|
flt_sub(&o1, &o2, &o1);
|
|
break;
|
|
case '<':
|
|
case '>':
|
|
case LESSEQ:
|
|
case GREATEREQ:
|
|
case EQUAL:
|
|
case NOTEQUAL:
|
|
compar++;
|
|
cmpval = flt_cmp(&o1, &o2);
|
|
switch(oper) {
|
|
case '<': cmpval = (cmpval < 0); break;
|
|
case '>': cmpval = (cmpval > 0); break;
|
|
case LESSEQ: cmpval = (cmpval <= 0); break;
|
|
case GREATEREQ: cmpval = (cmpval >= 0); break;
|
|
case EQUAL: cmpval = (cmpval == 0); break;
|
|
case NOTEQUAL: cmpval = (cmpval != 0); break;
|
|
}
|
|
break;
|
|
default:
|
|
/* in case of situations like a += 3.0; where a undefined */
|
|
flt_status = 0;
|
|
break;
|
|
}
|
|
|
|
switch (flt_status) {
|
|
case 0:
|
|
case FLT_UNFL: /* ignore underflow */
|
|
break;
|
|
case FLT_OVFL:
|
|
if (!ResultKnown)
|
|
expr_warning(expr,"floating point overflow on %s"
|
|
, symbol2str(oper));
|
|
break;
|
|
case FLT_DIV0:
|
|
if (!ResultKnown)
|
|
expr_error(expr,"division by 0.0");
|
|
else
|
|
expr_warning(expr,"division by 0.0");
|
|
break;
|
|
default: /* there can't be another status */
|
|
crash("(fltcstoper) bad status");
|
|
}
|
|
if (compar) {
|
|
fill_int_expr(*expp, (arith)cmpval, INT);
|
|
} else {
|
|
(*expp)->FL_ARITH = o1;
|
|
}
|
|
(*expp)->ex_flags |= expr->ex_flags;
|
|
(*expp)->ex_flags &= ~EX_PARENS;
|
|
free_expression(expr);
|
|
}
|