projects/ldc: dmd/opover.c annotate

annotate dmd/opover.c @ 1650:40bd4a0d4870

Update to work with LLVM 2.7. Removed use of dyn_cast, llvm no compiles without exceptions and rtti by default. We do need exceptions for the libconfig stuff, but rtti isn't necessary (anymore). Debug info needs to be rewritten, as in LLVM 2.7 the format has completely changed. To have something to look at while rewriting, the old code has been wrapped inside #ifndef DISABLE_DEBUG_INFO , this means that you have to define this to compile at the moment. Updated tango 0.99.9 patch to include updated EH runtime code, which is needed for LLVM 2.7 as well.

author	Tomas Lindquist Olsen
date	Wed, 19 May 2010 12:42:32 +0200
parents	207a8a438dea
children

rev	line source
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	1
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	2 // Compiler implementation of the D programming language
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	4 // All Rights Reserved
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	5 // written by Walter Bright
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	6 // http://www.digitalmars.com
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	7 // License for redistribution is by either the Artistic License
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	9 // See the included readme.txt for details.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	10
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	11 #include <stdio.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	12 #include <stdlib.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	13 #include <ctype.h>
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	14 #include <assert.h>
1133 eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	15 #if _MSC_VER
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	16 #include <complex>
1133 eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	17 #else
eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	18 #include <complex>
eeb8b95ea92e Cleanup DMD 1.041 merge. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 1103 diff changeset	19 #endif
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	20
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	21 #include "rmem.h"
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	22
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	23 //#include "port.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	24 #include "mtype.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	25 #include "init.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	26 #include "expression.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	27 #include "id.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	28 #include "declaration.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	29 #include "aggregate.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	30 #include "template.h"
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	31 #include "scope.h"
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	32
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	33 static Expression build_overload(Loc loc, Scope sc, Expression ethis, Expression earg, Identifier *id);
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	34 static void inferApplyArgTypesX(Module* from, FuncDeclaration fstart, Parameters arguments);
207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	35 static int inferApplyArgTypesY(TypeFunction tf, Parameters arguments);
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	36 static void templateResolve(Match m, TemplateDeclaration td, Scope sc, Loc loc, Objects targsi, Expression ethis, Expressions arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	37
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	38 /****************************** Expression ************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	39
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	40
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	41 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	42 * Determine if operands of binary op can be reversed
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	43 * to fit operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	44 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	45
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	46 int Expression::isCommutative()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	47 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	48 return FALSE; // default is no reverse
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	49 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	50
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	51 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	52 * Get Identifier for operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	53 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	54
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	55 Identifier *Expression::opId()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	56 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	57 assert(0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	58 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	59 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	60
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	61 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	62 * Get Identifier for reverse operator overload,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	63 * NULL if not supported for this operator.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	64 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	65
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	66 Identifier *Expression::opId_r()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	67 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	68 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	69 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	70
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	71 /*********************** Operators ***************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	72
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	73 Identifier *UAddExp::opId() { return Id::uadd; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	74
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	75 Identifier *NegExp::opId() { return Id::neg; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	76
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	77 Identifier *ComExp::opId() { return Id::com; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	78
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	79 Identifier *CastExp::opId() { return Id::cast; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	80
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	81 Identifier *InExp::opId() { return Id::opIn; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	82 Identifier *InExp::opId_r() { return Id::opIn_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	83
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	84 Identifier *PostExp::opId() { return (op == TOKplusplus)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	85 ? Id::postinc
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	86 : Id::postdec; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	87
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	88 int AddExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	89 Identifier *AddExp::opId() { return Id::add; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	90 Identifier *AddExp::opId_r() { return Id::add_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	91
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	92 Identifier *MinExp::opId() { return Id::sub; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	93 Identifier *MinExp::opId_r() { return Id::sub_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	94
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	95 int MulExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	96 Identifier *MulExp::opId() { return Id::mul; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	97 Identifier *MulExp::opId_r() { return Id::mul_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	98
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	99 Identifier *DivExp::opId() { return Id::div; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	100 Identifier *DivExp::opId_r() { return Id::div_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	101
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	102 Identifier *ModExp::opId() { return Id::mod; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	103 Identifier *ModExp::opId_r() { return Id::mod_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	104
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	105 Identifier *ShlExp::opId() { return Id::shl; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	106 Identifier *ShlExp::opId_r() { return Id::shl_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	107
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	108 Identifier *ShrExp::opId() { return Id::shr; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	109 Identifier *ShrExp::opId_r() { return Id::shr_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	110
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	111 Identifier *UshrExp::opId() { return Id::ushr; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	112 Identifier *UshrExp::opId_r() { return Id::ushr_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	113
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	114 int AndExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	115 Identifier *AndExp::opId() { return Id::iand; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	116 Identifier *AndExp::opId_r() { return Id::iand_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	117
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	118 int OrExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	119 Identifier *OrExp::opId() { return Id::ior; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	120 Identifier *OrExp::opId_r() { return Id::ior_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	121
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	122 int XorExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	123 Identifier *XorExp::opId() { return Id::ixor; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	124 Identifier *XorExp::opId_r() { return Id::ixor_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	125
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	126 Identifier *CatExp::opId() { return Id::cat; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	127 Identifier *CatExp::opId_r() { return Id::cat_r; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	128
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	129 Identifier * AssignExp::opId() { return Id::assign; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	130 Identifier * AddAssignExp::opId() { return Id::addass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	131 Identifier * MinAssignExp::opId() { return Id::subass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	132 Identifier * MulAssignExp::opId() { return Id::mulass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	133 Identifier * DivAssignExp::opId() { return Id::divass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	134 Identifier * ModAssignExp::opId() { return Id::modass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	135 Identifier * AndAssignExp::opId() { return Id::andass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	136 Identifier * OrAssignExp::opId() { return Id::orass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	137 Identifier * XorAssignExp::opId() { return Id::xorass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	138 Identifier * ShlAssignExp::opId() { return Id::shlass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	139 Identifier * ShrAssignExp::opId() { return Id::shrass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	140 Identifier *UshrAssignExp::opId() { return Id::ushrass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	141 Identifier * CatAssignExp::opId() { return Id::catass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	142
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	143 int EqualExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	144 Identifier *EqualExp::opId() { return Id::eq; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	145
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	146 int CmpExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	147 Identifier *CmpExp::opId() { return Id::cmp; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	148
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	149 Identifier *ArrayExp::opId() { return Id::index; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	150
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	151
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	152 /************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	153 * Operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	154 * Check for operator overload, if so, replace
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	155 * with function call.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	156 * Return NULL if not an operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	157 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	158
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	159 Expression UnaExp::op_overload(Scope sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	160 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	161 //printf("UnaExp::op_overload() (%s)\n", toChars());
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	162 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	163 Dsymbol *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	164 Type *t1 = e1->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	165
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	166 if (t1->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	167 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	168 ad = ((TypeClass *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	169 goto L1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	170 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	171 else if (t1->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	172 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	173 ad = ((TypeStruct *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	174
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	175 L1:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	176 fd = search_function(ad, opId());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	177 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	178 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	179 if (op == TOKarray)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	180 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	181 /* Rewrite op e1[arguments] as:
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	182 * e1.fd(arguments)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	183 */
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	184 Expression *e = new DotIdExp(loc, e1, fd->ident);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	185 ArrayExp ae = (ArrayExp )this;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	186 e = new CallExp(loc, e, ae->arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	187 e = e->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	188 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	189 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	190 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	191 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	192 // Rewrite +e1 as e1.add()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	193 return build_overload(loc, sc, e1, NULL, fd->ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	194 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	195 }
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	196
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	197 #if DMDV2
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	198 // Didn't find it. Forward to aliasthis
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	199 if (ad->aliasthis)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	200 {
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	201 /* Rewrite op(e1) as:
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	202 * op(e1.aliasthis)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	203 */
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	204 Expression *e1 = new DotIdExp(loc, this->e1, ad->aliasthis->ident);
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	205 Expression *e = copy();
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	206 ((UnaExp *)e)->e1 = e1;
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	207 e = e->semantic(sc);
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	208 return e;
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	209 }
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	210 #endif
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	211 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	212 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	213 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	214
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	215
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	216 Expression BinExp::op_overload(Scope sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	217 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	218 //printf("BinExp::op_overload() (%s)\n", toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	219
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	220 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	221 Type *t1 = e1->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	222 Type *t2 = e2->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	223 Identifier *id = opId();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	224 Identifier *id_r = opId_r();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	225
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	226 Match m;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	227 Expressions args1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	228 Expressions args2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	229 int argsset = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	230
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	231 AggregateDeclaration *ad1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	232 if (t1->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	233 ad1 = ((TypeClass *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	234 else if (t1->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	235 ad1 = ((TypeStruct *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	236 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	237 ad1 = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	238
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	239 AggregateDeclaration *ad2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	240 if (t2->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	241 ad2 = ((TypeClass *)t2)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	242 else if (t2->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	243 ad2 = ((TypeStruct *)t2)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	244 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	245 ad2 = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	246
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	247 Dsymbol *s = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	248 Dsymbol *s_r = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	249 FuncDeclaration *fd = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	250 TemplateDeclaration *td = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	251 if (ad1 && id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	252 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	253 s = search_function(ad1, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	254 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	255 if (ad2 && id_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	256 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	257 s_r = search_function(ad2, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	258 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	259
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	260 if (s \|\| s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	261 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	262 /* Try:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	263 * a.opfunc(b)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	264 * b.opfunc_r(a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	265 * and see which is better.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	266 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	267 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	268 FuncDeclaration *lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	269
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	270 args1.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	271 args1.data[0] = (void*) e1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	272 args2.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	273 args2.data[0] = (void*) e2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	274 argsset = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	275
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	276 memset(&m, 0, sizeof(m));
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	277 m.last = MATCHnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	278
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	279 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	280 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	281 fd = s->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	282 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	283 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	284 overloadResolveX(&m, fd, NULL, &args2, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	285 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	286 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	287 { td = s->isTemplateDeclaration();
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	288 templateResolve(&m, td, sc, loc, NULL, NULL, &args2);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	289 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	290 }
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	291
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	292 lastf = m.lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	293
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	294 if (s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	295 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	296 fd = s_r->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	297 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	298 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	299 overloadResolveX(&m, fd, NULL, &args1, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	300 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	301 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	302 { td = s_r->isTemplateDeclaration();
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	303 templateResolve(&m, td, sc, loc, NULL, NULL, &args1);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	304 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	305 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	306
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	307 if (m.count > 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	308 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	309 // Error, ambiguous
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	310 error("overloads %s and %s both match argument list for %s",
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	311 m.lastf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	312 m.nextf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	313 m.lastf->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	314 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	315 else if (m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	316 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	317 m.lastf = m.anyf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	318 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	319
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	320 if (op == TOKplusplus \|\| op == TOKminusminus)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	321 // Kludge because operator overloading regards e++ and e--
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	322 // as unary, but it's implemented as a binary.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	323 // Rewrite (e1 ++ e2) as e1.postinc()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	324 // Rewrite (e1 -- e2) as e1.postdec()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	325 e = build_overload(loc, sc, e1, NULL, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	326 else if (lastf && m.lastf == lastf \|\| m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	327 // Rewrite (e1 op e2) as e1.opfunc(e2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	328 e = build_overload(loc, sc, e1, e2, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	329 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	330 // Rewrite (e1 op e2) as e2.opfunc_r(e1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	331 e = build_overload(loc, sc, e2, e1, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	332 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	333 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	334
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	335 if (isCommutative())
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	336 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	337 s = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	338 s_r = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	339 if (ad1 && id_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	340 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	341 s_r = search_function(ad1, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	342 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	343 if (ad2 && id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	344 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	345 s = search_function(ad2, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	346 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	347
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	348 if (s \|\| s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	349 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	350 /* Try:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	351 * a.opfunc_r(b)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	352 * b.opfunc(a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	353 * and see which is better.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	354 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	355 FuncDeclaration *lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	356
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	357 if (!argsset)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	358 { args1.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	359 args1.data[0] = (void*) e1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	360 args2.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	361 args2.data[0] = (void*) e2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	362 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	363
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	364 memset(&m, 0, sizeof(m));
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	365 m.last = MATCHnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	366
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	367 if (s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	368 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	369 fd = s_r->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	370 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	371 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	372 overloadResolveX(&m, fd, NULL, &args2, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	373 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	374 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	375 { td = s_r->isTemplateDeclaration();
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	376 templateResolve(&m, td, sc, loc, NULL, NULL, &args2);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	377 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	378 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	379 lastf = m.lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	380
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	381 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	382 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	383 fd = s->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	384 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	385 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	386 overloadResolveX(&m, fd, NULL, &args1, sc->module);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	387 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	388 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	389 { td = s->isTemplateDeclaration();
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	390 templateResolve(&m, td, sc, loc, NULL, NULL, &args1);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	391 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	392 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	393
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	394 if (m.count > 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	395 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	396 // Error, ambiguous
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	397 error("overloads %s and %s both match argument list for %s",
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	398 m.lastf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	399 m.nextf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	400 m.lastf->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	401 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	402 else if (m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	403 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	404 m.lastf = m.anyf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	405 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	406
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	407 Expression *e;
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	408 if (lastf && m.lastf == lastf \|\|
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	409 id_r && m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	410 // Rewrite (e1 op e2) as e1.opfunc_r(e2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	411 e = build_overload(loc, sc, e1, e2, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	412 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	413 // Rewrite (e1 op e2) as e2.opfunc(e1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	414 e = build_overload(loc, sc, e2, e1, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	415
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	416 // When reversing operands of comparison operators,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	417 // need to reverse the sense of the op
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	418 switch (op)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	419 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	420 case TOKlt: op = TOKgt; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	421 case TOKgt: op = TOKlt; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	422 case TOKle: op = TOKge; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	423 case TOKge: op = TOKle; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	424
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	425 // Floating point compares
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	426 case TOKule: op = TOKuge; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	427 case TOKul: op = TOKug; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	428 case TOKuge: op = TOKule; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	429 case TOKug: op = TOKul; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	430
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	431 // These are symmetric
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	432 case TOKunord:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	433 case TOKlg:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	434 case TOKleg:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	435 case TOKue:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	436 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	437 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	438
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	439 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	440 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	441 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	442
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	443 #if DMDV2
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	444 // Try alias this on first operand
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	445 if (ad1 && ad1->aliasthis)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	446 {
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	447 /* Rewrite (e1 op e2) as:
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	448 * (e1.aliasthis op e2)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	449 */
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	450 Expression *e1 = new DotIdExp(loc, this->e1, ad1->aliasthis->ident);
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	451 Expression *e = copy();
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	452 ((BinExp *)e)->e1 = e1;
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	453 e = e->semantic(sc);
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	454 return e;
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	455 }
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	456
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	457 // Try alias this on second operand
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	458 if (ad2 && ad2->aliasthis)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	459 {
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	460 /* Rewrite (e1 op e2) as:
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	461 * (e1 op e2.aliasthis)
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	462 */
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	463 Expression *e2 = new DotIdExp(loc, this->e2, ad2->aliasthis->ident);
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	464 Expression *e = copy();
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	465 ((BinExp *)e)->e2 = e2;
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	466 e = e->semantic(sc);
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	467 return e;
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	468 }
def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	469 #endif
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	470 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	471 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	472
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	473 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	474 * Utility to build a function call out of this reference and argument.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	475 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	476
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	477 Expression build_overload(Loc loc, Scope sc, Expression ethis, Expression earg, Identifier *id)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	478 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	479 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	480
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	481 //printf("build_overload(id = '%s')\n", id->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	482 //earg->print();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	483 //earg->type->print();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	484 e = new DotIdExp(loc, ethis, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	485
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	486 if (earg)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	487 e = new CallExp(loc, e, earg);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	488 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	489 e = new CallExp(loc, e);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	490
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	491 e = e->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	492 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	493 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	494
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	495 /***************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	496 * Search for function funcid in aggregate ad.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	497 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	498
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	499 Dsymbol search_function(AggregateDeclaration ad, Identifier *funcid)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	500 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	501 Dsymbol *s;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	502 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	503 TemplateDeclaration *td;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	504
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	505 s = ad->search(0, funcid, 0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	506 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	507 { Dsymbol *s2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	508
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	509 //printf("search_function: s = '%s'\n", s->kind());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	510 s2 = s->toAlias();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	511 //printf("search_function: s2 = '%s'\n", s2->kind());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	512 fd = s2->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	513 if (fd && fd->type->ty == Tfunction)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	514 return fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	515
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	516 td = s2->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	517 if (td)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	518 return td;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	519 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	520 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	521 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	522
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	523
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	524 /*****************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	525 * Given array of arguments and an aggregate type,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	526 * if any of the argument types are missing, attempt to infer
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	527 * them from the aggregate type.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	528 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	529
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	530 void inferApplyArgTypes(enum TOK op, Parameters arguments, Expression aggr, Module* from)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	531 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	532 if (!arguments \|\| !arguments->dim)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	533 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	534
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	535 /* Return if no arguments need types.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	536 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	537 for (size_t u = 0; 1; u++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	538 { if (u == arguments->dim)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	539 return;
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	540 Parameter arg = (Parameter )arguments->data[u];
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	541 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	542 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	543 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	544
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	545 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	546
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	547 Parameter arg = (Parameter )arguments->data[0];
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	548 Type *taggr = aggr->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	549 if (!taggr)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	550 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	551 Type *tab = taggr->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	552 switch (tab->ty)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	553 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	554 case Tarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	555 case Tsarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	556 case Ttuple:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	557 if (arguments->dim == 2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	558 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	559 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	560 arg->type = Type::tsize_t; // key type
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	561 arg = (Parameter *)arguments->data[1];
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	562 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	563 if (!arg->type && tab->ty != Ttuple)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	564 arg->type = tab->nextOf(); // value type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	565 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	566
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	567 case Taarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	568 { TypeAArray taa = (TypeAArray )tab;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	569
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	570 if (arguments->dim == 2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	571 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	572 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	573 arg->type = taa->index; // key type
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	574 arg = (Parameter *)arguments->data[1];
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	575 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	576 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	577 arg->type = taa->next; // value type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	578 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	579 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	580
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	581 case Tclass:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	582 ad = ((TypeClass *)tab)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	583 goto Laggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	584
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	585 case Tstruct:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	586 ad = ((TypeStruct *)tab)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	587 goto Laggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	588
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	589 Laggr:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	590 #if 0
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	591 if (arguments->dim == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	592 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	593 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	594 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	595 /* Look for an opNext() overload
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	596 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	597 Dsymbol *s = search_function(ad, Id::next);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	598 fd = s ? s->isFuncDeclaration() : NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	599 if (!fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	600 goto Lapply;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	601 arg->type = fd->type->next;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	602 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	603 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	604 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	605 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	606 Lapply:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	607 { /* Look for an
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	608 * int opApply(int delegate(ref Type [, ...]) dg);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	609 * overload
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	610 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	611 Dsymbol *s = search_function(ad,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	612 (op == TOKforeach_reverse) ? Id::applyReverse
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	613 : Id::apply);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	614 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	615 {
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	616 FuncDeclaration *fd = s->isFuncDeclaration();
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	617 if (fd)
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	618 inferApplyArgTypesX(from, fd, arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	619 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	620 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	621 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	622
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	623 case Tdelegate:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	624 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	625 if (0 && aggr->op == TOKdelegate)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	626 { DelegateExp de = (DelegateExp )aggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	627
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	628 FuncDeclaration *fd = de->func->isFuncDeclaration();
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	629 if (fd)
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	630 inferApplyArgTypesX(from, fd, arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	631 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	632 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	633 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	634 inferApplyArgTypesY((TypeFunction *)tab->nextOf(), arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	635 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	636 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	637 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	638
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	639 default:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	640 break; // ignore error, caught later
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	641 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	642 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	643
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	644 /********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	645 * Recursive helper function,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	646 * analogous to func.overloadResolveX().
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	647 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	648
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	649 int fp3(void param, FuncDeclaration f)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	650 {
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	651 Parameters arguments = (Parameters )param;
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	652 TypeFunction tf = (TypeFunction )f->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	653 if (inferApplyArgTypesY(tf, arguments) == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	654 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	655 if (arguments->dim == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	656 return 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	657 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	658 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	659
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	660 static void inferApplyArgTypesX(Module* from, FuncDeclaration fstart, Parameters arguments)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	661 {
1358 78038e540342 Fix overload resolution issue in dmd bug 313/314 fix. Christian Kamm <kamm incasoftware de> parents: 1195 diff changeset	662 overloadApply(from, fstart, &fp3, arguments);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	663 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	664
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	665 #if 0
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	666 static void inferApplyArgTypesX(FuncDeclaration fstart, Parameters arguments)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	667 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	668 Declaration *d;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	669 Declaration *next;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	670
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	671 for (d = fstart; d; d = next)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	672 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	673 FuncDeclaration *f;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	674 FuncAliasDeclaration *fa;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	675 AliasDeclaration *a;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	676
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	677 fa = d->isFuncAliasDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	678 if (fa)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	679 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	680 inferApplyArgTypesX(fa->funcalias, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	681 next = fa->overnext;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	682 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	683 else if ((f = d->isFuncDeclaration()) != NULL)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	684 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	685 next = f->overnext;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	686
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	687 TypeFunction tf = (TypeFunction )f->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	688 if (inferApplyArgTypesY(tf, arguments) == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	689 continue;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	690 if (arguments->dim == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	691 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	692 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	693 else if ((a = d->isAliasDeclaration()) != NULL)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	694 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	695 Dsymbol *s = a->toAlias();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	696 next = s->isDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	697 if (next == a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	698 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	699 if (next == fstart)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	700 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	701 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	702 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	703 { d->error("is aliased to a function");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	704 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	705 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	706 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	707 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	708 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	709
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	710 /******************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	711 * Infer arguments from type of function.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	712 * Returns:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	713 * 0 match for this function
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	714 * 1 no match for this function
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	715 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	716
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	717 static int inferApplyArgTypesY(TypeFunction tf, Parameters arguments)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	718 { size_t nparams;
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	719 Parameter *p;
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	720
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	721 if (Parameter::dim(tf->parameters) != 1)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	722 goto Lnomatch;
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	723 p = Parameter::getNth(tf->parameters, 0);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	724 if (p->type->ty != Tdelegate)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	725 goto Lnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	726 tf = (TypeFunction *)p->type->nextOf();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	727 assert(tf->ty == Tfunction);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	728
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	729 /* We now have tf, the type of the delegate. Match it against
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	730 * the arguments, filling in missing argument types.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	731 */
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	732 nparams = Parameter::dim(tf->parameters);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	733 if (nparams == 0 \|\| tf->varargs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	734 goto Lnomatch; // not enough parameters
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	735 if (arguments->dim != nparams)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	736 goto Lnomatch; // not enough parameters
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	737
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	738 for (size_t u = 0; u < nparams; u++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	739 {
1607 207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	740 Parameter arg = (Parameter )arguments->data[u];
207a8a438dea Merge DMD r253: refactor: Argument => Parameter Leandro Lucarella <llucax@gmail.com> parents: 1587 diff changeset	741 Parameter *param = Parameter::getNth(tf->parameters, u);
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	742 if (arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	743 { if (!arg->type->equals(param->type))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	744 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	745 /* Cannot resolve argument types. Indicate an
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	746 * error by setting the number of arguments to 0.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	747 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	748 arguments->dim = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	749 goto Lmatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	750 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	751 continue;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	752 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	753 arg->type = param->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	754 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	755 Lmatch:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	756 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	757
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	758 Lnomatch:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	759 return 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	760 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	761
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	762 /**************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	763 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	764
1587 def7a1d494fd Merge DMD 1.051 Christian Kamm <kamm incasoftware de> parents: 1358 diff changeset	765 static void templateResolve(Match m, TemplateDeclaration td, Scope sc, Loc loc, Objects targsi, Expression ethis, Expressions arguments)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	766 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	767 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	768
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	769 assert(td);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	770 fd = td->deduceFunctionTemplate(sc, loc, targsi, NULL, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	771 if (!fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	772 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	773 m->anyf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	774 if (m->last >= MATCHexact)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	775 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	776 m->nextf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	777 m->count++;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	778 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	779 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	780 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	781 m->last = MATCHexact;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	782 m->lastf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	783 m->count = 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	784 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	785 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	786

Mercurial > projects > ldc

annotate dmd/opover.c @ 1650:40bd4a0d4870