Changeset 4dc3b8c for src/Tuples/TupleExpansion.cpp

Timestamp:

Nov 30, 2023, 6:14:20 PM (23 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

2f8d351

Parents:

7f2bfb7 (diff), c4570af3 (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.cpp (moved) (moved from src/Tuples/TupleExpansionNew.cpp ) (2 diffs)

src/Tuples/TupleExpansion.cpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// TupleExpansionNew.cpp --
+// TupleExpansion.cpp --
 //
 // Author           : Henry Xue
@@ -294 +294 @@
 }
 
+const ast::Type * makeTupleType( const std::vector<ast::ptr<ast::Expr>> & exprs ) {
+        // If there are no expressions, the answer is set, otherwise go through a loop.
+        if ( exprs.empty() ) return new ast::TupleType( {} );
+
+        std::vector<ast::ptr<ast::Type>> types;
+        ast::CV::Qualifiers quals(
+                ast::CV::Const | ast::CV::Volatile | ast::CV::Restrict |
+                ast::CV::Atomic | ast::CV::Mutex );
+
+        for ( const ast::Expr * expr : exprs ) {
+                assert( expr->result );
+                // If the type of any expr is void, the type of the entire tuple is void.
+                if ( expr->result->isVoid() ) return new ast::VoidType();
+
+                // Qualifiers on the tuple type are the qualifiers that exist on all components.
+                quals &= expr->result->qualifiers;
+
+                types.emplace_back( expr->result );
+        }
+
+        return new ast::TupleType( std::move( types ), quals );
+}
+
+const ast::TypeInstType * isTtype( const ast::Type * type ) {
+        if ( const ast::TypeInstType * inst = dynamic_cast< const ast::TypeInstType * >( type ) ) {
+                if ( inst->base && inst->base->kind == ast::TypeDecl::Ttype ) {
+                        return inst;
+                }
+        }
+        return nullptr;
+}
+
 } // namespace Tuples
+