Changeset f6d7e0f for src/SymTab
- Timestamp:
- Jul 3, 2015, 6:52:57 PM (9 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
- Children:
- 28a8cf9
- Parents:
- 2871210
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/SymTab/Validate.cc
r2871210 rf6d7e0f 10 10 // Created On : Sun May 17 21:50:04 2015 11 11 // Last Modified By : Rob Schluntz 12 // Last Modified On : Wed Jun 24 16:20:50201513 // Update Count : 3012 // Last Modified On : Fri Jul 03 13:17:07 2015 13 // Update Count : 131 14 14 // 15 15 … … 52 52 #include "UniqueName.h" 53 53 #include "AddVisit.h" 54 #include "MakeLibCfa.h" 54 55 55 56 … … 291 292 292 293 for ( std::list< Declaration * >::iterator i = enumDecl->get_members().begin(); i != enumDecl->get_members().end(); ++i ) { 293 ObjectDecl * obj = dynamic_cast< ObjectDecl * >( *i );294 ObjectDecl * obj = dynamic_cast< ObjectDecl * >( *i ); 294 295 assert( obj ); 295 obj->set_type( new EnumInstType( Type::Qualifiers( true, false, false, false, false, false ), enumDecl->get_name() ) ); 296 // obj->set_type( new EnumInstType( Type::Qualifiers( true, false, false, false, false, false ), enumDecl->get_name() ) ); 297 BasicType * enumType = new BasicType( Type::Qualifiers(), BasicType::SignedInt ); 298 obj->set_type( enumType ) ; 296 299 } // for 297 300 Parent::visit( enumDecl ); … … 543 546 } 544 547 548 //E ?=?(E volatile*, int), 549 // ?=?(E _Atomic volatile*, int); 550 void makeEnumAssignment( EnumDecl *enumDecl, EnumInstType *refType, unsigned int functionNesting, std::list< Declaration * > &declsToAdd ) { 551 FunctionType *assignType = new FunctionType( Type::Qualifiers(), false ); 552 553 ObjectDecl *returnVal = new ObjectDecl( "", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, refType->clone(), 0 ); 554 assignType->get_returnVals().push_back( returnVal ); 555 556 // need two assignment operators with different types 557 FunctionType * assignType2 = assignType->clone(); 558 559 // E ?=?(E volatile *, E) 560 Type *etype = refType->clone(); 561 etype->get_qualifiers() += Type::Qualifiers(false, true, false, false, false, false); 562 563 ObjectDecl *dstParam = new ObjectDecl( "_dst", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, new PointerType( Type::Qualifiers(), etype ), 0 ); 564 assignType->get_parameters().push_back( dstParam ); 565 566 ObjectDecl *srcParam = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, etype->clone(), 0 ); 567 assignType->get_parameters().push_back( srcParam ); 568 569 // E ?=?(E volatile *, int) 570 assignType2->get_parameters().push_back( dstParam->clone() ); 571 BasicType * paramType = new BasicType(Type::Qualifiers(), BasicType::SignedInt); 572 ObjectDecl *srcParam2 = new ObjectDecl( "_src", DeclarationNode::NoStorageClass, LinkageSpec::Cforall, 0, paramType, 0 ); 573 assignType2->get_parameters().push_back( srcParam2 ); 574 575 // Routines at global scope marked "static" to prevent multiple definitions is separate translation units 576 // because each unit generates copies of the default routines for each aggregate. 577 578 // since there is no definition, these should not be inline 579 // make these intrinsic so that the code generator does not make use of them 580 FunctionDecl *assignDecl = new FunctionDecl( "?=?", functionNesting > 0 ? DeclarationNode::NoStorageClass : DeclarationNode::Static, LinkageSpec::Intrinsic, assignType, 0, false, false ); 581 assignDecl->fixUniqueId(); 582 FunctionDecl *assignDecl2 = new FunctionDecl( "?=?", functionNesting > 0 ? DeclarationNode::NoStorageClass : DeclarationNode::Static, LinkageSpec::Intrinsic, assignType2, 0, false, false ); 583 assignDecl2->fixUniqueId(); 584 585 std::list< Declaration * > assigns; 586 assigns.push_back( assignDecl ); 587 assigns.push_back( assignDecl2 ); 588 589 LibCfa::makeLibCfa( assigns ); 590 591 declsToAdd.insert( declsToAdd.begin(), assigns.begin(), assigns.end() ); 592 593 // return assignDecl; 594 } 595 596 545 597 Declaration *makeStructAssignment( StructDecl *aggregateDecl, StructInstType *refType, unsigned int functionNesting ) { 546 598 FunctionType *assignType = new FunctionType( Type::Qualifiers(), false ); … … 612 664 613 665 return assignDecl; 666 } 667 668 void AddStructAssignment::visit( EnumDecl *enumDecl ) { 669 if ( ! enumDecl->get_members().empty() ) { 670 EnumInstType *enumInst = new EnumInstType( Type::Qualifiers(), enumDecl->get_name() ); 671 // enumInst->set_baseEnum( enumDecl ); 672 // declsToAdd.push_back( 673 makeEnumAssignment( enumDecl, enumInst, functionNesting, declsToAdd ); 674 } 614 675 } 615 676
Note: See TracChangeset
for help on using the changeset viewer.