Changeset 7870799 for src/ResolvExpr/typeops.h

Timestamp:

Jul 12, 2019, 10:49:02 AM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

ef5b828

Parents:

ee6dbae

Message:

Cast cost and conversion cost now take constant parameters.
This required supporting visiting const node.
The PassVisitor? can now visit const nodes but not when using the Indexer

File:

• src/ResolvExpr/typeops.h (modified) (5 diffs)

src/ResolvExpr/typeops.h

@@ -73 +73 @@
 
         /// Replaces array types with equivalent pointer, and function types with a pointer-to-function
-        const ast::Type * adjustExprType( 
+        const ast::Type * adjustExprType(
                 const ast::Type * type, const ast::TypeEnvironment & env, const ast::SymbolTable & symtab );
 
         // in CastCost.cc
-        Cost castCost( Type *src, Type *dest, const SymTab::Indexer &indexer, const TypeEnvironment &env );
-        Cost castCost( 
-                const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab, 
+        Cost castCost( const Type * src, const Type * dest, const SymTab::Indexer &indexer, const TypeEnvironment &env );
+        Cost castCost(
+                const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab,
                 const ast::TypeEnvironment & env );
 
         // in ConversionCost.cc
-        Cost conversionCost( Type *src, Type *dest, const SymTab::Indexer &indexer, const TypeEnvironment &env );
-        Cost conversionCost( 
-                const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab, 
+        Cost conversionCost( const Type *src, const Type *dest, const SymTab::Indexer &indexer, const TypeEnvironment &env );
+        Cost conversionCost(
+                const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab,
                 const ast::TypeEnvironment & env );
 
         // in AlternativeFinder.cc
-        Cost computeConversionCost( Type *actualType, Type *formalType, 
+        Cost computeConversionCost( Type *actualType, Type *formalType,
                 const SymTab::Indexer &indexer, const TypeEnvironment &env );
 
         // in PtrsAssignable.cc
-        int ptrsAssignable( Type *src, Type *dest, const TypeEnvironment &env );
+        int ptrsAssignable( const Type * src, const Type * dest, const TypeEnvironment &env );
         int ptrsAssignable( const ast::Type * src, const ast::Type * dst,
                 const ast::TypeEnvironment & env );
 
         // in PtrsCastable.cc
-        int ptrsCastable( Type *src, Type *dest, const TypeEnvironment &env, const SymTab::Indexer &indexer );
-        int ptrsCastable( 
-                const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab, 
+        int ptrsCastable( const Type * src, const Type * dest, const TypeEnvironment &env, const SymTab::Indexer &indexer );
+        int ptrsCastable(
+                const ast::Type * src, const ast::Type * dst, const ast::SymbolTable & symtab,
                 const ast::TypeEnvironment & env );
 
         // in Unify.cc
         bool typesCompatible( Type *, Type *, const SymTab::Indexer &indexer, const TypeEnvironment &env );
-        bool typesCompatibleIgnoreQualifiers( Type *, Type *, const SymTab::Indexer &indexer, const TypeEnvironment &env );
+        bool typesCompatibleIgnoreQualifiers( const Type *, const Type *, const SymTab::Indexer &indexer, const TypeEnvironment &env );
 
         inline bool typesCompatible( Type *t1, Type *t2, const SymTab::Indexer &indexer ) {
@@ -112 +112 @@
         }
 
-        inline bool typesCompatibleIgnoreQualifiers( Type *t1, Type *t2, const SymTab::Indexer &indexer ) {
+        inline bool typesCompatibleIgnoreQualifiers( const Type * t1, const Type * t2, const SymTab::Indexer &indexer ) {
                 TypeEnvironment env;
                 return typesCompatibleIgnoreQualifiers( t1, t2, indexer, env );
         }
 
-        bool typesCompatible( 
-                const ast::Type *, const ast::Type *, const ast::SymbolTable & symtab = {}, 
+        bool typesCompatible(
+                const ast::Type *, const ast::Type *, const ast::SymbolTable & symtab = {},
                 const ast::TypeEnvironment & env = {} );
-        
+
         bool typesCompatibleIgnoreQualifiers(
-                const ast::Type *, const ast::Type *, const ast::SymbolTable &, 
+                const ast::Type *, const ast::Type *, const ast::SymbolTable &,
                 const ast::TypeEnvironment & env = {} );
 
@@ -133 +133 @@
         Type * commonType( Type *type1, Type *type2, bool widenFirst, bool widenSecond, const SymTab::Indexer &indexer, TypeEnvironment &env, const OpenVarSet &openVars );
         ast::ptr< ast::Type > commonType(
-                const ast::ptr< ast::Type > & type1, const ast::ptr< ast::Type > & type2, WidenMode widen, 
+                const ast::ptr< ast::Type > & type1, const ast::ptr< ast::Type > & type2, WidenMode widen,
                 const ast::SymbolTable & symtab, ast::TypeEnvironment & env, const ast::OpenVarSet & open );
 
         // in PolyCost.cc
         int polyCost( Type *type, const TypeEnvironment &env, const SymTab::Indexer &indexer );
-        int polyCost( 
+        int polyCost(
                 const ast::Type * type, const ast::SymbolTable & symtab, const ast::TypeEnvironment & env );
 
@@ -149 +149 @@
         // new AST version in TypeEnvironment.cpp (only place it was used in old AST)
 
-        template<typename Iter> 
+        template<typename Iter>
         bool occursIn( Type* ty, Iter begin, Iter end, const TypeEnvironment &env ) {
                 while ( begin != end ) {
@@ -176 +176 @@
 
         /// flatten tuple type into existing list of types
-        static inline void flatten( 
-                const ast::Type * type, std::vector< ast::ptr< ast::Type > > & out 
+        static inline void flatten(
+                const ast::Type * type, std::vector< ast::ptr< ast::Type > > & out
         ) {
-                if ( auto tupleType = dynamic_cast< const ast::TupleType * >( type ) ) {        
+                if ( auto tupleType = dynamic_cast< const ast::TupleType * >( type ) ) {
                         for ( const ast::Type * t : tupleType->types ) {
                                 flatten( t, out );