projects/ldc: dmd/optimize.c annotate

annotate dmd/optimize.c @ 1351:8d501abecd24

Initial (but disabled) fix for ticket #294 , the actual part that fixes the bug is in a #if 0 block as I'm afraid it will cause regressions. I'm most likely not going to be around tonight, and maybe not tomorrow as well, so I'm pushing it in case someone wants to run some serious testing/investigate the problem noted in llvmhelpers.cpp : realignOffset .

author	Tomas Lindquist Olsen <tomas.l.olsen gmail com>
date	Thu, 14 May 2009 17:20:17 +0200
parents	e961851fb8be
children	8026319762be

rev	line source
1195 e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	1
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	2 // Compiler implementation of the D programming language
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	4 // All Rights Reserved
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	5 // written by Walter Bright
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	6 // http://www.digitalmars.com
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	7 // License for redistribution is by either the Artistic License
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	9 // See the included readme.txt for details.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	10
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	11 #include <stdio.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	12 #include <ctype.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	13 #include <assert.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	14 #include <math.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	15
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	16 #if __DMC__
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	17 #include <complex.h>
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	18 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	19
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	20 #include "lexer.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	21 #include "mtype.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	22 #include "expression.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	23 #include "declaration.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	24 #include "aggregate.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	25 #include "init.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	26
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	27
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	28 #ifdef IN_GCC
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	29 #include "d-gcc-real.h"
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	30
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	31 /* %% fix? */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	32 extern "C" bool real_isnan (const real_t *);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	33 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	34
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	35 static real_t zero; // work around DMC bug for now
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	36
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	37
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	38 /*************************************
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	39 * If expression is a variable with a const initializer,
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	40 * return that initializer.
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	41 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	42
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	43 Expression fromConstInitializer(Expression e1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	44 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	45 //printf("fromConstInitializer(%s)\n", e1->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	46 if (e1->op == TOKvar)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	47 { VarExp ve = (VarExp )e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	48 VarDeclaration *v = ve->var->isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	49 if (v && v->isConst() && v->init)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	50 { Expression *ei = v->init->toExpression();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	51 if (ei && ei->type)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	52 e1 = ei;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	53 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	54 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	55 return e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	56 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	57
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	58
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	59 Expression *Expression::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	60 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	61 //printf("Expression::optimize(result = x%x) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	62 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	63 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	64
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	65 Expression *VarExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	66 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	67 if (result & WANTinterpret)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	68 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	69 return fromConstInitializer(this);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	70 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	71 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	72 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	73
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	74 Expression *TupleExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	75 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	76 for (size_t i = 0; i < exps->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	77 { Expression e = (Expression )exps->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	78
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	79 e = e->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	80 exps->data[i] = (void *)e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	81 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	82 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	83 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	84
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	85 Expression *ArrayLiteralExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	86 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	87 if (elements)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	88 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	89 for (size_t i = 0; i < elements->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	90 { Expression e = (Expression )elements->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	91
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	92 e = e->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	93 elements->data[i] = (void *)e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	94 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	95 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	96 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	97 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	98
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	99 Expression *AssocArrayLiteralExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	100 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	101 assert(keys->dim == values->dim);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	102 for (size_t i = 0; i < keys->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	103 { Expression e = (Expression )keys->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	104
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	105 e = e->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	106 keys->data[i] = (void *)e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	107
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	108 e = (Expression *)values->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	109 e = e->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	110 values->data[i] = (void *)e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	111 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	112 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	113 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	114
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	115 Expression *StructLiteralExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	116 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	117 if (elements)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	118 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	119 for (size_t i = 0; i < elements->dim; i++)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	120 { Expression e = (Expression )elements->data[i];
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	121 if (!e)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	122 continue;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	123 e = e->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	124 elements->data[i] = (void *)e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	125 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	126 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	127 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	128 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	129
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	130 Expression *TypeExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	131 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	132 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	133 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	134
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	135 Expression *UnaExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	136 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	137 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	138 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	139 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	140
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	141 Expression *NegExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	142 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	143
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	144 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	145 if (e1->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	146 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	147 e = Neg(type, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	148 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	149 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	150 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	151 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	152 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	153
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	154 Expression *ComExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	155 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	156
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	157 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	158 if (e1->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	159 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	160 e = Com(type, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	161 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	162 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	163 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	164 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	165 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	166
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	167 Expression *NotExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	168 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	169
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	170 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	171 if (e1->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	172 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	173 e = Not(type, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	174 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	175 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	176 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	177 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	178 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	179
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	180 Expression *BoolExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	181 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	182
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	183 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	184 if (e1->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	185 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	186 e = Bool(type, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	187 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	188 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	189 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	190 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	191 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	192
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	193 Expression *AddrExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	194 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	195
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	196 //printf("AddrExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	197 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	198 // Convert &*ex to ex
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	199 if (e1->op == TOKstar)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	200 { Expression *ex;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	201
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	202 ex = ((PtrExp *)e1)->e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	203 if (type->equals(ex->type))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	204 e = ex;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	205 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	206 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	207 e = ex->copy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	208 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	209 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	210 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	211 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	212 #if !IN_LLVM
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	213 if (e1->op == TOKvar)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	214 { VarExp ve = (VarExp )e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	215 if (!ve->var->isOut() && !ve->var->isRef() &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	216 !ve->var->isImportedSymbol())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	217 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	218 e = new SymOffExp(loc, ve->var, 0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	219 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	220 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	221 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	222 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	223 if (e1->op == TOKindex)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	224 { // Convert &array[n] to &array+n
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	225 IndexExp ae = (IndexExp )e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	226
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	227 if (ae->e2->op == TOKint64 && ae->e1->op == TOKvar)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	228 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	229 dinteger_t index = ae->e2->toInteger();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	230 VarExp ve = (VarExp )ae->e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	231 if (ve->type->ty == Tsarray && ve->type->next->ty != Tbit
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	232 && !ve->var->isImportedSymbol())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	233 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	234 TypeSArray ts = (TypeSArray )ve->type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	235 dinteger_t dim = ts->dim->toInteger();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	236 if (index < 0 \|\| index >= dim)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	237 error("array index %jd is out of bounds [0..%jd]", index, dim);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	238 e = new SymOffExp(loc, ve->var, index * ts->next->size());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	239 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	240 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	241 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	242 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	243 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	244 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	245 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	246 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	247
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	248 Expression *PtrExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	249 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	250 //printf("PtrExp::optimize(result = x%x) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	251 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	252 // Convert *&ex to ex
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	253 if (e1->op == TOKaddress)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	254 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	255 Expression *ex;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	256
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	257 ex = ((AddrExp *)e1)->e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	258 if (type->equals(ex->type))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	259 e = ex;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	260 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	261 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	262 e = ex->copy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	263 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	264 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	265 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	266 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	267 // Constant fold *(&structliteral + offset)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	268 if (e1->op == TOKadd)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	269 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	270 Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	271 e = Ptr(type, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	272 if (e != EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	273 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	274 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	275
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	276 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	277 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	278
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	279 Expression *DotVarExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	280 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	281 //printf("DotVarExp::optimize(result = x%x) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	282 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	283
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	284 #if DMDV2
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	285 if (e1->op == TOKvar)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	286 { VarExp ve = (VarExp )e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	287 VarDeclaration *v = ve->var->isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	288 Expression *e = expandVar(result, v);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	289 if (e && e->op == TOKstructliteral)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	290 { StructLiteralExp sle = (StructLiteralExp )e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	291 VarDeclaration *vf = var->isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	292 if (vf)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	293 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	294 e = sle->getField(type, vf->offset);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	295 if (e != EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	296 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	297 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	298 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	299 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	300 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	301 #endif
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	302 if (e1->op == TOKstructliteral)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	303 { StructLiteralExp sle = (StructLiteralExp )e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	304 VarDeclaration *vf = var->isVarDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	305 if (vf)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	306 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	307 Expression *e = sle->getField(type, vf->offset);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	308 if (e != EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	309 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	310 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	311 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	312
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	313 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	314 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	315
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	316 Expression *CallExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	317 { Expression *e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	318
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	319 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	320 if (e1->op == TOKvar && result & WANTinterpret)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	321 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	322 FuncDeclaration fd = ((VarExp )e1)->var->isFuncDeclaration();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	323 if (fd)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	324 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	325 Expression *eresult = fd->interpret(NULL, arguments);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	326 if (eresult && eresult != EXP_VOID_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	327 e = eresult;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	328 else if (result & WANTinterpret)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	329 error("cannot evaluate %s at compile time", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	330 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	331 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	332 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	333 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	334
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	335
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	336 Expression *CastExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	337 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	338 //printf("CastExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	339 //printf("from %s to %s\n", type->toChars(), to->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	340 //printf("from %s\n", type->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	341 //printf("e1->type %s\n", e1->type->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	342 //printf("type = %p\n", type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	343 assert(type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	344 enum TOK op1 = e1->op;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	345
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	346 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	347 if (result & WANTinterpret)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	348 e1 = fromConstInitializer(e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	349
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	350 if ((e1->op == TOKstring \|\| e1->op == TOKarrayliteral) &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	351 (type->ty == Tpointer \|\| type->ty == Tarray) &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	352 type->next->equals(e1->type->next)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	353 )
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	354 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	355 // make a copy before adjusting type to avoid
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	356 // messing up the type of an existing initializer
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	357 e1 = e1->syntaxCopy();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	358 e1->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	359 return e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	360 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	361 /* The first test here is to prevent infinite loops
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	362 */
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	363 if (op1 != TOKarrayliteral && e1->op == TOKarrayliteral)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	364 return e1->castTo(NULL, to);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	365 if (e1->op == TOKnull &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	366 (type->ty == Tpointer \|\| type->ty == Tclass))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	367 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	368 e1->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	369 return e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	370 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	371
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	372 if (result & WANTflags && type->ty == Tclass && e1->type->ty == Tclass)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	373 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	374 // See if we can remove an unnecessary cast
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	375 ClassDeclaration *cdfrom;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	376 ClassDeclaration *cdto;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	377 int offset;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	378
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	379 cdfrom = e1->type->isClassHandle();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	380 cdto = type->isClassHandle();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	381 if (cdto->isBaseOf(cdfrom, &offset) && offset == 0)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	382 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	383 e1->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	384 return e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	385 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	386 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	387
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	388 Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	389
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	390 if (e1->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	391 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	392 if (e1->op == TOKsymoff)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	393 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	394 if (type->size() == e1->type->size() &&
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	395 type->toBasetype()->ty != Tsarray)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	396 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	397 e1->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	398 return e1;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	399 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	400 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	401 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	402 if (to->toBasetype()->ty == Tvoid)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	403 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	404 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	405 e = Cast(type, to, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	406 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	407 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	408 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	409 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	410 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	411
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	412 Expression *BinExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	413 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	414 //printf("BinExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	415 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	416 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	417 if (op == TOKshlass \|\| op == TOKshrass \|\| op == TOKushrass)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	418 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	419 if (e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	420 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	421 dinteger_t i2 = e2->toInteger();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	422 d_uns64 sz = e1->type->size() * 8;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	423 if (i2 < 0 \|\| i2 > sz)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	424 { error("shift assign by %jd is outside the range 0..%zu", i2, sz);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	425 e2 = new IntegerExp(0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	426 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	427 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	428 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	429 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	430 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	431
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	432 Expression *AddExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	433 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	434
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	435 //printf("AddExp::optimize(%s)\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	436 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	437 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	438 if (e1->isConst() && e2->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	439 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	440 if (e1->op == TOKsymoff && e2->op == TOKsymoff)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	441 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	442 e = Add(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	443 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	444 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	445 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	446 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	447 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	448
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	449 Expression *MinExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	450 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	451
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	452 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	453 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	454 if (e1->isConst() && e2->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	455 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	456 if (e2->op == TOKsymoff)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	457 return this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	458 e = Min(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	459 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	460 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	461 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	462 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	463 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	464
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	465 Expression *MulExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	466 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	467
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	468 //printf("MulExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	469 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	470 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	471 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	472 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	473 e = Mul(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	474 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	475 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	476 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	477 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	478 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	479
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	480 Expression *DivExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	481 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	482
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	483 //printf("DivExp::optimize(%s)\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	484 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	485 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	486 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	487 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	488 e = Div(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	489 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	490 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	491 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	492 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	493 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	494
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	495 Expression *ModExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	496 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	497
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	498 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	499 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	500 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	501 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	502 e = Mod(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	503 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	504 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	505 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	506 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	507 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	508
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	509 Expression shift_optimize(int result, BinExp e, Expression (shift)(Type , Expression , Expression *))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	510 { Expression *ex = e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	511
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	512 e->e1 = e->e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	513 e->e2 = e->e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	514 if (e->e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	515 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	516 dinteger_t i2 = e->e2->toInteger();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	517 d_uns64 sz = e->e1->type->size() * 8;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	518 if (i2 < 0 \|\| i2 > sz)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	519 { e->error("shift by %jd is outside the range 0..%zu", i2, sz);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	520 e->e2 = new IntegerExp(0);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	521 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	522 if (e->e1->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	523 ex = (*shift)(e->type, e->e1, e->e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	524 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	525 return ex;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	526 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	527
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	528 Expression *ShlExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	529 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	530 //printf("ShlExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	531 return shift_optimize(result, this, Shl);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	532 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	533
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	534 Expression *ShrExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	535 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	536 //printf("ShrExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	537 return shift_optimize(result, this, Shr);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	538 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	539
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	540 Expression *UshrExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	541 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	542 //printf("UshrExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	543 return shift_optimize(result, this, Ushr);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	544 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	545
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	546 Expression *AndExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	547 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	548
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	549 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	550 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	551 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	552 e = And(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	553 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	554 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	555 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	556 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	557
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	558 Expression *OrExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	559 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	560
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	561 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	562 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	563 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	564 e = Or(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	565 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	566 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	567 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	568 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	569
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	570 Expression *XorExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	571 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	572
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	573 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	574 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	575 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	576 e = Xor(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	577 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	578 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	579 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	580 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	581
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	582 Expression *CommaExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	583 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	584
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	585 //printf("CommaExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	586 e1 = e1->optimize(result & WANTinterpret);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	587 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	588 if (!e1 \|\| e1->op == TOKint64 \|\| e1->op == TOKfloat64 \|\| !e1->checkSideEffect(2))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	589 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	590 e = e2;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	591 if (e)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	592 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	593 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	594 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	595 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	596 //printf("-CommaExp::optimize(result = %d) %s\n", result, e->toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	597 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	598 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	599
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	600 Expression *ArrayLengthExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	601 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	602
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	603 //printf("ArrayLengthExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	604 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	605 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	606 if (e1->op == TOKstring \|\| e1->op == TOKarrayliteral \|\| e1->op == TOKassocarrayliteral)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	607 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	608 e = ArrayLength(type, e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	609 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	610 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	611 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	612
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	613 Expression *EqualExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	614 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	615
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	616 //printf("EqualExp::optimize(result = %x) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	617 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	618 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	619 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	620
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	621 Expression *e1 = fromConstInitializer(this->e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	622 Expression *e2 = fromConstInitializer(this->e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	623
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	624 e = Equal(op, type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	625 if (e == EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	626 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	627 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	628 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	629
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	630 Expression *IdentityExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	631 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	632
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	633 //printf("IdentityExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	634 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	635 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	636 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	637
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	638 if (this->e1->isConst() && this->e2->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	639 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	640 e = Identity(op, type, this->e1, this->e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	641 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	642 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	643 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	644
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	645 Expression *IndexExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	646 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	647
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	648 //printf("IndexExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	649 Expression *e1 = this->e1->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	650 if (result & WANTinterpret)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	651 e1 = fromConstInitializer(e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	652 e2 = e2->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	653 e = Index(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	654 if (e == EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	655 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	656 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	657 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	658
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	659 Expression *SliceExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	660 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	661
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	662 //printf("SliceExp::optimize(result = %d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	663 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	664 e1 = e1->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	665 if (!lwr)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	666 { if (e1->op == TOKstring)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	667 { // Convert slice of string literal into dynamic array
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	668 Type *t = e1->type->toBasetype();
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	669 if (t->next)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	670 e = e1->castTo(NULL, t->next->arrayOf());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	671 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	672 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	673 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	674 if (result & WANTinterpret)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	675 e1 = fromConstInitializer(e1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	676 lwr = lwr->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	677 upr = upr->optimize(WANTvalue \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	678 e = Slice(type, e1, lwr, upr);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	679 if (e == EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	680 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	681 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	682 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	683
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	684 Expression *AndAndExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	685 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	686
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	687 //printf("AndAndExp::optimize(%d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	688 e1 = e1->optimize(WANTflags \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	689 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	690 if (e1->isBool(FALSE))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	691 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	692 e = new CommaExp(loc, e1, new IntegerExp(loc, 0, type));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	693 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	694 e = e->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	695 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	696 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	697 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	698 e2 = e2->optimize(WANTflags \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	699 if (result && e2->type->toBasetype()->ty == Tvoid && !global.errors)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	700 error("void has no value");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	701 if (e1->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	702 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	703 if (e2->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	704 { int n1 = e1->isBool(1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	705 int n2 = e2->isBool(1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	706
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	707 e = new IntegerExp(loc, n1 && n2, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	708 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	709 else if (e1->isBool(TRUE))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	710 e = new BoolExp(loc, e2, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	711 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	712 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	713 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	714 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	715
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	716 Expression *OrOrExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	717 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	718
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	719 e1 = e1->optimize(WANTflags \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	720 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	721 if (e1->isBool(TRUE))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	722 { // Replace with (e1, 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	723 e = new CommaExp(loc, e1, new IntegerExp(loc, 1, type));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	724 e->type = type;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	725 e = e->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	726 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	727 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	728 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	729 e2 = e2->optimize(WANTflags \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	730 if (result && e2->type->toBasetype()->ty == Tvoid && !global.errors)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	731 error("void has no value");
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	732 if (e1->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	733 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	734 if (e2->isConst())
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	735 { int n1 = e1->isBool(1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	736 int n2 = e2->isBool(1);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	737
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	738 e = new IntegerExp(loc, n1 \|\| n2, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	739 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	740 else if (e1->isBool(FALSE))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	741 e = new BoolExp(loc, e2, type);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	742 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	743 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	744 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	745 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	746
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	747 Expression *CmpExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	748 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	749
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	750 //printf("CmpExp::optimize() %s\n", toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	751 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	752 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	753 if (e1->isConst() == 1 && e2->isConst() == 1)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	754 {
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	755 e = Cmp(op, type, this->e1, this->e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	756 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	757 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	758 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	759 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	760 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	761
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	762 Expression *CatExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	763 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	764
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	765 //printf("CatExp::optimize(%d) %s\n", result, toChars());
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	766 e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	767 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	768 e = Cat(type, e1, e2);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	769 if (e == EXP_CANT_INTERPRET)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	770 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	771 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	772 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	773
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	774
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	775 Expression *CondExp::optimize(int result)
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	776 { Expression *e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	777
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	778 econd = econd->optimize(WANTflags \| (result & WANTinterpret));
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	779 if (econd->isBool(TRUE))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	780 e = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	781 else if (econd->isBool(FALSE))
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	782 e = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	783 else
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	784 { e1 = e1->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	785 e2 = e2->optimize(result);
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	786 e = this;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	787 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	788 return e;
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	789 }
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	790
e961851fb8be Merged DMD 1.042. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1168 diff changeset	791

Mercurial > projects > ldc

annotate dmd/optimize.c @ 1351:8d501abecd24