Changeset 44b7088 for src/ResolvExpr

Timestamp:

Feb 25, 2016, 5:03:36 PM (9 years ago)

Author:

Aaron Moss <a3moss@…>

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:

ac1ed49, d09c421

Parents:

91b8a17

Message:

Added VarArgsType? for GCC builtin_va_list var args pack

Location:

src/ResolvExpr

Files:

• AdjustExprType.cc (modified) (2 diffs)
• CommonType.cc (modified) (2 diffs)
• ConversionCost.cc (modified) (1 diff)
• ConversionCost.h (modified) (1 diff)
• PtrsAssignable.cc (modified) (2 diffs)
• PtrsCastable.cc (modified) (2 diffs)
• RenameVars.cc (modified) (1 diff)
• RenameVars.h (modified) (1 diff)
• Unify.cc (modified) (2 diffs)

src/ResolvExpr/AdjustExprType.cc

@@ -36 +36 @@
                 virtual Type* mutate( TypeInstType *aggregateUseType );
                 virtual Type* mutate( TupleType *tupleType );
+                virtual Type* mutate( VarArgsType *varArgsType );
 
                 const TypeEnvironment &env;
@@ -111 +112 @@
                 return tupleType;
         }
+
+        Type *AdjustExprType::mutate( VarArgsType *varArgsType ) {
+                return varArgsType;
+        }
 } // namespace ResolvExpr
 

src/ResolvExpr/CommonType.cc

@@ -38 +38 @@
                 virtual void visit( TypeInstType *aggregateUseType );
                 virtual void visit( TupleType *tupleType );
+                virtual void visit( VarArgsType *varArgsType );
 
                 template< typename RefType > void handleRefType( RefType *inst, Type *other );
@@ -213 +214 @@
         void CommonType::visit( TupleType *tupleType ) {
         }
+
+        void CommonType::visit( VarArgsType *varArgsType ) {
+        }
 } // namespace ResolvExpr
 

src/ResolvExpr/ConversionCost.cc

@@ -247 +247 @@
                 } // if
         }
+
+        void ConversionCost::visit(VarArgsType *varArgsType) {
+                if ( VarArgsType *destAsVarArgs = dynamic_cast< VarArgsType* >( dest ) ) {
+                        cost = Cost::zero;
+                }
+        }
 } // namespace ResolvExpr
 

src/ResolvExpr/ConversionCost.h

@@ -40 +40 @@
                 virtual void visit(TypeInstType *aggregateUseType);
                 virtual void visit(TupleType *tupleType);
+                virtual void visit(VarArgsType *varArgsType);
           protected:
                 Type *dest;

src/ResolvExpr/PtrsAssignable.cc

@@ -38 +38 @@
                 virtual void visit( TypeInstType *inst );
                 virtual void visit( TupleType *tupleType );
+                virtual void visit( VarArgsType *varArgsType );
           private:
                 Type *dest;
@@ -137 +138 @@
 ///   }
         }
+
+        void PtrsAssignable::visit( VarArgsType *varArgsType ) {
+        }
 } // namespace ResolvExpr
 

src/ResolvExpr/PtrsCastable.cc

@@ -39 +39 @@
                 virtual void visit(TypeInstType *inst);
                 virtual void visit(TupleType *tupleType);
+                virtual void visit(VarArgsType *varArgsType);
           private:
                 Type *dest;
@@ -139 +140 @@
                 result = objectCast( dest, env, indexer );
         }
+
+        void PtrsCastable::visit(VarArgsType *varArgsType) {
+                result = objectCast( dest, env, indexer );
+        }
 } // namespace ResolvExpr
 

src/ResolvExpr/RenameVars.cc

@@ -113 +113 @@
         }
 
+        void RenameVars::visit( VarArgsType *varArgsType ) {
+                typeBefore( varArgsType );
+                typeAfter( varArgsType );
+        }
+
         void RenameVars::typeBefore( Type *type ) {
                 if ( ! type->get_forall().empty() ) {

src/ResolvExpr/RenameVars.h

@@ -43 +43 @@
                 virtual void visit( TypeInstType *aggregateUseType );
                 virtual void visit( TupleType *tupleType );
+                virtual void visit( VarArgsType *varArgsType );
 
                 void typeBefore( Type *type );

src/ResolvExpr/Unify.cc

@@ -59 +59 @@
                 virtual void visit(TypeInstType *aggregateUseType);
                 virtual void visit(TupleType *tupleType);
+                virtual void visit(VarArgsType *varArgsType);
 
                 template< typename RefType > void handleRefType( RefType *inst, Type *other );
@@ -582 +583 @@
         }
 
+        void Unify::visit(VarArgsType *varArgsType) {
+                result = dynamic_cast< VarArgsType* >( type2 );
+        }
+
 } // namespace ResolvExpr