projects/ldc: dmd2/optimize.c annotate

annotate dmd2/optimize.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
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
1452 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 <ctype.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 "lexer.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	21 #include "mtype.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	22 #include "expression.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	23 #include "declaration.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	24 #include "aggregate.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	25 #include "init.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	26
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	27
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	28 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	29 #include "d-gcc-real.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	30
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	31 /* %% fix? */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	32 extern "C" bool real_isnan (const real_t *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	33 #endif
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 static real_t zero; // work around DMC bug for now
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
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 * If variable has a const initializer,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	40 * return that initializer.
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	43 Expression expandVar(int result, VarDeclaration v)
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 //printf("expandVar(result = %d, v = %p, %s)\n", result, v, v ? v->toChars() : "null");
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 Expression *e = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	48 if (!v)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	49 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	50
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	51 if (v->isConst() \|\| v->isInvariant() \|\| v->storage_class & STCmanifest)
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 if (!v->type)
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 //error("ICE");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	56 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	59 Type *tb = v->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	60 if (result & WANTinterpret \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	61 v->storage_class & STCmanifest \|\|
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	62 (tb->ty != Tsarray && tb->ty != Tstruct)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	63 )
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 if (v->init)
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 if (v->inuse)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	68 { if (v->storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	69 v->error("recursive initialization of constant");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	70 goto L1;
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 Expression *ei = v->init->toExpression();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	73 if (!ei)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	74 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	75 if (ei->op == TOKconstruct \|\| ei->op == TOKblit)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	76 { AssignExp ae = (AssignExp )ei;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	77 ei = ae->e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	78 if (ei->isConst() != 1 && ei->op != TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	79 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	80 if (ei->type != v->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	81 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	82 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	83 if (v->scope)
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 v->inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	86 e = ei->syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	87 e = e->semantic(v->scope);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	88 e = e->implicitCastTo(v->scope, v->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	89 v->scope = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	90 v->inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	91 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	92 else if (!ei->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	93 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	94 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	95 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	96 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	97 // Should remove the copy() operation by
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	98 // making all mods to expressions copy-on-write
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	99 e = ei->copy();
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 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	102 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	103 #if 1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	104 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	105 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	106 // BUG: what if const is initialized in constructor?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	107 e = v->type->defaultInit();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	108 e->loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	109 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	110 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	111 if (e->type != v->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	112 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	113 e = e->castTo(NULL, v->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	114 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	115 v->inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	116 e = e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	117 v->inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	118 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	119 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	120 L1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	121 //if (e) printf("\te = %s, e->type = %s\n", e->toChars(), e->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	122 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	123 }
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 fromConstInitializer(int result, Expression e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	127 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	128 //printf("fromConstInitializer(result = %x, %s)\n", result, e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	129 //static int xx; if (xx++ == 10) assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	130 Expression *e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	131 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	132 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	133 VarDeclaration *v = ve->var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	134 e = expandVar(result, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	135 if (e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	136 { if (e->type != e1->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	137 { // Type 'paint' operation
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	138 e = e->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	139 e->type = e1->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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	142 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	143 e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	144 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	145 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	146 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	147
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	148
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	149 Expression *Expression::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	150 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	151 //printf("Expression::optimize(result = x%x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	152 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	153 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	154
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	155 Expression *VarExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	156 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	157 return fromConstInitializer(result, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	158 }
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 Expression *TupleExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	161 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	162 for (size_t i = 0; i < exps->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	163 { Expression e = (Expression )exps->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	164
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	165 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	166 exps->data[i] = (void *)e;
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 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	169 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	170
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	171 Expression *ArrayLiteralExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	172 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	173 if (elements)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	174 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	175 for (size_t i = 0; i < elements->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	176 { Expression e = (Expression )elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	177
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	178 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	179 elements->data[i] = (void *)e;
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	182 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	183 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	184
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	185 Expression *AssocArrayLiteralExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	186 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	187 assert(keys->dim == values->dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	188 for (size_t i = 0; i < keys->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	189 { Expression e = (Expression )keys->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	190
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	191 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	192 keys->data[i] = (void *)e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	193
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	194 e = (Expression *)values->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	195 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	196 values->data[i] = (void *)e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	197 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	198 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	199 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	200
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	201 Expression *StructLiteralExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	202 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	203 if (elements)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	204 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	205 for (size_t i = 0; i < elements->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	206 { Expression e = (Expression )elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	207 if (!e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	208 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	209 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	210 elements->data[i] = (void *)e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	211 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	212 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	213 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	214 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	215
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	216 Expression *TypeExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	217 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	218 return this;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	221 Expression *UnaExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	222 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	223 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	224 return this;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	227 Expression *NegExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	228 { Expression *e;
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 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	231 if (e1->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	232 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	233 e = Neg(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	234 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	235 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	236 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	237 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	238 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	239
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	240 Expression *ComExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	241 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	242
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	243 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	244 if (e1->isConst() == 1)
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 e = Com(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	247 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	248 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	249 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	250 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	251 }
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 Expression *NotExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	254 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	255
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	256 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	257 if (e1->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	258 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	259 e = Not(type, e1);
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 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	263 return e;
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 Expression *BoolExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	267 { Expression *e;
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 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	270 if (e1->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	271 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	272 e = Bool(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	273 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	274 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	275 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	276 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	279 Expression *AddrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	280 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	281
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	282 //printf("AddrExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	283
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	284 /* Rewrite &(a,b) as (a,&b)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	285 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	286 if (e1->op == TOKcomma)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	287 { CommaExp ce = (CommaExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	288 AddrExp *ae = new AddrExp(loc, ce->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	289 ae->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	290 e = new CommaExp(ce->loc, ce->e1, ae);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	291 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	292 return e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	293 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	294
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	295 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	296 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	297 if (ve->var->storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	298 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	299 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	300 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	301 e1 = e1->optimize(result);
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 // Convert &*ex to ex
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	304 if (e1->op == TOKstar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	305 { Expression *ex;
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 ex = ((PtrExp *)e1)->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	308 if (type->equals(ex->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	309 e = ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	310 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	311 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	312 e = ex->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	313 e->type = 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 #if !IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	318 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	319 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	320 if (!ve->var->isOut() && !ve->var->isRef() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	321 !ve->var->isImportedSymbol())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	322 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	323 SymOffExp *se = new SymOffExp(loc, ve->var, 0, ve->hasOverloads);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	324 se->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	325 return se;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	326 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	327 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	328 if (e1->op == TOKindex)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	329 { // Convert &array[n] to &array+n
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	330 IndexExp ae = (IndexExp )e1;
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 (ae->e2->op == TOKint64 && ae->e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	333 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	334 dinteger_t index = ae->e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	335 VarExp ve = (VarExp )ae->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	336 if (ve->type->ty == Tsarray
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	337 && !ve->var->isImportedSymbol())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	338 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	339 TypeSArray ts = (TypeSArray )ve->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	340 dinteger_t dim = ts->dim->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	341 if (index < 0 \|\| index >= dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	342 error("array index %jd is out of bounds [0..%jd]", index, dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	343 e = new SymOffExp(loc, ve->var, index * ts->nextOf()->size());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	344 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	345 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	346 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	347 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	348 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	349 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	350 return this;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	353 Expression *PtrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	354 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	355 //printf("PtrExp::optimize(result = x%x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	356 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	357 // Convert *&ex to ex
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	358 if (e1->op == TOKaddress)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	359 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	360 Expression *ex;
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 ex = ((AddrExp *)e1)->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	363 if (type->equals(ex->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	364 e = ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	365 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	366 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	367 e = ex->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	368 e->type = type;
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 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	371 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	372 // Constant fold *(&structliteral + offset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	373 if (e1->op == TOKadd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	374 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	375 Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	376 e = Ptr(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	377 if (e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	378 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	379 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	380
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	381 if (e1->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	382 { SymOffExp se = (SymOffExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	383 VarDeclaration *v = se->var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	384 Expression *e = expandVar(result, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	385 if (e && e->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	386 { StructLiteralExp sle = (StructLiteralExp )e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	387 e = sle->getField(type, se->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	388 if (e && e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	389 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	390 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	391 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	392 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	393 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	394
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	395 Expression *DotVarExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	396 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	397 //printf("DotVarExp::optimize(result = x%x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	398 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	399
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	400 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	401 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	402 VarDeclaration *v = ve->var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	403 Expression *e = expandVar(result, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	404 if (e && e->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	405 { StructLiteralExp sle = (StructLiteralExp )e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	406 VarDeclaration *vf = var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	407 if (vf)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	408 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	409 e = sle->getField(type, vf->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	410 if (e && e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	411 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	412 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	413 }
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 else if (e1->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	416 { StructLiteralExp sle = (StructLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	417 VarDeclaration *vf = var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	418 if (vf)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	419 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	420 Expression *e = sle->getField(type, vf->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	421 if (e && e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	422 return e;
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	425
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	426 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	427 }
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 Expression *CallExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	430 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	431 //printf("CallExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	432 Expression *e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	433
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	434 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	435 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	436 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	437 FuncDeclaration fd = ((VarExp )e1)->var->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	438 if (fd)
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 enum BUILTIN b = fd->isBuiltin();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	441 if (b)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	442 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	443 e = eval_builtin(b, arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	444 if (!e) // failed
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	445 e = this; // evaluate at runtime
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	446 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	447 else if (result & WANTinterpret)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	448 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	449 Expression *eresult = fd->interpret(NULL, arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	450 if (eresult && eresult != EXP_VOID_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	451 e = eresult;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	452 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	453 error("cannot evaluate %s at compile time", toChars());
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	456 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	457 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	458 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	459
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	460
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	461 Expression *CastExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	462 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	463 //printf("CastExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	464 //printf("from %s to %s\n", type->toChars(), to->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	465 //printf("from %s\n", type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	466 //printf("e1->type %s\n", e1->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	467 //printf("type = %p\n", type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	468 assert(type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	469 enum TOK op1 = e1->op;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	470 #define X 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	471
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	472 Expression *e1old = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	473 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	474 e1 = fromConstInitializer(result, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	475
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	476 if (e1 == e1old &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	477 e1->op == TOKarrayliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	478 type->toBasetype()->ty == Tpointer &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	479 e1->type->toBasetype()->ty != Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	480 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	481 // Casting this will result in the same expression, and
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	482 // infinite loop because of Expression::implicitCastTo()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	483 return this; // no change
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	484 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	485
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	486 if ((e1->op == TOKstring \|\| e1->op == TOKarrayliteral) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	487 (type->ty == Tpointer \|\| type->ty == Tarray) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	488 e1->type->nextOf()->size() == type->nextOf()->size()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	489 )
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	490 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	491 Expression *e = e1->castTo(NULL, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	492 if (X) printf(" returning1 %s\n", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	493 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	494 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	495
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	496 if (e1->op == TOKstructliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	497 e1->type->implicitConvTo(type) >= MATCHconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	498 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	499 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	500 if (X) printf(" returning2 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	501 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	502 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	503
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	504 /* The first test here is to prevent infinite loops
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	505 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	506 if (op1 != TOKarrayliteral && e1->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	507 return e1->castTo(NULL, to);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	508 if (e1->op == TOKnull &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	509 (type->ty == Tpointer \|\| type->ty == Tclass \|\| type->ty == Tarray))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	510 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	511 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	512 if (X) printf(" returning3 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	513 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	514 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	515
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	516 if (result & WANTflags && type->ty == Tclass && e1->type->ty == Tclass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	517 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	518 // See if we can remove an unnecessary cast
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	519 ClassDeclaration *cdfrom;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	520 ClassDeclaration *cdto;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	521 int offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	522
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	523 cdfrom = e1->type->isClassHandle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	524 cdto = type->isClassHandle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	525 if (cdto->isBaseOf(cdfrom, &offset) && offset == 0)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	526 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	527 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	528 if (X) printf(" returning4 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	529 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	530 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	531 }
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 // We can convert 'head const' to mutable
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	534 if (to->constOf()->equals(e1->type->constOf()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	535 // if (to->constConv(e1->type) >= MATCHconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	536 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	537 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	538 if (X) printf(" returning5 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	539 return e1;
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 *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	543
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	544 if (e1->isConst())
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 if (e1->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	547 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	548 if (type->size() == e1->type->size() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	549 type->toBasetype()->ty != Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	550 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	551 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	552 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	553 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	554 return this;
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 if (to->toBasetype()->ty == Tvoid)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	557 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	558 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	559 e = Cast(type, to, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	560 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	561 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	562 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	563 if (X) printf(" returning6 %s\n", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	564 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	565 #undef X
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	566 }
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 Expression *BinExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	569 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	570 //printf("BinExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	571 if (op != TOKconstruct && op != TOKblit) // don't replace const variable with its initializer
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	572 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	573 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	574 if (op == TOKshlass \|\| op == TOKshrass \|\| op == TOKushrass)
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 if (e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	577 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	578 dinteger_t i2 = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	579 d_uns64 sz = e1->type->size() * 8;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	580 if (i2 < 0 \|\| i2 > sz)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	581 { error("shift assign by %jd is outside the range 0..%zu", i2, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	582 e2 = new IntegerExp(0);
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	585 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	586 return this;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	589 Expression *AddExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	590 { Expression *e;
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 //printf("AddExp::optimize(%s)\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	593 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	594 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	595 if (e1->isConst() && e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	596 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	597 if (e1->op == TOKsymoff && e2->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	598 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	599 e = Add(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	600 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	601 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	602 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	603 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	606 Expression *MinExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	607 { Expression *e;
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 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	610 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	611 if (e1->isConst() && e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	612 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	613 if (e2->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	614 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	615 e = Min(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	616 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	617 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	618 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	619 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	622 Expression *MulExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	623 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	624
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	625 //printf("MulExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	626 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	627 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	628 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	629 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	630 e = Mul(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	631 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	632 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	633 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	634 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	635 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	636
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	637 Expression *DivExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	638 { Expression *e;
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 //printf("DivExp::optimize(%s)\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	641 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	642 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	643 if (e1->isConst() == 1 && e2->isConst() == 1)
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 e = Div(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	646 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	647 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	648 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	649 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	652 Expression *ModExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	653 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	654
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	655 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	656 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	657 if (e1->isConst() == 1 && e2->isConst() == 1)
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 e = Mod(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	660 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	661 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	662 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	663 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	664 }
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 Expression shift_optimize(int result, BinExp e, Expression (shift)(Type , Expression , Expression *))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	667 { Expression *ex = e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	668
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	669 e->e1 = e->e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	670 e->e2 = e->e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	671 if (e->e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	672 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	673 dinteger_t i2 = e->e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	674 d_uns64 sz = e->e1->type->size() * 8;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	675 if (i2 < 0 \|\| i2 > sz)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	676 { e->error("shift by %jd is outside the range 0..%zu", i2, sz);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	677 e->e2 = new IntegerExp(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	678 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	679 if (e->e1->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	680 ex = (*shift)(e->type, e->e1, e->e2);
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 return ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	683 }
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 Expression *ShlExp::optimize(int result)
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 //printf("ShlExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	688 return shift_optimize(result, this, Shl);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	689 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	690
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	691 Expression *ShrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	692 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	693 //printf("ShrExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	694 return shift_optimize(result, this, Shr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	695 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	696
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	697 Expression *UshrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	698 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	699 //printf("UshrExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	700 return shift_optimize(result, this, Ushr);
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	703 Expression *AndExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	704 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	705
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	706 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	707 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	708 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	709 e = And(type, e1, e2);
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 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	712 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	713 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	714
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	715 Expression *OrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	716 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	717
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	718 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	719 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	720 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	721 e = Or(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	722 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	723 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	724 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	727 Expression *XorExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	728 { Expression *e;
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 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	731 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	732 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	733 e = Xor(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	734 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	735 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	736 return e;
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 Expression *CommaExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	740 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	741
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	742 //printf("CommaExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	743 e1 = e1->optimize(result & WANTinterpret);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	744 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	745 if (!e1 \|\| e1->op == TOKint64 \|\| e1->op == TOKfloat64 \|\| !e1->checkSideEffect(2))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	746 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	747 e = e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	748 if (e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	749 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	750 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	751 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	752 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	753 //printf("-CommaExp::optimize(result = %d) %s\n", result, e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	754 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	755 }
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 Expression *ArrayLengthExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	758 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	759
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	760 //printf("ArrayLengthExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	761 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	762 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	763 if (e1->op == TOKstring \|\| e1->op == TOKarrayliteral \|\| e1->op == TOKassocarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	764 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	765 e = ArrayLength(type, e1);
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 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	770 Expression *EqualExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	771 { Expression *e;
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 //printf("EqualExp::optimize(result = %x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	774 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	775 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	776 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	777
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	778 Expression *e1 = fromConstInitializer(result, this->e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	779 Expression *e2 = fromConstInitializer(result, this->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	780
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	781 e = Equal(op, type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	782 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	783 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	784 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	785 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	786
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	787 Expression *IdentityExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	788 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	789
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	790 //printf("IdentityExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	791 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	792 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	793 e = this;
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 if (this->e1->isConst() && this->e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	796 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	797 e = Identity(op, type, this->e1, this->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	798 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	799 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	800 }
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 Expression *IndexExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	803 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	804
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	805 //printf("IndexExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	806 Expression *e1 = this->e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	807 e1 = fromConstInitializer(result, e1);
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	808 if (this->e1->op == TOKvar)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	809 { VarExp ve = (VarExp )this->e1;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	810 if (ve->var->storage_class & STCmanifest)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	811 { /* We generally don't want to have more than one copy of an
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	812 * array literal, but if it's an enum we have to because the
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	813 * enum isn't stored elsewhere. See Bugzilla 2559
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	814 */
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	815 this->e1 = e1;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	816 }
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	817 }
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	818 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	819 e = Index(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	820 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	821 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	822 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	823 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	824
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	825 Expression *SliceExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	826 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	827
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	828 //printf("SliceExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	829 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	830 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	831 if (!lwr)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	832 { if (e1->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	833 { // Convert slice of string literal into dynamic array
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	834 Type *t = e1->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	835 if (t->nextOf())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	836 e = e1->castTo(NULL, t->nextOf()->arrayOf());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	837 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	838 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	839 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	840 e1 = fromConstInitializer(result, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	841 lwr = lwr->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	842 upr = upr->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	843 e = Slice(type, e1, lwr, upr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	844 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	845 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	846 //printf("-SliceExp::optimize() %s\n", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	847 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	848 }
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 Expression *AndAndExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	851 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	852
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	853 //printf("AndAndExp::optimize(%d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	854 e1 = e1->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	855 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	856 if (e1->isBool(FALSE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	857 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	858 e = new CommaExp(loc, e1, new IntegerExp(loc, 0, type));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	859 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	860 e = e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	861 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	862 else
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 e2 = e2->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	865 if (result && e2->type->toBasetype()->ty == Tvoid && !global.errors)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	866 error("void has no value");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	867 if (e1->isConst())
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 if (e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	870 { int n1 = e1->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	871 int n2 = e2->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	872
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	873 e = new IntegerExp(loc, n1 && n2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	874 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	875 else if (e1->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	876 e = new BoolExp(loc, e2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	877 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	878 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	879 return e;
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 *OrOrExp::optimize(int result)
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	885 e1 = e1->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	886 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	887 if (e1->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	888 { // Replace with (e1, 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	889 e = new CommaExp(loc, e1, new IntegerExp(loc, 1, type));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	890 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	891 e = e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	892 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	893 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	894 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	895 e2 = e2->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	896 if (result && e2->type->toBasetype()->ty == Tvoid && !global.errors)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	897 error("void has no value");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	898 if (e1->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	899 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	900 if (e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	901 { int n1 = e1->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	902 int n2 = e2->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	903
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	904 e = new IntegerExp(loc, n1 \|\| n2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	905 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	906 else if (e1->isBool(FALSE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	907 e = new BoolExp(loc, e2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	908 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	909 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	910 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	913 Expression *CmpExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	914 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	915
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	916 //printf("CmpExp::optimize() %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	917 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	918 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	919
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	920 Expression *e1 = fromConstInitializer(result, this->e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	921 Expression *e2 = fromConstInitializer(result, this->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	922
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	923 e = Cmp(op, type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	924 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	925 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	926 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	927 }
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 Expression *CatExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	930 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	931
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	932 //printf("CatExp::optimize(%d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	933 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	934 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	935 e = Cat(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	936 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	937 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	938 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	939 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	940
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	941
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	942 Expression *CondExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	943 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	944
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	945 econd = econd->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	946 if (econd->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	947 e = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	948 else if (econd->isBool(FALSE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	949 e = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	950 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	951 { e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	952 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	953 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	954 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	955 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	958

Mercurial > projects > ldc

annotate dmd2/optimize.c @ 1526:54b3c1394d62