Changeset ef42e764 for src/GenPoly/ScrubTyVars.cc

Timestamp:

Aug 10, 2016, 2:36:17 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

5ae36ed

Parents:

e109716 (diff), 3078643 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/GenPoly/ScrubTyVars.cc (modified) (4 diffs)

src/GenPoly/ScrubTyVars.cc

@@ -45 +45 @@
 
         Type * ScrubTyVars::mutateAggregateType( Type *ty ) {
-                if ( isPolyType( ty, tyVars ) ) {
+                if ( shouldScrub( ty ) ) {
                         PointerType *ret = new PointerType( Type::Qualifiers(), new VoidType( ty->get_qualifiers() ) );
                         delete ty;
@@ -63 +63 @@
         Expression * ScrubTyVars::mutate( SizeofExpr *szeof ) {
                 // sizeof( T ) => _sizeof_T parameter, which is the size of T
-                if ( Type *polyType = isPolyType( szeof->get_type() ) ) {
-                        Expression *expr = new NameExpr( sizeofName( mangleType( polyType ) ) );
+                if ( Type *dynType = shouldScrub( szeof->get_type() ) ) {
+                        Expression *expr = new NameExpr( sizeofName( mangleType( dynType ) ) );
                         return expr;
                 } else {
@@ -73 +73 @@
         Expression * ScrubTyVars::mutate( AlignofExpr *algnof ) {
                 // alignof( T ) => _alignof_T parameter, which is the alignment of T
-                if ( Type *polyType = isPolyType( algnof->get_type() ) ) {
-                        Expression *expr = new NameExpr( alignofName( mangleType( polyType ) ) );
+                if ( Type *dynType = shouldScrub( algnof->get_type() ) ) {
+                        Expression *expr = new NameExpr( alignofName( mangleType( dynType ) ) );
                         return expr;
                 } else {
@@ -82 +82 @@
 
         Type * ScrubTyVars::mutate( PointerType *pointer ) {
-                if ( Type *polyType = isPolyType( pointer->get_base(), tyVars ) ) {
-                        Type *ret = polyType->acceptMutator( *this );
+//              // special case of shouldScrub that takes all TypeInstType pointer bases, even if they're not dynamic
+//              Type *base = pointer->get_base();
+//              Type *dynType = 0;
+//              if ( dynamicOnly ) {
+//                      if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( base ) ) {
+//                              if ( tyVars.find( typeInst->get_name() ) != tyVars.end() ) { dynType = typeInst; }
+//                      } else {
+//                              dynType = isDynType( base, tyVars );
+//                      }
+//              } else {
+//                      dynType = isPolyType( base, tyVars );
+//              }
+//              if ( dynType ) {
+                if ( Type *dynType = shouldScrub( pointer->get_base() ) ) {
+                        Type *ret = dynType->acceptMutator( *this );
                         ret->get_qualifiers() += pointer->get_qualifiers();
                         pointer->set_base( 0 );