projects/ldc: dmd2/optimize.c annotate

annotate dmd2/optimize.c @ 1651:cb960b882ca3 default tip

bindings were moved to dsource.org/projects/bindings/

author	Moritz Warning <moritzwarning@web.de>
date	Thu, 20 May 2010 20:05:03 +0200
parents	e4f7b5d9c68a
children

rev	line source
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	2 // Compiler implementation of the D programming language
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);
1577 e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	89 // enabling this line causes test22 in test suite to fail
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	90 //ei->type = e->type;
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	91 v->scope = NULL;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	92 v->inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	93 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	94 else if (!ei->type)
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 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	97 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	98 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	99 // Should remove the copy() operation by
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	100 // making all mods to expressions copy-on-write
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	101 e = ei->copy();
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 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	104 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	105 #if 1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	106 goto L1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	107 #else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	108 // BUG: what if const is initialized in constructor?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	109 e = v->type->defaultInit();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	110 e->loc = e1->loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	111 #endif
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 if (e->type != 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 e = e->castTo(NULL, v->type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	116 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	117 v->inuse++;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	118 e = e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	119 v->inuse--;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	120 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	121 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	122 L1:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	123 //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	124 return e;
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
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 Expression fromConstInitializer(int result, Expression e1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	129 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	130 //printf("fromConstInitializer(result = %x, %s)\n", result, e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	131 //static int xx; if (xx++ == 10) assert(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	132 Expression *e = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	133 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	134 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	135 VarDeclaration *v = ve->var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	136 e = expandVar(result, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	137 if (e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	138 { if (e->type != e1->type)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	139 { // Type 'paint' operation
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	140 e = e->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	141 e->type = e1->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	142 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	143 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	144 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	145 e = e1;
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 return e;
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
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 Expression *Expression::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	152 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	153 //printf("Expression::optimize(result = x%x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	154 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	155 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	156
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	157 Expression *VarExp::optimize(int result)
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 return fromConstInitializer(result, this);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	160 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	161
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	162 Expression *TupleExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	163 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	164 for (size_t i = 0; i < exps->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	165 { Expression e = (Expression )exps->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	166
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	167 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	168 exps->data[i] = (void *)e;
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 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	171 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	172
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	173 Expression *ArrayLiteralExp::optimize(int result)
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 if (elements)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	176 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	177 for (size_t i = 0; i < elements->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	178 { Expression e = (Expression )elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	179
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	180 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	181 elements->data[i] = (void *)e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	182 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	183 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	184 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	185 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	186
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	187 Expression *AssocArrayLiteralExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	188 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	189 assert(keys->dim == values->dim);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	190 for (size_t i = 0; i < keys->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	191 { Expression e = (Expression )keys->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	192
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	193 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	194 keys->data[i] = (void *)e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	195
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	196 e = (Expression *)values->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	197 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	198 values->data[i] = (void *)e;
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 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	201 }
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 Expression *StructLiteralExp::optimize(int result)
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 if (elements)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	206 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	207 for (size_t i = 0; i < elements->dim; i++)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	208 { Expression e = (Expression )elements->data[i];
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	209 if (!e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	210 continue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	211 e = e->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	212 elements->data[i] = (void *)e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	213 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	214 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	215 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	216 }
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 Expression *TypeExp::optimize(int result)
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 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	221 }
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 Expression *UnaExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	224 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	225 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	226 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	227 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	228
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	229 Expression *NegExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	230 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	231
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	232 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	233 if (e1->isConst() == 1)
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 e = Neg(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	236 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	237 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	238 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	239 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	240 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	241
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	242 Expression *ComExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	243 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	244
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	245 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	246 if (e1->isConst() == 1)
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 e = Com(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	249 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	250 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	251 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	252 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	253 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	254
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	255 Expression *NotExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	256 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	257
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	258 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	259 if (e1->isConst() == 1)
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 e = Not(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	262 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	263 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	264 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	265 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	266 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	267
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	268 Expression *BoolExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	269 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	270
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	271 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	272 if (e1->isConst() == 1)
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 e = Bool(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	275 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	276 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	277 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	278 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	279 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	280
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	281 Expression *AddrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	282 { Expression *e;
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 //printf("AddrExp::optimize(result = %d) %s\n", result, toChars());
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 /* Rewrite &(a,b) as (a,&b)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	287 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	288 if (e1->op == TOKcomma)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	289 { CommaExp ce = (CommaExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	290 AddrExp *ae = new AddrExp(loc, ce->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	291 ae->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	292 e = new CommaExp(ce->loc, ce->e1, ae);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	293 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	294 return e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	295 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	296
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	297 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	298 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	299 if (ve->var->storage_class & STCmanifest)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	300 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	301 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	302 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	303 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	304
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	305 // Convert &*ex to ex
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	306 if (e1->op == TOKstar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	307 { Expression *ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	308
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	309 ex = ((PtrExp *)e1)->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	310 if (type->equals(ex->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	311 e = ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	312 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	313 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	314 e = ex->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	315 e->type = type;
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 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	318 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	319 #if !IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	320 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	321 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	322 if (!ve->var->isOut() && !ve->var->isRef() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	323 !ve->var->isImportedSymbol())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	324 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	325 SymOffExp *se = new SymOffExp(loc, ve->var, 0, ve->hasOverloads);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	326 se->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	327 return se;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	328 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	329 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	330 if (e1->op == TOKindex)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	331 { // Convert &array[n] to &array+n
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	332 IndexExp ae = (IndexExp )e1;
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 if (ae->e2->op == TOKint64 && ae->e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	335 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	336 dinteger_t index = ae->e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	337 VarExp ve = (VarExp )ae->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	338 if (ve->type->ty == Tsarray
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	339 && !ve->var->isImportedSymbol())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	340 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	341 TypeSArray ts = (TypeSArray )ve->type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	342 dinteger_t dim = ts->dim->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	343 if (index < 0 \|\| index >= dim)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	344 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	345 e = new SymOffExp(loc, ve->var, index * ts->nextOf()->size());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	346 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	347 return e;
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	350 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	351 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	352 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	353 }
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 Expression *PtrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	356 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	357 //printf("PtrExp::optimize(result = x%x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	358 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	359 // Convert *&ex to ex
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	360 if (e1->op == TOKaddress)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	361 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	362 Expression *ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	363
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	364 ex = ((AddrExp *)e1)->e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	365 if (type->equals(ex->type))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	366 e = ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	367 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	368 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	369 e = ex->copy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	370 e->type = type;
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 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	373 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	374 // Constant fold *(&structliteral + offset)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	375 if (e1->op == TOKadd)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	376 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	377 Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	378 e = Ptr(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	379 if (e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	380 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	381 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	382
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	383 if (e1->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	384 { SymOffExp se = (SymOffExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	385 VarDeclaration *v = se->var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	386 Expression *e = expandVar(result, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	387 if (e && e->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	388 { StructLiteralExp sle = (StructLiteralExp )e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	389 e = sle->getField(type, se->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	390 if (e && e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	391 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	392 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	393 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	394 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	395 }
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 Expression *DotVarExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	398 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	399 //printf("DotVarExp::optimize(result = x%x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	400 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	401
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	402 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	403 { VarExp ve = (VarExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	404 VarDeclaration *v = ve->var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	405 Expression *e = expandVar(result, v);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	406 if (e && e->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	407 { StructLiteralExp sle = (StructLiteralExp )e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	408 VarDeclaration *vf = var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	409 if (vf)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	410 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	411 e = sle->getField(type, vf->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	412 if (e && e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	413 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	414 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	415 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	416 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	417 else if (e1->op == TOKstructliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	418 { StructLiteralExp sle = (StructLiteralExp )e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	419 VarDeclaration *vf = var->isVarDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	420 if (vf)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	421 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	422 Expression *e = sle->getField(type, vf->offset);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	423 if (e && e != EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	424 return e;
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 }
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 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	429 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	430
1577 e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	431 Expression *NewExp::optimize(int result)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	432 {
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	433 if (thisexp)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	434 thisexp = thisexp->optimize(WANTvalue);
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	435
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	436 // Optimize parameters
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	437 if (newargs)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	438 {
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	439 for (size_t i = 0; i < newargs->dim; i++)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	440 { Expression e = (Expression )newargs->data[i];
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	441
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	442 e = e->optimize(WANTvalue);
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	443 newargs->data[i] = (void *)e;
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	444 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	445 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	446
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	447 if (arguments)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	448 {
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	449 for (size_t i = 0; i < arguments->dim; i++)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	450 { Expression e = (Expression )arguments->data[i];
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	451
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	452 e = e->optimize(WANTvalue);
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	453 arguments->data[i] = (void *)e;
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	454 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	455 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	456 return this;
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	457 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	458
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	459 Expression *CallExp::optimize(int result)
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 //printf("CallExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	462 Expression *e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	463
1577 e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	464 // Optimize parameters
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	465 if (arguments)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	466 {
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	467 for (size_t i = 0; i < arguments->dim; i++)
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	468 { Expression e = (Expression )arguments->data[i];
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	469
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	470 e = e->optimize(WANTvalue);
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	471 arguments->data[i] = (void *)e;
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	472 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	473 }
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	474
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	475 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	476 if (e1->op == TOKvar)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	477 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	478 FuncDeclaration fd = ((VarExp )e1)->var->isFuncDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	479 if (fd)
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 enum BUILTIN b = fd->isBuiltin();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	482 if (b)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	483 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	484 e = eval_builtin(b, arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	485 if (!e) // failed
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	486 e = this; // evaluate at runtime
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	487 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	488 else if (result & WANTinterpret)
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 Expression *eresult = fd->interpret(NULL, arguments);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	491 if (eresult && eresult != EXP_VOID_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	492 e = eresult;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	493 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	494 error("cannot evaluate %s at compile time", toChars());
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	497 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	498 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	499 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	500
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	501
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	502 Expression *CastExp::optimize(int result)
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 //printf("CastExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	505 //printf("from %s to %s\n", type->toChars(), to->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	506 //printf("from %s\n", type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	507 //printf("e1->type %s\n", e1->type->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	508 //printf("type = %p\n", type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	509 assert(type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	510 enum TOK op1 = e1->op;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	511 #define X 0
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	512
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	513 Expression *e1old = e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	514 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	515 e1 = fromConstInitializer(result, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	516
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	517 if (e1 == e1old &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	518 e1->op == TOKarrayliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	519 type->toBasetype()->ty == Tpointer &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	520 e1->type->toBasetype()->ty != Tsarray)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	521 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	522 // Casting this will result in the same expression, and
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	523 // infinite loop because of Expression::implicitCastTo()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	524 return this; // no change
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	525 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	526
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	527 if ((e1->op == TOKstring \|\| e1->op == TOKarrayliteral) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	528 (type->ty == Tpointer \|\| type->ty == Tarray) &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	529 e1->type->nextOf()->size() == type->nextOf()->size()
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 Expression *e = e1->castTo(NULL, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	533 if (X) printf(" returning1 %s\n", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	534 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	535 }
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 if (e1->op == TOKstructliteral &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	538 e1->type->implicitConvTo(type) >= MATCHconst)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	539 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	540 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	541 if (X) printf(" returning2 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	542 return e1;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	545 /* The first test here is to prevent infinite loops
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	546 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	547 if (op1 != TOKarrayliteral && e1->op == TOKarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	548 return e1->castTo(NULL, to);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	549 if (e1->op == TOKnull &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	550 (type->ty == Tpointer \|\| type->ty == Tclass \|\| type->ty == Tarray))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	551 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	552 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	553 if (X) printf(" returning3 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	554 return e1;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	557 if (result & WANTflags && type->ty == Tclass && e1->type->ty == Tclass)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	558 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	559 // See if we can remove an unnecessary cast
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	560 ClassDeclaration *cdfrom;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	561 ClassDeclaration *cdto;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	562 int offset;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	563
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	564 cdfrom = e1->type->isClassHandle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	565 cdto = type->isClassHandle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	566 if (cdto->isBaseOf(cdfrom, &offset) && offset == 0)
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 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	569 if (X) printf(" returning4 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	570 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	571 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	572 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	573
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	574 // We can convert 'head const' to mutable
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	575 if (to->constOf()->equals(e1->type->constOf()))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	576 // if (to->constConv(e1->type) >= MATCHconst)
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 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	579 if (X) printf(" returning5 %s\n", e1->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	580 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	581 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	582
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	583 Expression *e;
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 if (e1->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	586 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	587 if (e1->op == TOKsymoff)
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 if (type->size() == e1->type->size() &&
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	590 type->toBasetype()->ty != Tsarray)
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 e1->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	593 return e1;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	594 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	595 return this;
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 (to->toBasetype()->ty == Tvoid)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	598 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	599 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	600 e = Cast(type, to, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	601 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	602 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	603 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	604 if (X) printf(" returning6 %s\n", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	605 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	606 #undef X
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	607 }
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 Expression *BinExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	610 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	611 //printf("BinExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	612 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	613 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	614 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	615 if (op == TOKshlass \|\| op == TOKshrass \|\| op == TOKushrass)
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 if (e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	618 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	619 dinteger_t i2 = e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	620 d_uns64 sz = e1->type->size() * 8;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	621 if (i2 < 0 \|\| i2 > sz)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	622 { 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	623 e2 = new IntegerExp(0);
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	626 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	627 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	628 }
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 Expression *AddExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	631 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	632
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	633 //printf("AddExp::optimize(%s)\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	634 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	635 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	636 if (e1->isConst() && e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	637 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	638 if (e1->op == TOKsymoff && e2->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	639 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	640 e = Add(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	641 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	642 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	643 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	644 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	645 }
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 Expression *MinExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	648 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	649
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	650 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	651 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	652 if (e1->isConst() && e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	653 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	654 if (e2->op == TOKsymoff)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	655 return this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	656 e = Min(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	657 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	658 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	659 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	660 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	661 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	662
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	663 Expression *MulExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	664 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	665
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	666 //printf("MulExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	667 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	668 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	669 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	670 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	671 e = Mul(type, e1, e2);
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 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	674 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	675 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	676 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	677
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	678 Expression *DivExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	679 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	680
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	681 //printf("DivExp::optimize(%s)\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	682 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	683 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	684 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	685 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	686 e = Div(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	687 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	688 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	689 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	690 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	691 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	692
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	693 Expression *ModExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	694 { Expression *e;
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 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	697 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	698 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	699 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	700 e = Mod(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	701 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	702 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	703 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	704 return 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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	707 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	708 { Expression *ex = e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	709
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	710 e->e1 = e->e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	711 e->e2 = e->e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	712 if (e->e2->isConst() == 1)
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 dinteger_t i2 = e->e2->toInteger();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	715 d_uns64 sz = e->e1->type->size() * 8;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	716 if (i2 < 0 \|\| i2 > sz)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	717 { 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	718 e->e2 = new IntegerExp(0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	719 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	720 if (e->e1->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	721 ex = (*shift)(e->type, e->e1, e->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	722 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	723 return ex;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	724 }
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 Expression *ShlExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	727 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	728 //printf("ShlExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	729 return shift_optimize(result, this, Shl);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	730 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	731
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	732 Expression *ShrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	733 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	734 //printf("ShrExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	735 return shift_optimize(result, this, Shr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	736 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	737
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	738 Expression *UshrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	739 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	740 //printf("UshrExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	741 return shift_optimize(result, this, Ushr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	742 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	743
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	744 Expression *AndExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	745 { Expression *e;
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 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	748 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	749 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	750 e = And(type, e1, e2);
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 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	754 }
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 Expression *OrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	757 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	758
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	759 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	760 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	761 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	762 e = Or(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	763 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	764 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	765 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	766 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	767
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	768 Expression *XorExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	769 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	770
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	771 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	772 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	773 if (e1->isConst() == 1 && e2->isConst() == 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	774 e = Xor(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	775 else
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 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	778 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	779
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	780 Expression *CommaExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	781 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	782
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	783 //printf("CommaExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	784 e1 = e1->optimize(result & WANTinterpret);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	785 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	786 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	787 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	788 e = e2;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	789 if (e)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	790 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	791 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	792 else
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 //printf("-CommaExp::optimize(result = %d) %s\n", result, e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	795 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	798 Expression *ArrayLengthExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	799 { Expression *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 //printf("ArrayLengthExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	802 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	803 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	804 if (e1->op == TOKstring \|\| e1->op == TOKarrayliteral \|\| e1->op == TOKassocarrayliteral)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	805 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	806 e = ArrayLength(type, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	807 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	808 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	809 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	810
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	811 Expression *EqualExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	812 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	813
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	814 //printf("EqualExp::optimize(result = %x) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	815 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	816 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	817 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	818
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	819 Expression *e1 = fromConstInitializer(result, this->e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	820 Expression *e2 = fromConstInitializer(result, this->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	821
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	822 e = Equal(op, type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	823 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	824 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	825 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	826 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	827
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	828 Expression *IdentityExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	829 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	830
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	831 //printf("IdentityExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	832 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	833 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	834 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	835
1577 e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	836 if ((this->e1->isConst() && this->e2->isConst()) \|\|
e4f7b5d9c68a DMD 2.032 Merge. Robert Clipsham <robert@octarineparrot.com> parents: 1526 diff changeset	837 (this->e1->op == TOKnull && this->e2->op == TOKnull))
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	838 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	839 e = Identity(op, type, this->e1, this->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	840 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	841 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	842 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	843
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	844 Expression *IndexExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	845 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	846
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	847 //printf("IndexExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	848 Expression *e1 = this->e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	849 e1 = fromConstInitializer(result, e1);
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	850 if (this->e1->op == TOKvar)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	851 { VarExp ve = (VarExp )this->e1;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	852 if (ve->var->storage_class & STCmanifest)
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	853 { /* 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	854 * 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	855 * enum isn't stored elsewhere. See Bugzilla 2559
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	856 */
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	857 this->e1 = e1;
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	858 }
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	859 }
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	860 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	861 e = Index(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	862 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	863 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	864 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	865 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	866
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	867 Expression *SliceExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	868 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	869
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	870 //printf("SliceExp::optimize(result = %d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	871 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	872 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	873 if (!lwr)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	874 { if (e1->op == TOKstring)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	875 { // Convert slice of string literal into dynamic array
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	876 Type *t = e1->type->toBasetype();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	877 if (t->nextOf())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	878 e = e1->castTo(NULL, t->nextOf()->arrayOf());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	879 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	880 return e;
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 e1 = fromConstInitializer(result, e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	883 lwr = lwr->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	884 upr = upr->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	885 e = Slice(type, e1, lwr, upr);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	886 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	887 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	888 //printf("-SliceExp::optimize() %s\n", e->toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	889 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	890 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	891
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	892 Expression *AndAndExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	893 { Expression *e;
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 //printf("AndAndExp::optimize(%d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	896 e1 = e1->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	897 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	898 if (e1->isBool(FALSE))
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 e = new CommaExp(loc, e1, new IntegerExp(loc, 0, type));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	901 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	902 e = e->optimize(result);
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 else
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 e2 = e2->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	907 if (result && e2->type->toBasetype()->ty == Tvoid && !global.errors)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	908 error("void has no value");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	909 if (e1->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	910 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	911 if (e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	912 { int n1 = e1->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	913 int n2 = e2->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	914
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	915 e = new IntegerExp(loc, n1 && n2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	916 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	917 else if (e1->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	918 e = new BoolExp(loc, e2, type);
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 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	921 return e;
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
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	924 Expression *OrOrExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	925 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	926
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	927 e1 = e1->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	928 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	929 if (e1->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	930 { // Replace with (e1, 1)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	931 e = new CommaExp(loc, e1, new IntegerExp(loc, 1, type));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	932 e->type = type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	933 e = e->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	934 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	935 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	936 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	937 e2 = e2->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	938 if (result && e2->type->toBasetype()->ty == Tvoid && !global.errors)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	939 error("void has no value");
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	940 if (e1->isConst())
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 if (e2->isConst())
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	943 { int n1 = e1->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	944 int n2 = e2->isBool(1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	945
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	946 e = new IntegerExp(loc, n1 \|\| n2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	947 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	948 else if (e1->isBool(FALSE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	949 e = new BoolExp(loc, e2, type);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	950 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	951 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	952 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	953 }
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 Expression *CmpExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	956 { Expression *e;
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 //printf("CmpExp::optimize() %s\n", toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	959 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	960 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	961
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	962 Expression *e1 = fromConstInitializer(result, this->e1);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	963 Expression *e2 = fromConstInitializer(result, this->e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	964
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	965 e = Cmp(op, type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	966 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	967 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	968 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	969 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	970
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	971 Expression *CatExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	972 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	973
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	974 //printf("CatExp::optimize(%d) %s\n", result, toChars());
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	975 e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	976 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	977 e = Cat(type, e1, e2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	978 if (e == EXP_CANT_INTERPRET)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	979 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	980 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	981 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	982
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	983
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	984 Expression *CondExp::optimize(int result)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	985 { Expression *e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	986
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	987 econd = econd->optimize(WANTflags \| (result & WANTinterpret));
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	988 if (econd->isBool(TRUE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	989 e = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	990 else if (econd->isBool(FALSE))
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	991 e = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	992 else
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	993 { e1 = e1->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	994 e2 = e2->optimize(result);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	995 e = this;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	996 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	997 return e;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	998 }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	999
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 758 diff changeset	1000

Mercurial > projects > ldc

annotate dmd2/optimize.c @ 1651:cb960b882ca3 default tip