projects/ldc: dmd/opover.c annotate

annotate dmd/opover.c @ 1138:4c8bb03e4fbc

Update DtoConstFP() to be correct after LLVM r67562, which changed the way the APFloat constructor expects its i80 APInts to be formatted. (They're now actually consistent with the x87 format)

author	Frits van Bommel <fvbommel wxs.nl>
date	Tue, 24 Mar 2009 15:24:59 +0100
parents	eeb8b95ea92e
children	e961851fb8be

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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	3 // Copyright (c) 1999-2007 by Digital Mars
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	21 #ifdef __APPLE__
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	22 #define integer_t dmd_integer_t
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	23 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	24
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	25 #include "rmem.h"
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	26
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	27 //#include "port.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	28 #include "mtype.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	29 #include "init.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	30 #include "expression.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	31 #include "id.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	32 #include "declaration.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	33 #include "aggregate.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	34 #include "template.h"
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	35
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	36 static Expression build_overload(Loc loc, Scope sc, Expression ethis, Expression earg, Identifier *id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	37 static void inferApplyArgTypesX(FuncDeclaration fstart, Arguments arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	38 static int inferApplyArgTypesY(TypeFunction tf, Arguments arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	39 static void templateResolve(Match m, TemplateDeclaration td, Scope sc, Loc loc, Objects targsi, Expressions *arguments);
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 /****************************** Expression ************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	42
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	43
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 * 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	46 * to fit operator overload.
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	49 int Expression::isCommutative()
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 return FALSE; // default is no reverse
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	52 }
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 * Get Identifier for operator overload.
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	58 Identifier *Expression::opId()
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 assert(0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	61 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	62 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	63
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 * Get Identifier for reverse operator overload,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	66 * NULL if not supported for this operator.
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	69 Identifier *Expression::opId_r()
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 return NULL;
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	74 /*********************** Operators ***************************/
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	75
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	76 Identifier *UAddExp::opId() { return Id::uadd; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	77
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	78 Identifier *NegExp::opId() { return Id::neg; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	79
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	80 Identifier *ComExp::opId() { return Id::com; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	81
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	82 Identifier *CastExp::opId() { return Id::cast; }
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 *InExp::opId() { return Id::opIn; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	85 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	86
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	87 Identifier *PostExp::opId() { return (op == TOKplusplus)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	88 ? Id::postinc
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	89 : Id::postdec; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	90
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	91 int AddExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	92 Identifier *AddExp::opId() { return Id::add; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	93 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	94
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	95 Identifier *MinExp::opId() { return Id::sub; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	96 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	97
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	98 int MulExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	99 Identifier *MulExp::opId() { return Id::mul; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	100 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	101
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	102 Identifier *DivExp::opId() { return Id::div; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	103 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	104
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	105 Identifier *ModExp::opId() { return Id::mod; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	106 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	107
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	108 Identifier *ShlExp::opId() { return Id::shl; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	109 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	110
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	111 Identifier *ShrExp::opId() { return Id::shr; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	112 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	113
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	114 Identifier *UshrExp::opId() { return Id::ushr; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	115 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	116
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	117 int AndExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	118 Identifier *AndExp::opId() { return Id::iand; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	119 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	120
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	121 int OrExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	122 Identifier *OrExp::opId() { return Id::ior; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	123 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	124
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	125 int XorExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	126 Identifier *XorExp::opId() { return Id::ixor; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	127 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	128
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	129 Identifier *CatExp::opId() { return Id::cat; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	130 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	131
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	132 Identifier * AssignExp::opId() { return Id::assign; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	133 Identifier * AddAssignExp::opId() { return Id::addass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	134 Identifier * MinAssignExp::opId() { return Id::subass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	135 Identifier * MulAssignExp::opId() { return Id::mulass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	136 Identifier * DivAssignExp::opId() { return Id::divass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	137 Identifier * ModAssignExp::opId() { return Id::modass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	138 Identifier * AndAssignExp::opId() { return Id::andass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	139 Identifier * OrAssignExp::opId() { return Id::orass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	140 Identifier * XorAssignExp::opId() { return Id::xorass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	141 Identifier * ShlAssignExp::opId() { return Id::shlass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	142 Identifier * ShrAssignExp::opId() { return Id::shrass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	143 Identifier *UshrAssignExp::opId() { return Id::ushrass; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	144 Identifier * CatAssignExp::opId() { return Id::catass; }
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 EqualExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	147 Identifier *EqualExp::opId() { return Id::eq; }
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 int CmpExp::isCommutative() { return TRUE; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	150 Identifier *CmpExp::opId() { return Id::cmp; }
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 Identifier *ArrayExp::opId() { return Id::index; }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	153
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	154
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	155 /************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	156 * Operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	157 * Check for operator overload, if so, replace
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	158 * with function call.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	159 * Return NULL if not an operator overload.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	160 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	161
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	162 Expression UnaExp::op_overload(Scope sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	163 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	164 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	165 Dsymbol *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	166 Type *t1 = e1->type->toBasetype();
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 if (t1->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	169 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	170 ad = ((TypeClass *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	171 goto L1;
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 else if (t1->ty == Tstruct)
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 ad = ((TypeStruct *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	176
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	177 L1:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	178 fd = search_function(ad, opId());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	179 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	180 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	181 if (op == TOKarray)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	182 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	183 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	184 ArrayExp ae = (ArrayExp )this;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	185
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	186 e = new DotIdExp(loc, e1, fd->ident);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	187 e = new CallExp(loc, e, ae->arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	188 e = e->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	189 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	190 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	191 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	192 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	193 // Rewrite +e1 as e1.add()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	194 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	195 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	196 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	197 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	198 return NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	199 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	200
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	201
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	202 Expression BinExp::op_overload(Scope sc)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	203 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	204 //printf("BinExp::op_overload() (%s)\n", toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	205
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	206 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	207 Type *t1 = e1->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	208 Type *t2 = e2->type->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	209 Identifier *id = opId();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	210 Identifier *id_r = opId_r();
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 Match m;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	213 Expressions args1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	214 Expressions args2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	215 int argsset = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	216
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	217 AggregateDeclaration *ad1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	218 if (t1->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	219 ad1 = ((TypeClass *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	220 else if (t1->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	221 ad1 = ((TypeStruct *)t1)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	222 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	223 ad1 = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	224
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	225 AggregateDeclaration *ad2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	226 if (t2->ty == Tclass)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	227 ad2 = ((TypeClass *)t2)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	228 else if (t2->ty == Tstruct)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	229 ad2 = ((TypeStruct *)t2)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	230 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	231 ad2 = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	232
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	233 Dsymbol *s = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	234 Dsymbol *s_r = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	235 FuncDeclaration *fd = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	236 TemplateDeclaration *td = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	237 if (ad1 && id)
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 s = search_function(ad1, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	240 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	241 if (ad2 && id_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	242 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	243 s_r = search_function(ad2, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	244 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	245
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	246 if (s \|\| s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	247 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	248 /* Try:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	249 * a.opfunc(b)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	250 * b.opfunc_r(a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	251 * and see which is better.
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 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	254 FuncDeclaration *lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	255
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	256 args1.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	257 args1.data[0] = (void*) e1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	258 args2.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	259 args2.data[0] = (void*) e2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	260 argsset = 1;
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 memset(&m, 0, sizeof(m));
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	263 m.last = MATCHnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	264
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	265 if (s)
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 fd = s->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	268 if (fd)
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 overloadResolveX(&m, fd, &args2);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	271 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	272 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	273 { td = s->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	274 templateResolve(&m, td, sc, loc, NULL, &args2);
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 }
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	277
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	278 lastf = m.lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	279
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	280 if (s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	281 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	282 fd = s_r->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	283 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	284 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	285 overloadResolveX(&m, fd, &args1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	286 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	287 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	288 { td = s_r->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	289 templateResolve(&m, td, sc, loc, NULL, &args1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	290 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	291 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	292
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	293 if (m.count > 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	294 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	295 // Error, ambiguous
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	296 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	297 m.lastf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	298 m.nextf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	299 m.lastf->toChars());
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 if (m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	302 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	303 m.lastf = m.anyf;
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 if (op == TOKplusplus \|\| op == TOKminusminus)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	307 // 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	308 // 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	309 // Rewrite (e1 ++ e2) as e1.postinc()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	310 // Rewrite (e1 -- e2) as e1.postdec()
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	311 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	312 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	313 // 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	314 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	315 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	316 // 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	317 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	318 return e;
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	321 if (isCommutative())
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	322 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	323 s = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	324 s_r = NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	325 if (ad1 && id_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	326 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	327 s_r = search_function(ad1, id_r);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	328 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	329 if (ad2 && id)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	330 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	331 s = search_function(ad2, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	332 }
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 if (s \|\| s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	335 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	336 /* Try:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	337 * a.opfunc_r(b)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	338 * b.opfunc(a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	339 * and see which is better.
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 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	342 FuncDeclaration *lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	343
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	344 if (!argsset)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	345 { args1.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	346 args1.data[0] = (void*) e1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	347 args2.setDim(1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	348 args2.data[0] = (void*) e2;
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	351 memset(&m, 0, sizeof(m));
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	352 m.last = MATCHnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	353
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	354 if (s_r)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	355 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	356 fd = s_r->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	357 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	358 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	359 overloadResolveX(&m, fd, &args2);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	360 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	361 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	362 { td = s_r->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	363 templateResolve(&m, td, sc, loc, NULL, &args2);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	364 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	365 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	366 lastf = m.lastf;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	367
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	368 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	369 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	370 fd = s->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	371 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	372 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	373 overloadResolveX(&m, fd, &args1);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	374 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	375 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	376 { td = s->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	377 templateResolve(&m, td, sc, loc, NULL, &args1);
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 }
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 (m.count > 1)
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 // Error, ambiguous
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	384 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	385 m.lastf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	386 m.nextf->type->toChars(),
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	387 m.lastf->toChars());
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	388 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	389 else if (m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	390 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	391 m.lastf = m.anyf;
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 (lastf && m.lastf == lastf \|\|
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	395 id_r && m.last == MATCHnomatch)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	396 // 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	397 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	398 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	399 // 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	400 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	401
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	402 // When reversing operands of comparison operators,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	403 // 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	404 switch (op)
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 case TOKlt: op = TOKgt; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	407 case TOKgt: op = TOKlt; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	408 case TOKle: op = TOKge; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	409 case TOKge: op = TOKle; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	410
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	411 // Floating point compares
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	412 case TOKule: op = TOKuge; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	413 case TOKul: op = TOKug; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	414 case TOKuge: op = TOKule; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	415 case TOKug: op = TOKul; break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	416
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	417 // These are symmetric
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	418 case TOKunord:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	419 case TOKlg:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	420 case TOKleg:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	421 case TOKue:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	422 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	423 }
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 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	426 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	427 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	428
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	429 return NULL;
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	432 /***********************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	433 * 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	434 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	435
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	436 static Expression build_overload(Loc loc, Scope sc, Expression ethis, Expression earg, Identifier *id)
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 Expression *e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	439
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	440 //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	441 //earg->print();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	442 //earg->type->print();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	443 e = new DotIdExp(loc, ethis, id);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	444
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	445 if (earg)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	446 e = new CallExp(loc, e, earg);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	447 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	448 e = new CallExp(loc, e);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	449
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	450 e = e->semantic(sc);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	451 return e;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	452 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	453
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	454 /***************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	455 * Search for function funcid in aggregate ad.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	456 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	457
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	458 Dsymbol search_function(AggregateDeclaration ad, Identifier *funcid)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	459 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	460 Dsymbol *s;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	461 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	462 TemplateDeclaration *td;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	463
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	464 s = ad->search(0, funcid, 0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	465 if (s)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	466 { Dsymbol *s2;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	467
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	468 //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	469 s2 = s->toAlias();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	470 //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	471 fd = s2->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	472 if (fd && fd->type->ty == Tfunction)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	473 return fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	474
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	475 td = s2->isTemplateDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	476 if (td)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	477 return td;
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 return NULL;
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	482
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	483 /*****************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	484 * 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	485 * 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	486 * them from the aggregate type.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	487 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	488
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	489 void inferApplyArgTypes(enum TOK op, Arguments arguments, Expression aggr)
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 if (!arguments \|\| !arguments->dim)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	492 return;
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 /* Return if no arguments need types.
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 for (size_t u = 0; 1; u++)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	497 { if (u == arguments->dim)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	498 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	499 Argument arg = (Argument )arguments->data[u];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	500 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	501 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	502 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	503
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	504 AggregateDeclaration *ad;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	505 FuncDeclaration *fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	506
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	507 Argument arg = (Argument )arguments->data[0];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	508 Type *taggr = aggr->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	509 if (!taggr)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	510 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	511 Type *tab = taggr->toBasetype();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	512 switch (tab->ty)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	513 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	514 case Tarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	515 case Tsarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	516 case Ttuple:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	517 if (arguments->dim == 2)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	518 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	519 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	520 arg->type = Type::tsize_t; // key type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	521 arg = (Argument *)arguments->data[1];
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 if (!arg->type && tab->ty != Ttuple)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	524 arg->type = tab->nextOf(); // value type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	525 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	526
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	527 case Taarray:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	528 { TypeAArray taa = (TypeAArray )tab;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	529
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	530 if (arguments->dim == 2)
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 (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	533 arg->type = taa->index; // key type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	534 arg = (Argument *)arguments->data[1];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	535 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	536 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	537 arg->type = taa->next; // value type
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	538 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	539 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	540
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	541 case Tclass:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	542 ad = ((TypeClass *)tab)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	543 goto Laggr;
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 case Tstruct:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	546 ad = ((TypeStruct *)tab)->sym;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	547 goto Laggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	548
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	549 Laggr:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	550 #if 0
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	551 if (arguments->dim == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	552 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	553 if (!arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	554 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	555 /* Look for an opNext() overload
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	556 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	557 Dsymbol *s = search_function(ad, Id::next);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	558 fd = s ? s->isFuncDeclaration() : NULL;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	559 if (!fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	560 goto Lapply;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	561 arg->type = fd->type->next;
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 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	564 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	565 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	566 Lapply:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	567 { /* Look for an
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	568 * int opApply(int delegate(ref Type [, ...]) dg);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	569 * overload
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	570 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	571 Dsymbol *s = search_function(ad,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	572 (op == TOKforeach_reverse) ? Id::applyReverse
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	573 : Id::apply);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	574 if (s)
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 fd = s->isFuncDeclaration();
1103 b30fe7e1dbb9 - Updated to DMD frontend 1.041. Tomas Lindquist Olsen <tomas.l.olsen gmail.com> parents: 875 diff changeset	577 if (fd)
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	578 inferApplyArgTypesX(fd, arguments);
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 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	581 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	582
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	583 case Tdelegate:
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 if (0 && aggr->op == TOKdelegate)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	586 { DelegateExp de = (DelegateExp )aggr;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	587
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	588 fd = de->func->isFuncDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	589 if (fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	590 inferApplyArgTypesX(fd, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	591 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	592 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	593 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	594 inferApplyArgTypesY((TypeFunction *)tab->nextOf(), arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	595 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	596 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	597 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	598
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	599 default:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	600 break; // ignore error, caught later
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	601 }
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
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 * Recursive helper function,
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	606 * analogous to func.overloadResolveX().
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	607 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	608
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	609 int fp3(void param, FuncDeclaration f)
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 Arguments arguments = (Arguments )param;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	612 TypeFunction tf = (TypeFunction )f->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	613 if (inferApplyArgTypesY(tf, arguments) == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	614 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	615 if (arguments->dim == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	616 return 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	617 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	618 }
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 static void inferApplyArgTypesX(FuncDeclaration fstart, Arguments arguments)
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 overloadApply(fstart, &fp3, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	623 }
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
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	626 static void inferApplyArgTypesX(FuncDeclaration fstart, Arguments arguments)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	627 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	628 Declaration *d;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	629 Declaration *next;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	630
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	631 for (d = fstart; d; d = next)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	632 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	633 FuncDeclaration *f;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	634 FuncAliasDeclaration *fa;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	635 AliasDeclaration *a;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	636
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	637 fa = d->isFuncAliasDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	638 if (fa)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	639 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	640 inferApplyArgTypesX(fa->funcalias, arguments);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	641 next = fa->overnext;
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 else if ((f = d->isFuncDeclaration()) != NULL)
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 next = f->overnext;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	646
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	647 TypeFunction tf = (TypeFunction )f->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	648 if (inferApplyArgTypesY(tf, arguments) == 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	649 continue;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	650 if (arguments->dim == 0)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	651 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	652 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	653 else if ((a = d->isAliasDeclaration()) != NULL)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	654 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	655 Dsymbol *s = a->toAlias();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	656 next = s->isDeclaration();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	657 if (next == a)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	658 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	659 if (next == fstart)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	660 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	661 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	662 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	663 { d->error("is aliased to a function");
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	664 break;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	665 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	666 }
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 #endif
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	669
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 * Infer arguments from type of function.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	672 * Returns:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	673 * 0 match for this function
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	674 * 1 no match for this function
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	675 */
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 static int inferApplyArgTypesY(TypeFunction tf, Arguments arguments)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	678 { size_t nparams;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	679 Argument *p;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	680
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	681 if (Argument::dim(tf->parameters) != 1)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	682 goto Lnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	683 p = Argument::getNth(tf->parameters, 0);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	684 if (p->type->ty != Tdelegate)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	685 goto Lnomatch;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	686 tf = (TypeFunction *)p->type->nextOf();
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	687 assert(tf->ty == Tfunction);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	688
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	689 /* 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	690 * the arguments, filling in missing argument types.
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	691 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	692 nparams = Argument::dim(tf->parameters);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	693 if (nparams == 0 \|\| tf->varargs)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	694 goto Lnomatch; // not enough parameters
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	695 if (arguments->dim != nparams)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	696 goto Lnomatch; // not enough parameters
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	697
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	698 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	699 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	700 Argument arg = (Argument )arguments->data[u];
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	701 Argument *param = Argument::getNth(tf->parameters, u);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	702 if (arg->type)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	703 { if (!arg->type->equals(param->type))
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	704 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	705 /* Cannot resolve argument types. Indicate an
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	706 * 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	707 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	708 arguments->dim = 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	709 goto Lmatch;
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 continue;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	712 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	713 arg->type = param->type;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	714 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	715 Lmatch:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	716 return 0;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	717
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	718 Lnomatch:
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	719 return 1;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	720 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	721
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	722 /**************************************
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	723 */
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	724
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	725 static void templateResolve(Match m, TemplateDeclaration td, Scope sc, Loc loc, Objects targsi, Expressions *arguments)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	726 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	727 FuncDeclaration *fd;
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 assert(td);
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	730 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	731 if (!fd)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	732 return;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	733 m->anyf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	734 if (m->last >= MATCHexact)
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	735 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	736 m->nextf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	737 m->count++;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	738 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	739 else
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	740 {
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	741 m->last = MATCHexact;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	742 m->lastf = fd;
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	743 m->count = 1;
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 }
330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 571 diff changeset	746

Mercurial > projects > ldc

annotate dmd/opover.c @ 1138:4c8bb03e4fbc