Changeset bd9bcc8 for src/Tuples/TupleExpansion.cc

Timestamp:

Feb 20, 2017, 12:05:49 PM (9 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

3bff885

Parents:

facc44f (diff), d150ea2 (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/Tuples/TupleExpansion.cc (modified) (4 diffs)

src/Tuples/TupleExpansion.cc

@@ -29 +29 @@
 #include "ResolvExpr/typeops.h"
 #include "InitTweak/GenInit.h"
+#include "InitTweak/InitTweak.h"
 
 namespace Tuples {
@@ -78 +79 @@
                         }
                   private:
-                        ScopedMap< std::string, StructDecl * > typeMap;
+                        ScopedMap< int, StructDecl * > typeMap;
                 };
 
@@ -213 +214 @@
 
         Type * TupleTypeReplacer::mutate( TupleType * tupleType ) {
-                std::string mangleName = SymTab::Mangler::mangleType( tupleType );
                 tupleType = safe_dynamic_cast< TupleType * > ( Parent::mutate( tupleType ) );
-                if ( ! typeMap.count( mangleName ) ) {
-                        // generate struct type to replace tuple type
-                        // xxx - should fix this to only generate one tuple struct for each number of type parameters
-                        StructDecl * decl = new StructDecl( "_tuple_type_" + mangleName );
+                unsigned tupleSize = tupleType->size();
+                if ( ! typeMap.count( tupleSize ) ) {
+                        // generate struct type to replace tuple type based on the number of components in the tuple
+                        StructDecl * decl = new StructDecl( toString( "_tuple_type_", tupleSize  ) );
                         decl->set_body( true );
-                        for ( size_t i = 0; i < tupleType->size(); ++i ) {
+                        for ( size_t i = 0; i < tupleSize; ++i ) {
                                 TypeDecl * tyParam = new TypeDecl( toString("tuple_param_", i), DeclarationNode::NoStorageClass, nullptr, TypeDecl::Any );
                                 decl->get_members().push_back( new ObjectDecl( toString("field_", i), DeclarationNode::NoStorageClass, LinkageSpec::C, nullptr, new TypeInstType( Type::Qualifiers(), tyParam->get_name(), tyParam ), nullptr ) );
                                 decl->get_parameters().push_back( tyParam );
                         }
-                        if ( tupleType->size() == 0 ) {
+                        if ( tupleSize == 0 ) {
                                 // empty structs are not standard C. Add a dummy field to empty tuples to silence warnings when a compound literal Tuple0 is created.
                                 decl->get_members().push_back( new ObjectDecl( "dummy", DeclarationNode::NoStorageClass, LinkageSpec::C, nullptr, new BasicType( Type::Qualifiers(), BasicType::SignedInt ), nullptr ) );
                         }
-                        typeMap[mangleName] = decl;
+                        typeMap[tupleSize] = decl;
                         addDeclaration( decl );
                 }
                 Type::Qualifiers qualifiers = tupleType->get_qualifiers();
 
-                StructDecl * decl = typeMap[mangleName];
+                StructDecl * decl = typeMap[tupleSize];
                 StructInstType * newType = new StructInstType( qualifiers, decl );
                 for ( Type * t : *tupleType ) {
@@ -337 +337 @@
                 public:
                         typedef Visitor Parent;
-                        virtual void visit( ApplicationExpr * appExpr ) { maybeImpure = true;   }
+                        virtual void visit( ApplicationExpr * appExpr ) {
+                                if ( DeclarationWithType * function = InitTweak::getFunction( appExpr ) ) {
+                                        if ( function->get_linkage() == LinkageSpec::Intrinsic ) {
+                                                if ( function->get_name() == "*?" || function->get_name() == "?[?]" ) {
+                                                        // intrinsic dereference, subscript are pure, but need to recursively look for impurity
+                                                        Parent::visit( appExpr );
+                                                        return;
+                                                }
+                                        }
+                                }
+                                maybeImpure = true;
+                        }
                         virtual void visit( UntypedExpr * untypedExpr ) { maybeImpure = true; }
                         bool maybeImpure = false;