projects/ldc: dmd2/constfold.c annotate

annotate dmd2/constfold.c @ 1526:54b3c1394d62

Merged dmdfe 2.031.

author	Robert Clipsham <robert@octarineparrot.com>
date	Tue, 07 Jul 2009 02:26:11 +0100
parents	638d16625da2
children	e4f7b5d9c68a

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

Mercurial > projects > ldc

annotate dmd2/constfold.c @ 1526:54b3c1394d62