Changeset a085470 for src/ResolvExpr

Timestamp:

Apr 10, 2023, 12:03:31 PM (3 years ago)

Author:

Mike Brooks <mlbrooks@…>

Branches:

ADT, ast-experimental, master

Children:

6adeb5f

Parents:

2b01f8e (diff), ea2759b (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

Location:

src/ResolvExpr

Files:

• CurrentObject.cc (modified) (4 diffs)
• CurrentObject.h (modified) (2 diffs)

src/ResolvExpr/CurrentObject.cc

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Tue Jun 13 15:28:32 2017
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jul  1 09:16:01 2022
-// Update Count     : 15
+// Last Modified By : Andrew Beach
+// Last Modified On : Mon Apr 10  9:40:00 2023
+// Update Count     : 18
 //
 
@@ -593 +593 @@
 
 namespace ast {
+        /// Iterates members of a type by initializer.
+        class MemberIterator {
+        public:
+                virtual ~MemberIterator() {}
+
+                /// Internal set position based on iterator ranges.
+                virtual void setPosition(
+                        std::deque< ptr< Expr > >::const_iterator it,
+                        std::deque< ptr< Expr > >::const_iterator end ) = 0;
+
+                /// Walks the current object using the given designators as a guide.
+                void setPosition( const std::deque< ptr< Expr > > & designators ) {
+                        setPosition( designators.begin(), designators.end() );
+                }
+
+                /// Retrieve the list of possible (Type,Designation) pairs for the
+                /// current position in the current object.
+                virtual std::deque< InitAlternative > operator* () const = 0;
+
+                /// True if the iterator is not currently at the end.
+                virtual operator bool() const = 0;
+
+                /// Moves the iterator by one member in the current object.
+                virtual MemberIterator & bigStep() = 0;
+
+                /// Moves the iterator by one member in the current subobject.
+                virtual MemberIterator & smallStep() = 0;
+
+                /// The type of the current object.
+                virtual const Type * getType() = 0;
+
+                /// The type of the current subobject.
+                virtual const Type * getNext() = 0;
+
+                /// Helper for operator*; aggregates must add designator to each init
+                /// alternative, but adding designators in operator* creates duplicates.
+                virtual std::deque< InitAlternative > first() const = 0;
+        };
+
         /// create a new MemberIterator that traverses a type correctly
         MemberIterator * createMemberIterator( const CodeLocation & loc, const Type * type );
@@ -684 +723 @@
 
                 void setPosition(
-                        std::deque< ptr< Expr > >::const_iterator begin,
-                        std::deque< ptr< Expr > >::const_iterator end
+                        std::deque<ast::ptr<ast::Expr>>::const_iterator begin,
+                        std::deque<ast::ptr<ast::Expr>>::const_iterator end
                 ) override {
                         if ( begin == end ) return;
@@ -898 +937 @@
         };
 
-        class TupleIterator final : public AggregateIterator {
-        public:
-                TupleIterator( const CodeLocation & loc, const TupleType * inst )
-                : AggregateIterator(
-                        loc, "TupleIterator", toString("Tuple", inst->size()), inst, inst->members
-                ) {}
+        /// Iterates across the positions in a tuple:
+        class TupleIterator final : public MemberIterator {
+                CodeLocation location;
+                ast::TupleType const * const tuple;
+                size_t index = 0;
+                size_t size = 0;
+                std::unique_ptr<MemberIterator> sub_iter;
+
+                const ast::Type * typeAtIndex() const {
+                        assert( index < size );
+                        return tuple->types[ index ].get();
+                }
+
+        public:
+                TupleIterator( const CodeLocation & loc, const TupleType * type )
+                : location( loc ), tuple( type ), size( type->size() ) {
+                        PRINT( std::cerr << "Creating tuple iterator: " << type << std::endl; )
+                        sub_iter.reset( createMemberIterator( loc, typeAtIndex() ) );
+                }
+
+                void setPosition( const ast::Expr * expr ) {
+                        auto arg = eval( expr );
+                        index = arg.first;
+                }
+
+                void setPosition(
+                                std::deque< ptr< Expr > >::const_iterator begin,
+                                std::deque< ptr< Expr > >::const_iterator end ) {
+                        if ( begin == end ) return;
+
+                        setPosition( *begin );
+                        sub_iter->setPosition( ++begin, end );
+                }
+
+                std::deque< InitAlternative > operator*() const override {
+                        return first();
+                }
 
                 operator bool() const override {
-                        return curMember != members.end() || (memberIter && *memberIter);
+                        return index < size;
                 }
 
                 TupleIterator & bigStep() override {
-                        PRINT( std::cerr << "bigStep in " << kind << std::endl; )
-                        atbegin = false;
-                        memberIter = nullptr;
-                        curType = nullptr;
-                        while ( curMember != members.end() ) {
-                                ++curMember;
-                                if ( init() ) return *this;
-                        }
+                        ++index;
+                        sub_iter.reset( index < size ?
+                                createMemberIterator( location, typeAtIndex() ) : nullptr );
                         return *this;
+                }
+
+                TupleIterator & smallStep() override {
+                        if ( sub_iter ) {
+                                PRINT( std::cerr << "has member iter: " << *sub_iter << std::endl; )
+                                sub_iter->smallStep();
+                                if ( !sub_iter ) {
+                                        PRINT( std::cerr << "has valid member iter" << std::endl; )
+                                        return *this;
+                                }
+                        }
+                        return bigStep();
+                }
+
+                const ast::Type * getType() override {
+                        return tuple;
+                }
+
+                const ast::Type * getNext() override {
+                        return ( sub_iter && *sub_iter ) ? sub_iter->getType() : nullptr;
+                }
+
+                std::deque< InitAlternative > first() const override {
+                        PRINT( std::cerr << "first in TupleIterator (" << index << "/" << size << ")" << std::endl; )
+                        if ( sub_iter && *sub_iter ) {
+                                std::deque< InitAlternative > ret = sub_iter->first();
+                                for ( InitAlternative & alt : ret ) {
+                                        alt.designation.get_and_mutate()->designators.emplace_front(
+                                                ConstantExpr::from_ulong( location, index ) );
+                                }
+                                return ret;
+                        }
+                        return {};
                 }
         };

src/ResolvExpr/CurrentObject.h

@@ -9 +9 @@
 // Author           : Rob Schluntz
 // Created On       : Thu Jun  8 11:07:25 2017
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jul 22 09:36:48 2017
-// Update Count     : 3
+// Last Modified By : Andrew Beach
+// Last Modified On : Thu Apr  6 16:14:00 2023
+// Update Count     : 4
 //
 
@@ -65 +65 @@
 
         /// Iterates members of a type by initializer
-        class MemberIterator {
-        public:
-                virtual ~MemberIterator() {}
-
-                /// Internal set position based on iterator ranges
-                virtual void setPosition( 
-                        std::deque< ptr< Expr > >::const_iterator it, 
-                        std::deque< ptr< Expr > >::const_iterator end ) = 0;
-
-                /// walks the current object using the given designators as a guide
-                void setPosition( const std::deque< ptr< Expr > > & designators ) {
-                        setPosition( designators.begin(), designators.end() );
-                }
-
-                /// retrieve the list of possible (Type,Designation) pairs for the current position in the 
-                /// current object
-                virtual std::deque< InitAlternative > operator* () const = 0;
-
-                /// true if the iterator is not currently at the end
-                virtual operator bool() const = 0;
-
-                /// moves the iterator by one member in the current object
-                virtual MemberIterator & bigStep() = 0;
-
-                /// moves the iterator by one member in the current subobject
-                virtual MemberIterator & smallStep() = 0;
-
-                /// the type of the current object
-                virtual const Type * getType() = 0;
-
-                /// the type of the current subobject
-                virtual const Type * getNext() = 0;
-        
-                /// helper for operator*; aggregates must add designator to each init alternative, but 
-                /// adding designators in operator* creates duplicates
-                virtual std::deque< InitAlternative > first() const = 0;
-        };
+        class MemberIterator;
 
         /// Builds initializer lists in resolution