source: src/ResolvExpr/Unify.cc@ e491159

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since e491159 was 03da511, checked in by Rob Schluntz <rschlunt@…>, 9 years ago

added comparator to more intelligently order assertions for resolution and added length checks to short circuit function type unification
  • Property mode set to 100644
File size: 23.9 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Unify.cc --
8//
9// Author : Richard C. Bilson
10// Created On : Sun May 17 12:27:10 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar 2 17:37:05 2016
13// Update Count : 37
14//
15
16#include <set>
17#include <memory>
18
19#include "Unify.h"
20#include "TypeEnvironment.h"
21#include "typeops.h"
22#include "FindOpenVars.h"
23#include "SynTree/Visitor.h"
24#include "SynTree/Type.h"
25#include "SynTree/Declaration.h"
26#include "SymTab/Indexer.h"
27#include "Common/utility.h"
28
29
30// #define DEBUG
31
32namespace ResolvExpr {
33 struct WidenMode {
34 WidenMode( bool widenFirst, bool widenSecond ): widenFirst( widenFirst ), widenSecond( widenSecond ) {}
35 WidenMode &operator|=( const WidenMode &other ) { widenFirst |= other.widenFirst; widenSecond |= other.widenSecond; return *this; }
36 WidenMode &operator&=( const WidenMode &other ) { widenFirst &= other.widenFirst; widenSecond &= other.widenSecond; return *this; }
37 WidenMode operator|( const WidenMode &other ) { WidenMode newWM( *this ); newWM |= other; return newWM; }
38 WidenMode operator&( const WidenMode &other ) { WidenMode newWM( *this ); newWM &= other; return newWM; }
39 operator bool() { return widenFirst && widenSecond; }
40
41 bool widenFirst : 1, widenSecond : 1;
42 };
43
44 class Unify : public Visitor {
45 public:
46 Unify( Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer );
47
48 bool get_result() const { return result; }
49 private:
50 virtual void visit(VoidType *voidType);
51 virtual void visit(BasicType *basicType);
52 virtual void visit(PointerType *pointerType);
53 virtual void visit(ArrayType *arrayType);
54 virtual void visit(FunctionType *functionType);
55 virtual void visit(StructInstType *aggregateUseType);
56 virtual void visit(UnionInstType *aggregateUseType);
57 virtual void visit(EnumInstType *aggregateUseType);
58 virtual void visit(TraitInstType *aggregateUseType);
59 virtual void visit(TypeInstType *aggregateUseType);
60 virtual void visit(TupleType *tupleType);
61 virtual void visit(VarArgsType *varArgsType);
62
63 template< typename RefType > void handleRefType( RefType *inst, Type *other );
64 template< typename RefType > void handleGenericRefType( RefType *inst, Type *other );
65
66 bool result;
67 Type *type2; // inherited
68 TypeEnvironment &env;
69 AssertionSet &needAssertions;
70 AssertionSet &haveAssertions;
71 const OpenVarSet &openVars;
72 WidenMode widenMode;
73 Type *commonType;
74 const SymTab::Indexer &indexer;
75 };
76
77 /// Attempts an inexact unification of type1 and type2.
78 /// Returns false if no such unification; if the types can be unified, sets common (unless they unify exactly and have identical type qualifiers)
79 bool unifyInexact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer, Type *&common );
80 bool unifyExact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer );
81
82 bool typesCompatible( Type *first, Type *second, const SymTab::Indexer &indexer, const TypeEnvironment &env ) {
83 TypeEnvironment newEnv;
84 OpenVarSet openVars, closedVars; // added closedVars
85 AssertionSet needAssertions, haveAssertions;
86 Type *newFirst = first->clone(), *newSecond = second->clone();
87 env.apply( newFirst );
88 env.apply( newSecond );
89
90 // do we need to do this? Seems like we do, types should be able to be compatible if they
91 // have free variables that can unify
92 findOpenVars( newFirst, openVars, closedVars, needAssertions, haveAssertions, false );
93 findOpenVars( newSecond, openVars, closedVars, needAssertions, haveAssertions, true );
94
95 bool result = unifyExact( newFirst, newSecond, newEnv, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
96 delete newFirst;
97 delete newSecond;
98 return result;
99 }
100
101 bool typesCompatibleIgnoreQualifiers( Type *first, Type *second, const SymTab::Indexer &indexer, const TypeEnvironment &env ) {
102 TypeEnvironment newEnv;
103 OpenVarSet openVars;
104 AssertionSet needAssertions, haveAssertions;
105 Type *newFirst = first->clone(), *newSecond = second->clone();
106 env.apply( newFirst );
107 env.apply( newSecond );
108 newFirst->get_qualifiers() = Type::Qualifiers();
109 newSecond->get_qualifiers() = Type::Qualifiers();
110/// std::cout << "first is ";
111/// first->print( std::cout );
112/// std::cout << std::endl << "second is ";
113/// second->print( std::cout );
114/// std::cout << std::endl << "newFirst is ";
115/// newFirst->print( std::cout );
116/// std::cout << std::endl << "newSecond is ";
117/// newSecond->print( std::cout );
118/// std::cout << std::endl;
119 bool result = unifyExact( newFirst, newSecond, newEnv, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
120 delete newFirst;
121 delete newSecond;
122 return result;
123 }
124
125 bool isFtype( Type *type, const SymTab::Indexer &indexer ) {
126 if ( dynamic_cast< FunctionType* >( type ) ) {
127 return true;
128 } else if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( type ) ) {
129 return typeInst->get_isFtype();
130 } // if
131 return false;
132 }
133
134 bool tyVarCompatible( TypeDecl::Kind kind, Type *type, const SymTab::Indexer &indexer ) {
135 switch ( kind ) {
136 case TypeDecl::Any:
137 case TypeDecl::Dtype:
138 return ! isFtype( type, indexer );
139
140 case TypeDecl::Ftype:
141 return isFtype( type, indexer );
142 } // switch
143 assert( false );
144 return false;
145 }
146
147 bool bindVar( TypeInstType *typeInst, Type *other, TypeDecl::Kind kind, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer ) {
148 OpenVarSet::const_iterator tyvar = openVars.find( typeInst->get_name() );
149 assert( tyvar != openVars.end() );
150 if ( ! tyVarCompatible( tyvar->second, other, indexer ) ) {
151 return false;
152 } // if
153 if ( occurs( other, typeInst->get_name(), env ) ) {
154 return false;
155 } // if
156 EqvClass curClass;
157 if ( env.lookup( typeInst->get_name(), curClass ) ) {
158 if ( curClass.type ) {
159 Type *common = 0;
160 // attempt to unify equivalence class type (which has qualifiers stripped, so they must be restored) with the type to bind to
161 std::auto_ptr< Type > newType( curClass.type->clone() );
162 newType->get_qualifiers() = typeInst->get_qualifiers();
163 if ( unifyInexact( newType.get(), other, env, needAssertions, haveAssertions, openVars, widenMode & WidenMode( curClass.allowWidening, true ), indexer, common ) ) {
164 if ( common ) {
165 common->get_qualifiers() = Type::Qualifiers();
166 delete curClass.type;
167 curClass.type = common;
168 env.add( curClass );
169 } // if
170 return true;
171 } else {
172 return false;
173 } // if
174 } else {
175 curClass.type = other->clone();
176 curClass.type->get_qualifiers() = Type::Qualifiers();
177 curClass.allowWidening = widenMode.widenFirst && widenMode.widenSecond;
178 env.add( curClass );
179 } // if
180 } else {
181 EqvClass newClass;
182 newClass.vars.insert( typeInst->get_name() );
183 newClass.type = other->clone();
184 newClass.type->get_qualifiers() = Type::Qualifiers();
185 newClass.allowWidening = widenMode.widenFirst && widenMode.widenSecond;
186 newClass.kind = kind;
187 env.add( newClass );
188 } // if
189 return true;
190 }
191
192 bool bindVarToVar( TypeInstType *var1, TypeInstType *var2, TypeDecl::Kind kind, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer ) {
193 bool result = true;
194 EqvClass class1, class2;
195 bool hasClass1 = false, hasClass2 = false;
196 bool widen1 = false, widen2 = false;
197 Type *type1 = 0, *type2 = 0;
198
199 if ( env.lookup( var1->get_name(), class1 ) ) {
200 hasClass1 = true;
201 if ( class1.type ) {
202 if ( occurs( class1.type, var2->get_name(), env ) ) {
203 return false;
204 } // if
205 type1 = class1.type->clone();
206 } // if
207 widen1 = widenMode.widenFirst && class1.allowWidening;
208 } // if
209 if ( env.lookup( var2->get_name(), class2 ) ) {
210 hasClass2 = true;
211 if ( class2.type ) {
212 if ( occurs( class2.type, var1->get_name(), env ) ) {
213 return false;
214 } // if
215 type2 = class2.type->clone();
216 } // if
217 widen2 = widenMode.widenSecond && class2.allowWidening;
218 } // if
219
220 if ( type1 && type2 ) {
221// std::cout << "has type1 && type2" << std::endl;
222 WidenMode newWidenMode ( widen1, widen2 );
223 Type *common = 0;
224 if ( unifyInexact( type1, type2, env, needAssertions, haveAssertions, openVars, newWidenMode, indexer, common ) ) {
225 class1.vars.insert( class2.vars.begin(), class2.vars.end() );
226 class1.allowWidening = widen1 && widen2;
227 if ( common ) {
228 common->get_qualifiers() = Type::Qualifiers();
229 delete class1.type;
230 class1.type = common;
231 } // if
232 env.add( class1 );
233 } else {
234 result = false;
235 } // if
236 } else if ( hasClass1 && hasClass2 ) {
237 if ( type1 ) {
238 class1.vars.insert( class2.vars.begin(), class2.vars.end() );
239 class1.allowWidening = widen1;
240 env.add( class1 );
241 } else {
242 class2.vars.insert( class1.vars.begin(), class1.vars.end() );
243 class2.allowWidening = widen2;
244 env.add( class2 );
245 } // if
246 } else if ( hasClass1 ) {
247 class1.vars.insert( var2->get_name() );
248 class1.allowWidening = widen1;
249 env.add( class1 );
250 } else if ( hasClass2 ) {
251 class2.vars.insert( var1->get_name() );
252 class2.allowWidening = widen2;
253 env.add( class2 );
254 } else {
255 EqvClass newClass;
256 newClass.vars.insert( var1->get_name() );
257 newClass.vars.insert( var2->get_name() );
258 newClass.allowWidening = widen1 && widen2;
259 newClass.kind = kind;
260 env.add( newClass );
261 } // if
262 delete type1;
263 delete type2;
264 return result;
265 }
266
267 bool unify( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer ) {
268 OpenVarSet closedVars;
269 findOpenVars( type1, openVars, closedVars, needAssertions, haveAssertions, false );
270 findOpenVars( type2, openVars, closedVars, needAssertions, haveAssertions, true );
271 Type *commonType = 0;
272 if ( unifyInexact( type1, type2, env, needAssertions, haveAssertions, openVars, WidenMode( true, true ), indexer, commonType ) ) {
273 if ( commonType ) {
274 delete commonType;
275 } // if
276 return true;
277 } else {
278 return false;
279 } // if
280 }
281
282 bool unify( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer, Type *&commonType ) {
283 OpenVarSet closedVars;
284 findOpenVars( type1, openVars, closedVars, needAssertions, haveAssertions, false );
285 findOpenVars( type2, openVars, closedVars, needAssertions, haveAssertions, true );
286 return unifyInexact( type1, type2, env, needAssertions, haveAssertions, openVars, WidenMode( true, true ), indexer, commonType );
287 }
288
289 bool unifyExact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer ) {
290#ifdef DEBUG
291 TypeEnvironment debugEnv( env );
292#endif
293 if ( type1->get_qualifiers() != type2->get_qualifiers() ) {
294 return false;
295 }
296
297 bool result;
298 TypeInstType *var1 = dynamic_cast< TypeInstType* >( type1 );
299 TypeInstType *var2 = dynamic_cast< TypeInstType* >( type2 );
300 OpenVarSet::const_iterator entry1, entry2;
301 if ( var1 ) {
302 entry1 = openVars.find( var1->get_name() );
303 } // if
304 if ( var2 ) {
305 entry2 = openVars.find( var2->get_name() );
306 } // if
307 bool isopen1 = var1 && ( entry1 != openVars.end() );
308 bool isopen2 = var2 && ( entry2 != openVars.end() );
309
310 if ( isopen1 && isopen2 && entry1->second == entry2->second ) {
311 result = bindVarToVar( var1, var2, entry1->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
312 } else if ( isopen1 ) {
313 result = bindVar( var1, type2, entry1->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
314 } else if ( isopen2 ) {
315 result = bindVar( var2, type1, entry2->second, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
316 } else {
317 Unify comparator( type2, env, needAssertions, haveAssertions, openVars, widenMode, indexer );
318 type1->accept( comparator );
319 result = comparator.get_result();
320 } // if
321#ifdef DEBUG
322 std::cout << "============ unifyExact" << std::endl;
323 std::cout << "type1 is ";
324 type1->print( std::cout );
325 std::cout << std::endl << "type2 is ";
326 type2->print( std::cout );
327 std::cout << std::endl << "openVars are ";
328 printOpenVarSet( openVars, std::cout, 8 );
329 std::cout << std::endl << "input env is " << std::endl;
330 debugEnv.print( std::cout, 8 );
331 std::cout << std::endl << "result env is " << std::endl;
332 env.print( std::cout, 8 );
333 std::cout << "result is " << result << std::endl;
334#endif
335 return result;
336 }
337
338 bool unifyExact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, OpenVarSet &openVars, const SymTab::Indexer &indexer ) {
339 return unifyExact( type1, type2, env, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
340 }
341
342 bool unifyInexact( Type *type1, Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer, Type *&common ) {
343 Type::Qualifiers tq1 = type1->get_qualifiers(), tq2 = type2->get_qualifiers();
344 type1->get_qualifiers() = Type::Qualifiers();
345 type2->get_qualifiers() = Type::Qualifiers();
346 bool result;
347#ifdef DEBUG
348 std::cout << "unifyInexact type 1 is ";
349 type1->print( std::cout );
350 std::cout << "type 2 is ";
351 type2->print( std::cout );
352 std::cout << std::endl;
353#endif
354 if ( ! unifyExact( type1, type2, env, needAssertions, haveAssertions, openVars, widenMode, indexer ) ) {
355#ifdef DEBUG
356 std::cout << "unifyInexact: no exact unification found" << std::endl;
357#endif
358 if ( ( common = commonType( type1, type2, widenMode.widenFirst, widenMode.widenSecond, indexer, env, openVars ) ) ) {
359 common->get_qualifiers() = tq1 + tq2;
360#ifdef DEBUG
361 std::cout << "unifyInexact: common type is ";
362 common->print( std::cout );
363 std::cout << std::endl;
364#endif
365 result = true;
366 } else {
367#ifdef DEBUG
368 std::cout << "unifyInexact: no common type found" << std::endl;
369#endif
370 result = false;
371 } // if
372 } else {
373 if ( tq1 != tq2 ) {
374 if ( ( tq1 > tq2 || widenMode.widenFirst ) && ( tq2 > tq1 || widenMode.widenSecond ) ) {
375 common = type1->clone();
376 common->get_qualifiers() = tq1 + tq2;
377 result = true;
378 } else {
379 result = false;
380 } // if
381 } else {
382 result = true;
383 } // if
384 } // if
385 type1->get_qualifiers() = tq1;
386 type2->get_qualifiers() = tq2;
387 return result;
388 }
389
390 Unify::Unify( Type *type2, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer )
391 : result( false ), type2( type2 ), env( env ), needAssertions( needAssertions ), haveAssertions( haveAssertions ), openVars( openVars ), widenMode( widenMode ), indexer( indexer ) {
392 }
393
394 void Unify::visit(VoidType *voidType) {
395 result = dynamic_cast< VoidType* >( type2 );
396 }
397
398 void Unify::visit(BasicType *basicType) {
399 if ( BasicType *otherBasic = dynamic_cast< BasicType* >( type2 ) ) {
400 result = basicType->get_kind() == otherBasic->get_kind();
401 } // if
402 }
403
404 void markAssertionSet( AssertionSet &assertions, DeclarationWithType *assert ) {
405/// std::cout << "assertion set is" << std::endl;
406/// printAssertionSet( assertions, std::cout, 8 );
407/// std::cout << "looking for ";
408/// assert->print( std::cout );
409/// std::cout << std::endl;
410 AssertionSet::iterator i = assertions.find( assert );
411 if ( i != assertions.end() ) {
412/// std::cout << "found it!" << std::endl;
413 i->second = true;
414 } // if
415 }
416
417 void markAssertions( AssertionSet &assertion1, AssertionSet &assertion2, Type *type ) {
418 for ( std::list< TypeDecl* >::const_iterator tyvar = type->get_forall().begin(); tyvar != type->get_forall().end(); ++tyvar ) {
419 for ( std::list< DeclarationWithType* >::const_iterator assert = (*tyvar)->get_assertions().begin(); assert != (*tyvar)->get_assertions().end(); ++assert ) {
420 markAssertionSet( assertion1, *assert );
421 markAssertionSet( assertion2, *assert );
422 } // for
423 } // for
424 }
425
426 void Unify::visit(PointerType *pointerType) {
427 if ( PointerType *otherPointer = dynamic_cast< PointerType* >( type2 ) ) {
428 result = unifyExact( pointerType->get_base(), otherPointer->get_base(), env, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
429 markAssertions( haveAssertions, needAssertions, pointerType );
430 markAssertions( haveAssertions, needAssertions, otherPointer );
431 } // if
432 }
433
434 void Unify::visit(ArrayType *arrayType) {
435 ArrayType *otherArray = dynamic_cast< ArrayType* >( type2 );
436 // to unify, array types must both be VLA or both not VLA
437 // and must both have a dimension expression or not have a dimension
438 if ( otherArray && arrayType->get_isVarLen() == otherArray->get_isVarLen() ) {
439
440 // not positive this is correct in all cases, but it's needed for typedefs
441 if ( arrayType->get_isVarLen() || otherArray->get_isVarLen() ) {
442 return;
443 }
444
445 if ( ! arrayType->get_isVarLen() && ! otherArray->get_isVarLen() &&
446 arrayType->get_dimension() != 0 && otherArray->get_dimension() != 0 ) {
447 ConstantExpr * ce1 = dynamic_cast< ConstantExpr * >( arrayType->get_dimension() );
448 ConstantExpr * ce2 = dynamic_cast< ConstantExpr * >( otherArray->get_dimension() );
449 // see C11 Reference Manual 6.7.6.2.6
450 // two array types with size specifiers that are integer constant expressions are
451 // compatible if both size specifiers have the same constant value
452 if ( ce1 && ce2 ) {
453 Constant * c1 = ce1->get_constant();
454 Constant * c2 = ce2->get_constant();
455
456 if ( c1->get_value() != c2->get_value() ) {
457 // does not unify if the dimension is different
458 return;
459 }
460 }
461 }
462
463 result = unifyExact( arrayType->get_base(), otherArray->get_base(), env, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
464 } // if
465 }
466
467 template< typename Iterator1, typename Iterator2 >
468 bool unifyDeclList( Iterator1 list1Begin, Iterator1 list1End, Iterator2 list2Begin, Iterator2 list2End, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, const SymTab::Indexer &indexer ) {
469 for ( ; list1Begin != list1End && list2Begin != list2End; ++list1Begin, ++list2Begin ) {
470 // Type * commonType;
471 // if ( ! unifyInexact( (*list1Begin)->get_type(), (*list2Begin)->get_type(), env, needAssertions, haveAssertions, openVars, WidenMode( true, true ), indexer, commonType ) ) {
472 if ( ! unifyExact( (*list1Begin)->get_type(), (*list2Begin)->get_type(), env, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer ) ) {
473 return false;
474 } // if
475 } // for
476 if ( list1Begin != list1End || list2Begin != list2End ) {
477 return false;
478 } else {
479 return true;
480 } // if
481 }
482
483 void Unify::visit(FunctionType *functionType) {
484 FunctionType *otherFunction = dynamic_cast< FunctionType* >( type2 );
485 if ( otherFunction && functionType->get_isVarArgs() == otherFunction->get_isVarArgs() ) {
486 if ( functionType->get_parameters().size() == otherFunction->get_parameters().size() && functionType->get_returnVals().size() == otherFunction->get_returnVals().size() ) {
487 if ( unifyDeclList( functionType->get_parameters().begin(), functionType->get_parameters().end(), otherFunction->get_parameters().begin(), otherFunction->get_parameters().end(), env, needAssertions, haveAssertions, openVars, indexer ) ) {
488 if ( unifyDeclList( functionType->get_returnVals().begin(), functionType->get_returnVals().end(), otherFunction->get_returnVals().begin(), otherFunction->get_returnVals().end(), env, needAssertions, haveAssertions, openVars, indexer ) ) {
489
490 markAssertions( haveAssertions, needAssertions, functionType );
491 markAssertions( haveAssertions, needAssertions, otherFunction );
492
493 result = true;
494 } // if
495 } // if
496 } // if
497 } // if
498 }
499
500 template< typename RefType >
501 void Unify::handleRefType( RefType *inst, Type *other ) {
502 // check that other type is compatible and named the same
503 RefType *otherStruct = dynamic_cast< RefType* >( other );
504 result = otherStruct && inst->get_name() == otherStruct->get_name();
505 }
506
507 template< typename RefType >
508 void Unify::handleGenericRefType( RefType *inst, Type *other ) {
509 // Check that other type is compatible and named the same
510 handleRefType( inst, other );
511 if ( ! result ) return;
512 // Check that parameters of types unify, if any
513 std::list< Expression* > params = inst->get_parameters();
514 std::list< Expression* > otherParams = ((RefType*)other)->get_parameters();
515
516 std::list< Expression* >::const_iterator it = params.begin(), jt = otherParams.begin();
517 for ( ; it != params.end() && jt != otherParams.end(); ++it, ++jt ) {
518 TypeExpr *param = dynamic_cast< TypeExpr* >(*it);
519 assert(param && "Aggregate parameters should be type expressions");
520 TypeExpr *otherParam = dynamic_cast< TypeExpr* >(*jt);
521 assert(otherParam && "Aggregate parameters should be type expressions");
522
523 if ( ! unifyExact( param->get_type(), otherParam->get_type(), env, needAssertions, haveAssertions, openVars, WidenMode(false, false), indexer ) ) {
524 result = false;
525 return;
526 }
527 }
528 result = ( it == params.end() && jt == otherParams.end() );
529 }
530
531 void Unify::visit(StructInstType *structInst) {
532 handleGenericRefType( structInst, type2 );
533 }
534
535 void Unify::visit(UnionInstType *unionInst) {
536 handleGenericRefType( unionInst, type2 );
537 }
538
539 void Unify::visit(EnumInstType *enumInst) {
540 handleRefType( enumInst, type2 );
541 }
542
543 void Unify::visit(TraitInstType *contextInst) {
544 handleRefType( contextInst, type2 );
545 }
546
547 void Unify::visit(TypeInstType *typeInst) {
548 assert( openVars.find( typeInst->get_name() ) == openVars.end() );
549 TypeInstType *otherInst = dynamic_cast< TypeInstType* >( type2 );
550 if ( otherInst && typeInst->get_name() == otherInst->get_name() ) {
551 result = true;
552/// } else {
553/// NamedTypeDecl *nt = indexer.lookupType( typeInst->get_name() );
554/// if ( nt ) {
555/// TypeDecl *type = dynamic_cast< TypeDecl* >( nt );
556/// assert( type );
557/// if ( type->get_base() ) {
558/// result = unifyExact( type->get_base(), typeInst, env, needAssertions, haveAssertions, openVars, WidenMode( false, false ), indexer );
559/// }
560/// }
561 } // if
562 }
563
564 template< typename Iterator1, typename Iterator2 >
565 bool unifyList( Iterator1 list1Begin, Iterator1 list1End, Iterator2 list2Begin, Iterator2 list2End, TypeEnvironment &env, AssertionSet &needAssertions, AssertionSet &haveAssertions, const OpenVarSet &openVars, WidenMode widenMode, const SymTab::Indexer &indexer ) {
566 for ( ; list1Begin != list1End && list2Begin != list2End; ++list1Begin, ++list2Begin ) {
567 Type *commonType = 0;
568 if ( ! unifyInexact( *list1Begin, *list2Begin, env, needAssertions, haveAssertions, openVars, widenMode, indexer, commonType ) ) {
569 return false;
570 }
571 delete commonType;
572 } // for
573 if ( list1Begin != list1End || list2Begin != list2End ) {
574 return false;
575 } else {
576 return true;
577 } //if
578 }
579
580 void Unify::visit(TupleType *tupleType) {
581 if ( TupleType *otherTuple = dynamic_cast< TupleType* >( type2 ) ) {
582 result = unifyList( tupleType->get_types().begin(), tupleType->get_types().end(), otherTuple->get_types().begin(), otherTuple->get_types().end(), env, needAssertions, haveAssertions, openVars, widenMode, indexer );
583 } // if
584 }
585
586 void Unify::visit(VarArgsType *varArgsType) {
587 result = dynamic_cast< VarArgsType* >( type2 );
588 }
589
590} // namespace ResolvExpr
591
592// Local Variables: //
593// tab-width: 4 //
594// mode: c++ //
595// compile-command: "make install" //
596// End: //
Note: See TracBrowser for help on using the repository browser.