projects/ldc: dmd2/constfold.c annotate

annotate dmd2/constfold.c @ 1578:1dee66f6ec0b

Removed a chunk of code in favour of a shorter and more portable method

author	Robert Clipsham <robert@octarineparrot.com>
date	Tue, 08 Sep 2009 11:21:30 +0100
parents	e4f7b5d9c68a
children

rev	line source
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	2 // Compiler implementation of the D programming language
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	4 // All Rights Reserved
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	5 // written by Walter Bright
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	6 // http://www.digitalmars.com
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	7 // License for redistribution is by either the Artistic License
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	9 // See the included readme.txt for details.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	10
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	11 #include <stdio.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	12 #include <stdlib.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	13 #include <assert.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	14 #include <math.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	15
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	16 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	17 #include <complex.h>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	18 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	19
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	20 #include "rmem.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	21 #include "root.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	22 #include "port.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	23
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	24 #include "mtype.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	25 #include "expression.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	26 #include "aggregate.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	27 #include "declaration.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	28
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	29 #if __FreeBSD__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	30 #define fmodl fmod // hack for now, fix later
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	31 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	32
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	33 #define LOG 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	34
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	35 Expression expType(Type type, Expression *e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	36 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	37 if (type != e->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	38 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	39 e = e->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	40 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	41 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	42 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	43 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	44
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	45 /* ================================== isConst() ============================== */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	46
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	47 int Expression::isConst()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	48 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	49 //printf("Expression::isConst(): %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	50 return 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	51 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	52
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	53 int IntegerExp::isConst()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	54 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	55 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	56 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	57
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	58 int RealExp::isConst()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	59 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	60 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	61 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	62
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	63 int ComplexExp::isConst()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	64 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	65 return 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	66 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	67
1577 e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	68 int NullExp::isConst()
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	69 {
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	70 return 0;
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	71 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	72
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	73 int SymOffExp::isConst()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	74 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	75 return 2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	76 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	77
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	78 /* =============================== constFold() ============================== */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	79
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	80 /* The constFold() functions were redundant with the optimize() ones,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	81 * and so have been folded in with them.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	82 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	83
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	84 /* ========================================================================== */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	85
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	86 Expression Neg(Type type, Expression *e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	87 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	88 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	89
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	90 if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	91 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	92 e = new RealExp(loc, -e1->toReal(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	93 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	94 else if (e1->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	95 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	96 e = new RealExp(loc, -e1->toImaginary(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	97 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	98 else if (e1->type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	99 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	100 e = new ComplexExp(loc, -e1->toComplex(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	101 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	102 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	103 e = new IntegerExp(loc, -e1->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	104 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	105 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	106
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	107 Expression Com(Type type, Expression *e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	108 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	109 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	110
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	111 e = new IntegerExp(loc, ~e1->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	112 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	113 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	114
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	115 Expression Not(Type type, Expression *e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	116 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	117 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	118
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	119 e = new IntegerExp(loc, e1->isBool(0), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	120 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	121 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	122
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	123 Expression Bool(Type type, Expression *e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	124 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	125 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	126
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	127 e = new IntegerExp(loc, e1->isBool(1), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	128 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	129 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	130
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	131 Expression Add(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	132 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	133 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	134
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	135 #if LOG
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	136 printf("Add(e1 = %s, e2 = %s)\n", e1->toChars(), e2->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	137 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	138 if (type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	139 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	140 e = new RealExp(loc, e1->toReal() + e2->toReal(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	141 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	142 else if (type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	143 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	144 e = new RealExp(loc, e1->toImaginary() + e2->toImaginary(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	145 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	146 else if (type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	147 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	148 // This rigamarole is necessary so that -0.0 doesn't get
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	149 // converted to +0.0 by doing an extraneous add with +0.0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	150 complex_t c1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	151 real_t r1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	152 real_t i1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	153
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	154 complex_t c2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	155 real_t r2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	156 real_t i2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	157
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	158 complex_t v;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	159 int x;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	160
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	161 if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	162 { r1 = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	163 x = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	164 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	165 else if (e1->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	166 { i1 = e1->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	167 x = 3;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	168 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	169 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	170 { c1 = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	171 x = 6;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	172 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	173
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	174 if (e2->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	175 { r2 = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	176 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	177 else if (e2->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	178 { i2 = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	179 x += 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	180 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	181 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	182 { c2 = e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	183 x += 2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	184 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	185
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	186 switch (x)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	187 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	188 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	189 case 0+0: v = (complex_t) (r1 + r2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	190 case 0+1: v = r1 + i2 * I; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	191 case 0+2: v = r1 + c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	192 case 3+0: v = i1 * I + r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	193 case 3+1: v = (complex_t) ((i1 + i2) * I); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	194 case 3+2: v = i1 * I + c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	195 case 6+0: v = c1 + r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	196 case 6+1: v = c1 + i2 * I; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	197 case 6+2: v = c1 + c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	198 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	199 case 0+0: v = complex_t(r1 + r2, 0); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	200 case 0+1: v = complex_t(r1, i2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	201 case 0+2: v = complex_t(r1 + creall(c2), cimagl(c2)); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	202 case 3+0: v = complex_t(r2, i1); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	203 case 3+1: v = complex_t(0, i1 + i2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	204 case 3+2: v = complex_t(creall(c2), i1 + cimagl(c2)); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	205 case 6+0: v = complex_t(creall(c1) + r2, cimagl(c2)); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	206 case 6+1: v = complex_t(creall(c1), cimagl(c1) + i2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	207 case 6+2: v = c1 + c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	208 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	209 default: assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	210 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	211 e = new ComplexExp(loc, v, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	212 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	213 else if (e1->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	214 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	215 SymOffExp soe = (SymOffExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	216 e = new SymOffExp(loc, soe->var, soe->offset + e2->toInteger());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	217 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	218 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	219 else if (e2->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	220 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	221 SymOffExp soe = (SymOffExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	222 e = new SymOffExp(loc, soe->var, soe->offset + e1->toInteger());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	223 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	224 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	225 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	226 e = new IntegerExp(loc, e1->toInteger() + e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	227 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	228 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	229
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	230
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	231 Expression Min(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	232 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	233 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	234
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	235 if (type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	236 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	237 e = new RealExp(loc, e1->toReal() - e2->toReal(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	238 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	239 else if (type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	240 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	241 e = new RealExp(loc, e1->toImaginary() - e2->toImaginary(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	242 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	243 else if (type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	244 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	245 // This rigamarole is necessary so that -0.0 doesn't get
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	246 // converted to +0.0 by doing an extraneous add with +0.0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	247 complex_t c1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	248 real_t r1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	249 real_t i1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	250
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	251 complex_t c2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	252 real_t r2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	253 real_t i2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	254
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	255 complex_t v;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	256 int x;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	257
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	258 if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	259 { r1 = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	260 x = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	261 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	262 else if (e1->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	263 { i1 = e1->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	264 x = 3;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	265 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	266 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	267 { c1 = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	268 x = 6;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	269 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	270
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	271 if (e2->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	272 { r2 = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	273 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	274 else if (e2->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	275 { i2 = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	276 x += 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	277 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	278 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	279 { c2 = e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	280 x += 2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	281 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	282
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	283 switch (x)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	284 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	285 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	286 case 0+0: v = (complex_t) (r1 - r2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	287 case 0+1: v = r1 - i2 * I; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	288 case 0+2: v = r1 - c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	289 case 3+0: v = i1 * I - r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	290 case 3+1: v = (complex_t) ((i1 - i2) * I); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	291 case 3+2: v = i1 * I - c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	292 case 6+0: v = c1 - r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	293 case 6+1: v = c1 - i2 * I; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	294 case 6+2: v = c1 - c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	295 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	296 case 0+0: v = complex_t(r1 - r2, 0); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	297 case 0+1: v = complex_t(r1, -i2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	298 case 0+2: v = complex_t(r1 - creall(c2), -cimagl(c2)); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	299 case 3+0: v = complex_t(-r2, i1); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	300 case 3+1: v = complex_t(0, i1 - i2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	301 case 3+2: v = complex_t(-creall(c2), i1 - cimagl(c2)); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	302 case 6+0: v = complex_t(creall(c1) - r2, cimagl(c1)); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	303 case 6+1: v = complex_t(creall(c1), cimagl(c1) - i2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	304 case 6+2: v = c1 - c2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	305 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	306 default: assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	307 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	308 e = new ComplexExp(loc, v, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	309 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	310 else if (e1->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	311 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	312 SymOffExp soe = (SymOffExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	313 e = new SymOffExp(loc, soe->var, soe->offset - e2->toInteger());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	314 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	315 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	316 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	317 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	318 e = new IntegerExp(loc, e1->toInteger() - e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	319 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	320 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	321 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	322
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	323 Expression Mul(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	324 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	325 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	326
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	327 if (type->isfloating())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	328 { complex_t c;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	329 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	330 real_t r;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	331 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	332 d_float80 r;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	333 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	334
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	335 if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	336 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	337 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	338 c = e1->toReal() * e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	339 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	340 r = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	341 c = e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	342 c = complex_t(r * creall(c), r * cimagl(c));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	343 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	344 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	345 else if (e1->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	346 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	347 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	348 c = e1->toImaginary() * I * e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	349 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	350 r = e1->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	351 c = e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	352 c = complex_t(-r * cimagl(c), r * creall(c));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	353 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	354 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	355 else if (e2->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	356 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	357 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	358 c = e2->toReal() * e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	359 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	360 r = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	361 c = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	362 c = complex_t(r * creall(c), r * cimagl(c));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	363 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	364 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	365 else if (e2->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	366 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	367 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	368 c = e1->toComplex() * e2->toImaginary() * I;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	369 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	370 r = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	371 c = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	372 c = complex_t(-r * cimagl(c), r * creall(c));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	373 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	374 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	375 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	376 c = e1->toComplex() * e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	377
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	378 if (type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	379 e = new RealExp(loc, creall(c), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	380 else if (type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	381 e = new RealExp(loc, cimagl(c), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	382 else if (type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	383 e = new ComplexExp(loc, c, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	384 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	385 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	386 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	387 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	388 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	389 e = new IntegerExp(loc, e1->toInteger() * e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	390 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	391 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	392 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	393
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	394 Expression Div(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	395 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	396 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	397
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	398 if (type->isfloating())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	399 { complex_t c;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	400 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	401 real_t r;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	402 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	403 d_float80 r;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	404 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	405
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	406 //e1->type->print();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	407 //e2->type->print();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	408 if (e2->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	409 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	410 if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	411 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	412 e = new RealExp(loc, e1->toReal() / e2->toReal(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	413 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	414 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	415 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	416 //r = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	417 //c = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	418 //printf("(%Lg + %Lgi) / %Lg\n", creall(c), cimagl(c), r);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	419
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	420 c = e1->toComplex() / e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	421 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	422 r = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	423 c = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	424 c = complex_t(creall(c) / r, cimagl(c) / r);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	425 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	426 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	427 else if (e2->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	428 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	429 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	430 //r = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	431 //c = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	432 //printf("(%Lg + %Lgi) / %Lgi\n", creall(c), cimagl(c), r);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	433
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	434 c = e1->toComplex() / (e2->toImaginary() * I);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	435 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	436 r = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	437 c = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	438 c = complex_t(cimagl(c) / r, -creall(c) / r);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	439 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	440 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	441 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	442 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	443 c = e1->toComplex() / e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	444 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	445
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	446 if (type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	447 e = new RealExp(loc, creall(c), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	448 else if (type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	449 e = new RealExp(loc, cimagl(c), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	450 else if (type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	451 e = new ComplexExp(loc, c, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	452 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	453 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	454 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	455 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	456 { sinteger_t n1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	457 sinteger_t n2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	458 sinteger_t n;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	459
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	460 n1 = e1->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	461 n2 = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	462 if (n2 == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	463 { e2->error("divide by 0");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	464 e2 = new IntegerExp(loc, 1, e2->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	465 n2 = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	466 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	467 if (e1->type->isunsigned() \|\| e2->type->isunsigned())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	468 n = ((d_uns64) n1) / ((d_uns64) n2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	469 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	470 n = n1 / n2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	471 e = new IntegerExp(loc, n, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	472 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	473 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	474 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	475
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	476 Expression Mod(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	477 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	478 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	479
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	480 if (type->isfloating())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	481 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	482 complex_t c;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	483
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	484 if (e2->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	485 { real_t r2 = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	486
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	487 #ifdef __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	488 c = fmodl(e1->toReal(), r2) + fmodl(e1->toImaginary(), r2) * I;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	489 #elif defined(IN_GCC)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	490 c = complex_t(e1->toReal() % r2, e1->toImaginary() % r2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	491 #elif (defined(__FreeBSD__) && __FreeBSD_version < 800000) \|\| defined(__arm__) \|\| defined(__thumb__)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	492 // freebsd is kinda messed up. the STABLE branch doesn't support C99's fmodl !?!
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	493 // arm also doesn't like fmodl
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	494 c = complex_t(fmod(e1->toReal(), r2), fmod(e1->toImaginary(), r2));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	495 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	496 c = complex_t(fmodl(e1->toReal(), r2), fmodl(e1->toImaginary(), r2));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	497 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	498 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	499 else if (e2->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	500 { real_t i2 = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	501
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	502 #ifdef __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	503 c = fmodl(e1->toReal(), i2) + fmodl(e1->toImaginary(), i2) * I;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	504 #elif defined(IN_GCC)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	505 c = complex_t(e1->toReal() % i2, e1->toImaginary() % i2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	506 #elif (defined(__FreeBSD__) && __FreeBSD_version < 800000) \|\| defined(__arm__) \|\| defined(__thumb__)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	507 // freebsd is kinda messed up. the STABLE branch doesn't support C99's fmodl !?!
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	508 // arm also doesn't like fmodl
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	509 c = complex_t(fmod(e1->toReal(), i2), fmod(e1->toImaginary(), i2));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	510 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	511 c = complex_t(fmodl(e1->toReal(), i2), fmodl(e1->toImaginary(), i2));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	512 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	513 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	514 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	515 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	516
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	517 if (type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	518 e = new RealExp(loc, creall(c), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	519 else if (type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	520 e = new RealExp(loc, cimagl(c), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	521 else if (type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	522 e = new ComplexExp(loc, c, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	523 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	524 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	525 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	526 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	527 { sinteger_t n1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	528 sinteger_t n2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	529 sinteger_t n;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	530
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	531 n1 = e1->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	532 n2 = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	533 if (n2 == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	534 { e2->error("divide by 0");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	535 e2 = new IntegerExp(loc, 1, e2->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	536 n2 = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	537 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	538 if (e1->type->isunsigned() \|\| e2->type->isunsigned())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	539 n = ((d_uns64) n1) % ((d_uns64) n2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	540 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	541 n = n1 % n2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	542 e = new IntegerExp(loc, n, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	543 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	544 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	545 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	546
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	547 Expression Shl(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	548 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	549 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	550
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	551 e = new IntegerExp(loc, e1->toInteger() << e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	552 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	553 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	554
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	555 Expression Shr(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	556 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	557 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	558 unsigned count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	559 dinteger_t value;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	560
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	561 value = e1->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	562 count = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	563 switch (e1->type->toBasetype()->ty)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	564 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	565 case Tint8:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	566 value = (d_int8)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	567 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	568
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	569 case Tuns8:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	570 value = (d_uns8)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	571 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	572
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	573 case Tint16:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	574 value = (d_int16)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	575 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	576
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	577 case Tuns16:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	578 value = (d_uns16)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	579 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	580
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	581 case Tint32:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	582 value = (d_int32)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	583 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	584
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	585 case Tuns32:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	586 value = (d_uns32)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	587 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	588
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	589 case Tint64:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	590 value = (d_int64)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	591 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	592
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	593 case Tuns64:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	594 value = (d_uns64)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	595 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	596
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	597 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	598 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	599 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	600 e = new IntegerExp(loc, value, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	601 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	602 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	603
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	604 Expression Ushr(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	605 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	606 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	607 unsigned count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	608 dinteger_t value;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	609
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	610 value = e1->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	611 count = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	612 switch (e1->type->toBasetype()->ty)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	613 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	614 case Tint8:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	615 case Tuns8:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	616 assert(0); // no way to trigger this
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	617 value = (value & 0xFF) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	618 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	619
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	620 case Tint16:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	621 case Tuns16:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	622 assert(0); // no way to trigger this
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	623 value = (value & 0xFFFF) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	624 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	625
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	626 case Tint32:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	627 case Tuns32:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	628 value = (value & 0xFFFFFFFF) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	629 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	630
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	631 case Tint64:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	632 case Tuns64:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	633 value = (d_uns64)(value) >> count;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	634 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	635
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	636 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	637 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	638 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	639 e = new IntegerExp(loc, value, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	640 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	641 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	642
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	643 Expression And(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	644 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	645 Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	646 e = new IntegerExp(e1->loc, e1->toInteger() & e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	647 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	648 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	649
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	650 Expression Or(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	651 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	652 e = new IntegerExp(e1->loc, e1->toInteger() \| e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	653 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	654 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	655
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	656 Expression Xor(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	657 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	658 e = new IntegerExp(e1->loc, e1->toInteger() ^ e2->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	659 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	660 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	661
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	662 /* Also returns EXP_CANT_INTERPRET if cannot be computed.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	663 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	664 Expression Equal(enum TOK op, Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	665 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	666 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	667 int cmp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	668 real_t r1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	669 real_t r2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	670
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	671 //printf("Equal(e1 = %s, e2 = %s)\n", e1->toChars(), e2->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	672
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	673 assert(op == TOKequal \|\| op == TOKnotequal);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	674
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	675 if (e1->op == TOKnull)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	676 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	677 if (e2->op == TOKnull)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	678 cmp = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	679 else if (e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	680 { StringExp es2 = (StringExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	681 cmp = (0 == es2->len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	682 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	683 else if (e2->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	684 { ArrayLiteralExp es2 = (ArrayLiteralExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	685 cmp = !es2->elements \|\| (0 == es2->elements->dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	686 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	687 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	688 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	689 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	690 else if (e2->op == TOKnull)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	691 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	692 if (e1->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	693 { StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	694 cmp = (0 == es1->len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	695 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	696 else if (e1->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	697 { ArrayLiteralExp es1 = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	698 cmp = !es1->elements \|\| (0 == es1->elements->dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	699 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	700 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	701 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	702 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	703 else if (e1->op == TOKstring && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	704 { StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	705 StringExp es2 = (StringExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	706
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	707 if (es1->sz != es2->sz)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	708 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	709 assert(global.errors);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	710 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	711 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	712 if (es1->len == es2->len &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	713 memcmp(es1->string, es2->string, es1->sz * es1->len) == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	714 cmp = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	715 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	716 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	717 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	718 else if (e1->op == TOKarrayliteral && e2->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	719 { ArrayLiteralExp es1 = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	720 ArrayLiteralExp es2 = (ArrayLiteralExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	721
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	722 if ((!es1->elements \|\| !es1->elements->dim) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	723 (!es2->elements \|\| !es2->elements->dim))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	724 cmp = 1; // both arrays are empty
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	725 else if (!es1->elements \|\| !es2->elements)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	726 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	727 else if (es1->elements->dim != es2->elements->dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	728 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	729 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	730 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	731 for (size_t i = 0; i < es1->elements->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	732 { Expression ee1 = (Expression )es1->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	733 Expression ee2 = (Expression )es2->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	734
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	735 Expression *v = Equal(TOKequal, Type::tint32, ee1, ee2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	736 if (v == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	737 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	738 cmp = v->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	739 if (cmp == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	740 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	741 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	742 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	743 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	744 else if (e1->op == TOKarrayliteral && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	745 { // Swap operands and use common code
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	746 Expression *e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	747 e1 = e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	748 e2 = e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	749 goto Lsa;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	750 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	751 else if (e1->op == TOKstring && e2->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	752 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	753 Lsa:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	754 StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	755 ArrayLiteralExp es2 = (ArrayLiteralExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	756 size_t dim1 = es1->len;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	757 size_t dim2 = es2->elements ? es2->elements->dim : 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	758 if (dim1 != dim2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	759 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	760 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	761 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	762 for (size_t i = 0; i < dim1; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	763 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	764 uinteger_t c = es1->charAt(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	765 Expression ee2 = (Expression )es2->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	766 if (ee2->isConst() != 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	767 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	768 cmp = (c == ee2->toInteger());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	769 if (cmp == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	770 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	771 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	772 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	773 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	774 else if (e1->op == TOKstructliteral && e2->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	775 { StructLiteralExp es1 = (StructLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	776 StructLiteralExp es2 = (StructLiteralExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	777
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	778 if (es1->sd != es2->sd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	779 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	780 else if ((!es1->elements \|\| !es1->elements->dim) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	781 (!es2->elements \|\| !es2->elements->dim))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	782 cmp = 1; // both arrays are empty
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	783 else if (!es1->elements \|\| !es2->elements)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	784 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	785 else if (es1->elements->dim != es2->elements->dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	786 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	787 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	788 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	789 cmp = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	790 for (size_t i = 0; i < es1->elements->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	791 { Expression ee1 = (Expression )es1->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	792 Expression ee2 = (Expression )es2->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	793
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	794 if (ee1 == ee2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	795 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	796 if (!ee1 \|\| !ee2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	797 { cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	798 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	799 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	800 Expression *v = Equal(TOKequal, Type::tint32, ee1, ee2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	801 if (v == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	802 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	803 cmp = v->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	804 if (cmp == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	805 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	806 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	807 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	808 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	809 #if 0 // Should handle this
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	810 else if (e1->op == TOKarrayliteral && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	811 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	812 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	813 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	814 else if (e1->isConst() != 1 \|\| e2->isConst() != 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	815 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	816 else if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	817 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	818 r1 = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	819 r2 = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	820 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	821 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	822 else if (e1->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	823 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	824 r1 = e1->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	825 r2 = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	826 L1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	827 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	828 cmp = (r1 == r2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	829 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	830 if (Port::isNan(r1) \|\| Port::isNan(r2)) // if unordered
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	831 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	832 cmp = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	833 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	834 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	835 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	836 cmp = (r1 == r2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	837 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	838 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	839 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	840 else if (e1->type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	841 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	842 cmp = e1->toComplex() == e2->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	843 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	844 else if (e1->type->isintegral())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	845 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	846 cmp = (e1->toInteger() == e2->toInteger());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	847 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	848 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	849 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	850 if (op == TOKnotequal)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	851 cmp ^= 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	852 e = new IntegerExp(loc, cmp, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	853 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	854 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	855
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	856 Expression Identity(enum TOK op, Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	857 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	858 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	859 int cmp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	860
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	861 if (e1->op == TOKnull)
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	862 {
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	863 cmp = (e2->op == TOKnull);
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	864 }
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	865 else if (e2->op == TOKnull)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	866 {
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	867 cmp = 0;
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	868 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	869 else if (e1->op == TOKsymoff && e2->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	870 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	871 SymOffExp es1 = (SymOffExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	872 SymOffExp es2 = (SymOffExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	873
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	874 cmp = (es1->var == es2->var && es1->offset == es2->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	875 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	876 else if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	877 return Equal((op == TOKidentity) ? TOKequal : TOKnotequal,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	878 type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	879 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	880 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	881 if (op == TOKnotidentity)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	882 cmp ^= 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	883 return new IntegerExp(loc, cmp, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	884 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	885
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	886
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	887 Expression Cmp(enum TOK op, Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	888 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	889 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	890 dinteger_t n;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	891 real_t r1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	892 real_t r2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	893
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	894 //printf("Cmp(e1 = %s, e2 = %s)\n", e1->toChars(), e2->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	895
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	896 if (e1->op == TOKstring && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	897 { StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	898 StringExp es2 = (StringExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	899 size_t sz = es1->sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	900 assert(sz == es2->sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	901
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	902 size_t len = es1->len;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	903 if (es2->len < len)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	904 len = es2->len;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	905
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	906 int cmp = memcmp(es1->string, es2->string, sz * len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	907 if (cmp == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	908 cmp = es1->len - es2->len;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	909
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	910 switch (op)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	911 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	912 case TOKlt: n = cmp < 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	913 case TOKle: n = cmp <= 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	914 case TOKgt: n = cmp > 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	915 case TOKge: n = cmp >= 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	916
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	917 case TOKleg: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	918 case TOKlg: n = cmp != 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	919 case TOKunord: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	920 case TOKue: n = cmp == 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	921 case TOKug: n = cmp > 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	922 case TOKuge: n = cmp >= 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	923 case TOKul: n = cmp < 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	924 case TOKule: n = cmp <= 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	925
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	926 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	927 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	928 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	929 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	930 else if (e1->isConst() != 1 \|\| e2->isConst() != 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	931 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	932 else if (e1->type->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	933 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	934 r1 = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	935 r2 = e2->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	936 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	937 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	938 else if (e1->type->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	939 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	940 r1 = e1->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	941 r2 = e2->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	942 L1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	943 #if __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	944 // DMC is the only compiler I know of that handles NAN arguments
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	945 // correctly in comparisons.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	946 switch (op)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	947 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	948 case TOKlt: n = r1 < r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	949 case TOKle: n = r1 <= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	950 case TOKgt: n = r1 > r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	951 case TOKge: n = r1 >= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	952
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	953 case TOKleg: n = r1 <>= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	954 case TOKlg: n = r1 <> r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	955 case TOKunord: n = r1 !<>= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	956 case TOKue: n = r1 !<> r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	957 case TOKug: n = r1 !<= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	958 case TOKuge: n = r1 !< r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	959 case TOKul: n = r1 !>= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	960 case TOKule: n = r1 !> r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	961
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	962 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	963 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	964 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	965 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	966 // Don't rely on compiler, handle NAN arguments separately
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	967 if (Port::isNan(r1) \|\| Port::isNan(r2)) // if unordered
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	968 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	969 switch (op)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	970 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	971 case TOKlt: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	972 case TOKle: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	973 case TOKgt: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	974 case TOKge: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	975
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	976 case TOKleg: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	977 case TOKlg: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	978 case TOKunord: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	979 case TOKue: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	980 case TOKug: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	981 case TOKuge: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	982 case TOKul: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	983 case TOKule: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	984
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	985 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	986 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	987 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	988 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	989 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	990 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	991 switch (op)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	992 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	993 case TOKlt: n = r1 < r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	994 case TOKle: n = r1 <= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	995 case TOKgt: n = r1 > r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	996 case TOKge: n = r1 >= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	997
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	998 case TOKleg: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	999 case TOKlg: n = r1 != r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1000 case TOKunord: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1001 case TOKue: n = r1 == r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1002 case TOKug: n = r1 > r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1003 case TOKuge: n = r1 >= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1004 case TOKul: n = r1 < r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1005 case TOKule: n = r1 <= r2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1006
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1007 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1008 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1009 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1010 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1011 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1012 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1013 else if (e1->type->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1014 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1015 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1016 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1017 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1018 { sinteger_t n1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1019 sinteger_t n2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1020
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1021 n1 = e1->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1022 n2 = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1023 if (e1->type->isunsigned() \|\| e2->type->isunsigned())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1024 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1025 switch (op)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1026 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1027 case TOKlt: n = ((d_uns64) n1) < ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1028 case TOKle: n = ((d_uns64) n1) <= ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1029 case TOKgt: n = ((d_uns64) n1) > ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1030 case TOKge: n = ((d_uns64) n1) >= ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1031
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1032 case TOKleg: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1033 case TOKlg: n = ((d_uns64) n1) != ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1034 case TOKunord: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1035 case TOKue: n = ((d_uns64) n1) == ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1036 case TOKug: n = ((d_uns64) n1) > ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1037 case TOKuge: n = ((d_uns64) n1) >= ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1038 case TOKul: n = ((d_uns64) n1) < ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1039 case TOKule: n = ((d_uns64) n1) <= ((d_uns64) n2); break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1040
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1041 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1042 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1043 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1044 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1045 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1046 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1047 switch (op)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1048 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1049 case TOKlt: n = n1 < n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1050 case TOKle: n = n1 <= n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1051 case TOKgt: n = n1 > n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1052 case TOKge: n = n1 >= n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1053
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1054 case TOKleg: n = 1; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1055 case TOKlg: n = n1 != n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1056 case TOKunord: n = 0; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1057 case TOKue: n = n1 == n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1058 case TOKug: n = n1 > n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1059 case TOKuge: n = n1 >= n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1060 case TOKul: n = n1 < n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1061 case TOKule: n = n1 <= n2; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1062
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1063 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1064 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1065 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1066 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1067 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1068 e = new IntegerExp(loc, n, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1069 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1070 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1071
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1072 /* Also returns EXP_CANT_INTERPRET if cannot be computed.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1073 * to: type to cast to
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1074 * type: type to paint the result
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1075 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1076
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1077 Expression Cast(Type type, Type to, Expression e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1078 { Expression *e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1079 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1080
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1081 //printf("Cast(type = %s, to = %s, e1 = %s)\n", type->toChars(), to->toChars(), e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1082 //printf("\te1->type = %s\n", e1->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1083 if (e1->type->equals(type) && type->equals(to))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1084 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1085 if (e1->type->implicitConvTo(to) >= MATCHconst \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1086 to->implicitConvTo(e1->type) >= MATCHconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1087 return expType(to, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1088
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1089 Type *tb = to->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1090 Type *typeb = type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1091
1577 e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	1092 /* Allow casting from one string type to another
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	1093 */
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1094 if (e1->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1095 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1096 if (tb->ty == Tarray && typeb->ty == Tarray &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1097 tb->nextOf()->size() == typeb->nextOf()->size())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1098 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1099 return expType(to, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1100 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1101 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1102
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1103 if (e1->isConst() != 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1104 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1105
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1106 if (tb->ty == Tbool)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1107 e = new IntegerExp(loc, e1->toInteger() != 0, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1108 else if (type->isintegral())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1109 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1110 if (e1->type->isfloating())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1111 { dinteger_t result;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1112 real_t r = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1113
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1114 switch (typeb->ty)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1115 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1116 case Tint8: result = (d_int8)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1117 case Tchar:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1118 case Tuns8: result = (d_uns8)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1119 case Tint16: result = (d_int16)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1120 case Twchar:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1121 case Tuns16: result = (d_uns16)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1122 case Tint32: result = (d_int32)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1123 case Tdchar:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1124 case Tuns32: result = (d_uns32)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1125 case Tint64: result = (d_int64)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1126 case Tuns64: result = (d_uns64)r; break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1127 default:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1128 assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1129 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1130
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1131 e = new IntegerExp(loc, result, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1132 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1133 else if (type->isunsigned())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1134 e = new IntegerExp(loc, e1->toUInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1135 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1136 e = new IntegerExp(loc, e1->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1137 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1138 else if (tb->isreal())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1139 { real_t value = e1->toReal();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1140
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1141 e = new RealExp(loc, value, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1142 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1143 else if (tb->isimaginary())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1144 { real_t value = e1->toImaginary();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1145
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1146 e = new RealExp(loc, value, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1147 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1148 else if (tb->iscomplex())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1149 { complex_t value = e1->toComplex();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1150
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1151 e = new ComplexExp(loc, value, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1152 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1153 else if (tb->isscalar())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1154 e = new IntegerExp(loc, e1->toInteger(), type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1155 else if (tb->ty == Tvoid)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1156 e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1157 else if (tb->ty == Tstruct && e1->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1158 { // Struct = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1159 StructDeclaration *sd = tb->toDsymbol(NULL)->isStructDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1160 assert(sd);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1161 Expressions *elements = new Expressions;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1162 for (size_t i = 0; i < sd->fields.dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1163 { Dsymbol s = (Dsymbol )sd->fields.data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1164 VarDeclaration *v = s->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1165 assert(v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1166
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1167 Expression *exp = new IntegerExp(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1168 exp = Cast(v->type, v->type, exp);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1169 if (exp == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1170 return exp;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1171 elements->push(exp);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1172 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1173 e = new StructLiteralExp(loc, sd, elements);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1174 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1175 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1176 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1177 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1178 error(loc, "cannot cast %s to %s", e1->type->toChars(), type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1179 e = new IntegerExp(loc, 0, Type::tint32);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1180 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1181 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1182 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1183
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1184
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1185 Expression ArrayLength(Type type, Expression *e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1186 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1187 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1188
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1189 if (e1->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1190 { StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1191
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1192 e = new IntegerExp(loc, es1->len, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1193 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1194 else if (e1->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1195 { ArrayLiteralExp ale = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1196 size_t dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1197
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1198 dim = ale->elements ? ale->elements->dim : 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1199 e = new IntegerExp(loc, dim, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1200 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1201 else if (e1->op == TOKassocarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1202 { AssocArrayLiteralExp ale = (AssocArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1203 size_t dim = ale->keys->dim;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1204
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1205 e = new IntegerExp(loc, dim, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1206 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1207 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1208 e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1209 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1210 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1211
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1212 /* Also return EXP_CANT_INTERPRET if this fails
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1213 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1214 Expression Index(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1215 { Expression *e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1216 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1217
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1218 //printf("Index(e1 = %s, e2 = %s)\n", e1->toChars(), e2->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1219 assert(e1->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1220 if (e1->op == TOKstring && e2->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1221 { StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1222 uinteger_t i = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1223
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1224 if (i >= es1->len)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1225 e1->error("string index %ju is out of bounds [0 .. %zu]", i, es1->len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1226 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1227 { unsigned value = es1->charAt(i);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1228 e = new IntegerExp(loc, value, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1229 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1230 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1231 else if (e1->type->toBasetype()->ty == Tsarray && e2->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1232 { TypeSArray tsa = (TypeSArray )e1->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1233 uinteger_t length = tsa->dim->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1234 uinteger_t i = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1235
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1236 if (i >= length)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1237 { e2->error("array index %ju is out of bounds %s[0 .. %ju]", i, e1->toChars(), length);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1238 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1239 else if (e1->op == TOKarrayliteral && !e1->checkSideEffect(2))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1240 { ArrayLiteralExp ale = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1241 e = (Expression *)ale->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1242 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1243 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1244 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1245 else if (e1->type->toBasetype()->ty == Tarray && e2->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1246 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1247 uinteger_t i = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1248
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1249 if (e1->op == TOKarrayliteral && !e1->checkSideEffect(2))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1250 { ArrayLiteralExp ale = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1251 if (i >= ale->elements->dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1252 { e2->error("array index %ju is out of bounds %s[0 .. %u]", i, e1->toChars(), ale->elements->dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1253 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1254 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1255 { e = (Expression *)ale->elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1256 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1257 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1258 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1259 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1260 else if (e1->op == TOKassocarrayliteral && !e1->checkSideEffect(2))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1261 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1262 AssocArrayLiteralExp ae = (AssocArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1263 /* Search the keys backwards, in case there are duplicate keys
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1264 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1265 for (size_t i = ae->keys->dim; i;)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1266 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1267 i--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1268 Expression ekey = (Expression )ae->keys->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1269 Expression *ex = Equal(TOKequal, Type::tbool, ekey, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1270 if (ex == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1271 return ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1272 if (ex->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1273 { e = (Expression *)ae->values->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1274 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1275 break;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1276 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1277 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1278 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1279 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1280 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1281
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1282 /* Also return EXP_CANT_INTERPRET if this fails
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1283 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1284 Expression Slice(Type type, Expression e1, Expression lwr, Expression *upr)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1285 { Expression *e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1286 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1287
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1288 #if LOG
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1289 printf("Slice()\n");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1290 if (lwr)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1291 { printf("\te1 = %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1292 printf("\tlwr = %s\n", lwr->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1293 printf("\tupr = %s\n", upr->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1294 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1295 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1296 if (e1->op == TOKstring && lwr->op == TOKint64 && upr->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1297 { StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1298 uinteger_t ilwr = lwr->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1299 uinteger_t iupr = upr->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1300
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1301 if (iupr > es1->len \|\| ilwr > iupr)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1302 e1->error("string slice [%ju .. %ju] is out of bounds", ilwr, iupr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1303 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1304 { dinteger_t value;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1305 void *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1306 size_t len = iupr - ilwr;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1307 int sz = es1->sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1308 StringExp *es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1309
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1310 s = mem.malloc((len + 1) * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1311 memcpy((unsigned char )s, (unsigned char )es1->string + ilwr * sz, len * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1312 memset((unsigned char )s + len sz, 0, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1313
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1314 es = new StringExp(loc, s, len, es1->postfix);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1315 es->sz = sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1316 es->committed = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1317 es->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1318 e = es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1319 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1320 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1321 else if (e1->op == TOKarrayliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1322 lwr->op == TOKint64 && upr->op == TOKint64 &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1323 !e1->checkSideEffect(2))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1324 { ArrayLiteralExp es1 = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1325 uinteger_t ilwr = lwr->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1326 uinteger_t iupr = upr->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1327
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1328 if (iupr > es1->elements->dim \|\| ilwr > iupr)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1329 e1->error("array slice [%ju .. %ju] is out of bounds", ilwr, iupr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1330 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1331 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1332 Expressions *elements = new Expressions();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1333 elements->setDim(iupr - ilwr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1334 memcpy(elements->data,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1335 es1->elements->data + ilwr,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1336 (iupr - ilwr) * sizeof(es1->elements->data[0]));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1337 e = new ArrayLiteralExp(e1->loc, elements);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1338 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1339 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1340 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1341 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1342 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1343
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1344 /* Also return EXP_CANT_INTERPRET if this fails
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1345 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1346 Expression Cat(Type type, Expression e1, Expression e2)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1347 { Expression *e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1348 Loc loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1349 Type *t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1350 Type *t1 = e1->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1351 Type *t2 = e2->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1352
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1353 //printf("Cat(e1 = %s, e2 = %s)\n", e1->toChars(), e2->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1354 //printf("\tt1 = %s, t2 = %s\n", t1->toChars(), t2->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1355
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1356 if (e1->op == TOKnull && (e2->op == TOKint64 \|\| e2->op == TOKstructliteral))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1357 { e = e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1358 goto L2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1359 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1360 else if ((e1->op == TOKint64 \|\| e1->op == TOKstructliteral) && e2->op == TOKnull)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1361 { e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1362 L2:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1363 Type *tn = e->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1364 if (tn->ty == Tchar \|\| tn->ty == Twchar \|\| tn->ty == Tdchar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1365 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1366 // Create a StringExp
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1367 void *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1368 StringExp *es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1369 size_t len = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1370 int sz = tn->size();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1371 dinteger_t v = e->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1372
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1373 s = mem.malloc((len + 1) * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1374 memcpy((unsigned char *)s, &v, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1375
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1376 // Add terminating 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1377 memset((unsigned char )s + len sz, 0, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1378
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1379 es = new StringExp(loc, s, len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1380 es->sz = sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1381 es->committed = 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1382 e = es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1383 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1384 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1385 { // Create an ArrayLiteralExp
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1386 Expressions *elements = new Expressions();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1387 elements->push(e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1388 e = new ArrayLiteralExp(e->loc, elements);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1389 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1390 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1391 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1392 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1393 else if (e1->op == TOKstring && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1394 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1395 // Concatenate the strings
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1396 void *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1397 StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1398 StringExp es2 = (StringExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1399 StringExp *es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1400 Type *t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1401 size_t len = es1->len + es2->len;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1402 int sz = es1->sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1403
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1404 if (sz != es2->sz)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1405 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1406 /* Can happen with:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1407 * auto s = "foo"d ~ "bar"c;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1408 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1409 assert(global.errors);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1410 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1411 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1412 s = mem.malloc((len + 1) * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1413 memcpy(s, es1->string, es1->len * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1414 memcpy((unsigned char )s + es1->len sz, es2->string, es2->len * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1415
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1416 // Add terminating 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1417 memset((unsigned char )s + len sz, 0, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1418
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1419 es = new StringExp(loc, s, len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1420 es->sz = sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1421 es->committed = es1->committed \| es2->committed;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1422 if (es1->committed)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1423 t = es1->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1424 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1425 t = es2->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1426 es->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1427 e = es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1428 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1429 else if (e1->op == TOKstring && e2->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1430 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1431 // Concatenate the strings
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1432 void *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1433 StringExp es1 = (StringExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1434 StringExp *es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1435 Type *t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1436 size_t len = es1->len + 1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1437 int sz = es1->sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1438 dinteger_t v = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1439
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1440 s = mem.malloc((len + 1) * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1441 memcpy(s, es1->string, es1->len * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1442 memcpy((unsigned char )s + es1->len sz, &v, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1443
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1444 // Add terminating 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1445 memset((unsigned char )s + len sz, 0, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1446
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1447 es = new StringExp(loc, s, len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1448 es->sz = sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1449 es->committed = es1->committed;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1450 t = es1->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1451 es->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1452 e = es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1453 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1454 else if (e1->op == TOKint64 && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1455 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1456 // Concatenate the strings
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1457 void *s;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1458 StringExp es2 = (StringExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1459 StringExp *es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1460 Type *t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1461 size_t len = 1 + es2->len;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1462 int sz = es2->sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1463 dinteger_t v = e1->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1464
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1465 s = mem.malloc((len + 1) * sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1466 memcpy((unsigned char *)s, &v, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1467 memcpy((unsigned char )s + sz, es2->string, es2->len sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1468
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1469 // Add terminating 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1470 memset((unsigned char )s + len sz, 0, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1471
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1472 es = new StringExp(loc, s, len);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1473 es->sz = sz;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1474 es->committed = es2->committed;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1475 t = es2->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1476 es->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1477 e = es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1478 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1479 else if (e1->op == TOKarrayliteral && e2->op == TOKarrayliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1480 t1->nextOf()->equals(t2->nextOf()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1481 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1482 // Concatenate the arrays
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1483 ArrayLiteralExp es1 = (ArrayLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1484 ArrayLiteralExp es2 = (ArrayLiteralExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1485
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1486 es1 = new ArrayLiteralExp(es1->loc, (Expressions *)es1->elements->copy());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1487 es1->elements->insert(es1->elements->dim, es2->elements);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1488 e = es1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1489
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1490 if (type->toBasetype()->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1491 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1492 e->type = new TypeSArray(t1->nextOf(), new IntegerExp(loc, es1->elements->dim, Type::tindex));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1493 e->type = e->type->semantic(loc, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1494 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1495 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1496 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1497 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1498 else if (e1->op == TOKarrayliteral && e2->op == TOKnull &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1499 t1->nextOf()->equals(t2->nextOf()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1500 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1501 e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1502 goto L3;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1503 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1504 else if (e1->op == TOKnull && e2->op == TOKarrayliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1505 t1->nextOf()->equals(t2->nextOf()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1506 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1507 e = e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1508 L3:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1509 // Concatenate the array with null
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1510 ArrayLiteralExp es = (ArrayLiteralExp )e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1511
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1512 es = new ArrayLiteralExp(es->loc, (Expressions *)es->elements->copy());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1513 e = es;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1514
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1515 if (type->toBasetype()->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1516 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1517 e->type = new TypeSArray(t1->nextOf(), new IntegerExp(loc, es->elements->dim, Type::tindex));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1518 e->type = e->type->semantic(loc, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1519 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1520 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1521 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1522 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1523 else if ((e1->op == TOKarrayliteral \|\| e1->op == TOKnull) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1524 e1->type->toBasetype()->nextOf()->equals(e2->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1525 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1526 ArrayLiteralExp *es1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1527 if (e1->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1528 { es1 = (ArrayLiteralExp *)e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1529 es1 = new ArrayLiteralExp(es1->loc, (Expressions *)es1->elements->copy());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1530 es1->elements->push(e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1531 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1532 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1533 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1534 es1 = new ArrayLiteralExp(e1->loc, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1535 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1536 e = es1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1537
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1538 if (type->toBasetype()->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1539 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1540 e->type = new TypeSArray(e2->type, new IntegerExp(loc, es1->elements->dim, Type::tindex));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1541 e->type = e->type->semantic(loc, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1542 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1543 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1544 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1545 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1546 else if (e2->op == TOKarrayliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1547 e2->type->toBasetype()->nextOf()->equals(e1->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1548 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1549 ArrayLiteralExp es2 = (ArrayLiteralExp )e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1550
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1551 es2 = new ArrayLiteralExp(es2->loc, (Expressions *)es2->elements->copy());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1552 es2->elements->shift(e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1553 e = es2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1554
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1555 if (type->toBasetype()->ty == Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1556 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1557 e->type = new TypeSArray(e1->type, new IntegerExp(loc, es2->elements->dim, Type::tindex));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1558 e->type = e->type->semantic(loc, NULL);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1559 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1560 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1561 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1562 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1563 else if (e1->op == TOKnull && e2->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1564 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1565 t = e1->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1566 e = e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1567 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1568 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1569 else if (e1->op == TOKstring && e2->op == TOKnull)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1570 { e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1571 t = e2->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1572 L1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1573 Type *tb = t->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1574 if (tb->ty == Tarray && tb->nextOf()->equals(e->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1575 { Expressions *expressions = new Expressions();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1576 expressions->push(e);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1577 e = new ArrayLiteralExp(loc, expressions);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1578 e->type = t;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1579 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1580 if (!e->type->equals(type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1581 { StringExp se = (StringExp )e->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1582 e = se->castTo(NULL, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1583 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1584 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1585 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1586 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1587
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1588 Expression Ptr(Type type, Expression *e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1589 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1590 //printf("Ptr(e1 = %s)\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1591 if (e1->op == TOKadd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1592 { AddExp ae = (AddExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1593 if (ae->e1->op == TOKaddress && ae->e2->op == TOKint64)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1594 { AddrExp ade = (AddrExp )ae->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1595 if (ade->e1->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1596 { StructLiteralExp se = (StructLiteralExp )ade->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1597 unsigned offset = ae->e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1598 Expression *e = se->getField(type, offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1599 if (!e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1600 e = EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1601 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1602 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1603 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1604 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1605 return EXP_CANT_INTERPRET;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1606 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1607

Mercurial > projects > ldc

annotate dmd2/constfold.c @ 1578:1dee66f6ec0b