Changes in src/Virtual/ExpandCasts.cc [c36814a:8f910430]

File:

• src/Virtual/ExpandCasts.cc (modified) (6 diffs)

src/Virtual/ExpandCasts.cc

@@ -10 +10 @@
 // Created On       : Mon Jul 24 13:59:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Thu Aug 11 12:06:00 2022
-// Update Count     : 5
+// Last Modified On : Fri Jul 31 10:29:00 2020
+// Update Count     : 4
 //
 
@@ -20 +20 @@
 #include <string>                  // for string, allocator, operator==, ope...
 
-#include "AST/Decl.hpp"
-#include "AST/Expr.hpp"
-#include "AST/Pass.hpp"
 #include "Common/PassVisitor.h"    // for PassVisitor
 #include "Common/ScopedMap.h"      // for ScopedMap
@@ -35 +32 @@
 namespace Virtual {
 
-namespace {
-
-bool is_prefix( const std::string & prefix, const std::string& entire ) {
+static bool is_prefix( const std::string & prefix, const std::string& entire ) {
         size_t const p_size = prefix.size();
         return (p_size < entire.size() && prefix == entire.substr(0, p_size));
 }
 
-bool is_type_id_object( const ObjectDecl * objectDecl ) {
+static bool is_type_id_object( const ObjectDecl * objectDecl ) {
         const std::string & objectName = objectDecl->name;
         return is_prefix( "__cfatid_", objectName );
-}
-
-bool is_type_id_object( const ast::ObjectDecl * decl ) {
-        return is_prefix( "__cfatid_", decl->name );
 }
 
@@ -133 +124 @@
                 }
         }
+
+        namespace {
 
         /// Better error locations for generated casts.
@@ -236 +229 @@
         }
 
+        } // namespace
+
         Expression * VirtualCastCore::postmutate( VirtualCastExpr * castExpr ) {
                 assertf( castExpr->result, "Virtual Cast target not found before expansion." );
@@ -270 +265 @@
         }
 
-/// Better error locations for generated casts.
-// TODO: Does the improved distribution of code locations make this unneeded?
-CodeLocation castLocation( const ast::VirtualCastExpr * castExpr ) {
-        if ( castExpr->location.isSet() ) {
-                return castExpr->location;
-        } else if ( castExpr->arg->location.isSet() ) {
-                return castExpr->arg->location;
-        } else {
-                return CodeLocation();
+        void expandCasts( std::list< Declaration * > & translationUnit ) {
+                PassVisitor<VirtualCastCore> translator;
+                mutateAll( translationUnit, translator );
         }
 }
-
-[[noreturn]] void castError( ast::VirtualCastExpr const * castExpr, std::string const & message ) {
-        SemanticError( castLocation( castExpr ), message );
-}
-
-class TypeIdTable final {
-        ScopedMap<std::string, ast::ObjectDecl const *> instances;
-public:
-        void enterScope() { instances.beginScope(); }
-        void leaveScope() { instances.endScope(); }
-
-        // Attempt to insert an instance into the map. If there is a conflict,
-        // returns the previous declaration for error messages.
-        ast::ObjectDecl const * insert( ast::ObjectDecl const * typeIdDecl ) {
-                std::string const & mangledName =
-                                Mangle::mangle( typeIdDecl->type, Mangle::typeMode() );
-                ast::ObjectDecl const *& value = instances[ mangledName ];
-                if ( value ) {
-                        if ( typeIdDecl->storage.is_extern ) {
-                                return nullptr;
-                        } else if ( !value->storage.is_extern ) {
-                                return value;
-                        }
-                }
-                value = typeIdDecl;
-                return nullptr;
-        }
-
-        ast::ObjectDecl const * lookup( ast::Type const * typeIdType ) {
-                std::string const & mangledName =
-                                Mangle::mangle( typeIdType, Mangle::typeMode() );
-                auto const it = instances.find( mangledName );
-                return ( instances.end() == it ) ? nullptr : it->second;
-        }
-};
-
-struct ExpandCastsCore final {
-        void previsit( ast::FunctionDecl const * decl );
-        void previsit( ast::StructDecl const * decl );
-        void previsit( ast::ObjectDecl const * decl );
-        ast::Expr const * postvisit( ast::VirtualCastExpr const * expr );
-
-        ast::CastExpr const * cast_to_type_id(
-                ast::Expr const * expr, unsigned int level_of_indirection );
-
-        ast::FunctionDecl const * vcast_decl = nullptr;
-        ast::StructDecl const * info_decl = nullptr;
-
-        TypeIdTable symtab;
-};
-
-void ExpandCastsCore::previsit( ast::FunctionDecl const * decl ) {
-        if ( !vcast_decl && "__cfavir_virtual_cast" == decl->name ) {
-                vcast_decl = decl;
-        }
-}
-
-void ExpandCastsCore::previsit( ast::StructDecl const * decl ) {
-        if ( !info_decl && decl->body && "__cfavir_type_info" == decl->name ) {
-                info_decl = decl;
-        }
-}
-
-void ExpandCastsCore::previsit( ast::ObjectDecl const * decl ) {
-        if ( is_type_id_object( decl ) ) {
-                // Multiple definitions should be fine because of linkonce.
-                symtab.insert( decl );
-        }
-}
-
-/// Get the base type from a pointer or reference.
-ast::Type const * getBaseType( ast::ptr<ast::Type> const & type ) {
-        if ( auto target = type.as<ast::PointerType>() ) {
-                return target->base.get();
-        } else if ( auto target = type.as<ast::ReferenceType>() ) {
-                return target->base.get();
-        } else {
-                return nullptr;
-        }
-}
-
-/// Copy newType, but give the copy the params of the oldType.
-ast::StructInstType * polyCopy(
-                ast::StructInstType const * oldType,
-                ast::StructInstType const * newType ) {
-        assert( oldType->params.size() == newType->params.size() );
-        ast::StructInstType * retType = ast::deepCopy( newType );
-        if ( ! oldType->params.empty() ) {
-                retType->params.clear();
-                for ( auto oldParams : oldType->params ) {
-                        retType->params.push_back( ast::deepCopy( oldParams ) );
-                }
-        }
-        return retType;
-}
-
-/// Follow the "head" field of the structure to get the type that is pointed
-/// to by that field.
-ast::StructInstType const * followHeadPointerType(
-                CodeLocation const & errorLocation,
-                ast::StructInstType const * oldType,
-                std::string const & fieldName ) {
-        ast::StructDecl const * oldDecl = oldType->base;
-        assert( oldDecl );
-
-        // Helper function for throwing semantic errors.
-        auto throwError = [&fieldName, &errorLocation, &oldDecl](
-                        std::string const & message ) {
-                std::string const & context = "While following head pointer of " +
-                        oldDecl->name + " named '" + fieldName + "': ";
-                SemanticError( errorLocation, context + message );
-        };
-
-        if ( oldDecl->members.empty() ) {
-                throwError( "Type has no fields." );
-        }
-        ast::ptr<ast::Decl> const & memberDecl = oldDecl->members.front();
-        assert( memberDecl );
-        ast::ObjectDecl const * fieldDecl = memberDecl.as<ast::ObjectDecl>();
-        assert( fieldDecl );
-        if ( fieldName != fieldDecl->name ) {
-                throwError( "Head field did not have expected name." );
-        }
-
-        ast::ptr<ast::Type> const & fieldType = fieldDecl->type;
-        if ( nullptr == fieldType ) {
-                throwError( "Could not get head field." );
-        }
-        auto ptrType = fieldType.as<ast::PointerType>();
-        if ( nullptr == ptrType ) {
-                throwError( "First field is not a pointer type." );
-        }
-        assert( ptrType->base );
-        auto newType = ptrType->base.as<ast::StructInstType>();
-        if ( nullptr == newType ) {
-                throwError( "First field does not point to a structure type." );
-        }
-
-        return polyCopy( oldType, newType );
-}
-
-/// Get the type-id type from a virtual type.
-ast::StructInstType const * getTypeIdType(
-                CodeLocation const & errorLocation,
-                ast::Type const * type ) {
-        auto typeInst = dynamic_cast<ast::StructInstType const *>( type );
-        if ( nullptr == typeInst ) {
-                return nullptr;
-        }
-        ast::ptr<ast::StructInstType> tableInst =
-                followHeadPointerType( errorLocation, typeInst, "virtual_table" );
-        if ( nullptr == tableInst ) {
-                return nullptr;
-        }
-        ast::StructInstType const * typeIdInst =
-                followHeadPointerType( errorLocation, tableInst, "__cfavir_typeid" );
-        return typeIdInst;
-}
-
-ast::Expr const * ExpandCastsCore::postvisit(
-                ast::VirtualCastExpr const * expr ) {
-        assertf( expr->result, "Virtual cast target not found before expansion." );
-
-        assert( vcast_decl );
-        assert( info_decl );
-
-        ast::Type const * base_type = getBaseType( expr->result );
-        if ( nullptr == base_type ) {
-                castError( expr, "Virtual cast target must be a pointer or reference type." );
-        }
-        ast::StructInstType const * type_id_type =
-                        getTypeIdType( castLocation( expr ), base_type );
-        if ( nullptr == type_id_type ) {
-                castError( expr, "Ill formed virtual cast target type." );
-        }
-        ast::ObjectDecl const * type_id = symtab.lookup( type_id_type );
-        if ( nullptr == type_id ) {
-                // I'm trying to give a different error for polymorpic types as
-                // different things can go wrong there.
-                if ( type_id_type->params.empty() ) {
-                        castError( expr, "Virtual cast does not target a virtual type." );
-                } else {
-                        castError( expr, "Virtual cast does not target a type with a "
-                                "type id (possible missing virtual table)." );
-                }
-        }
-
-        return new ast::CastExpr( expr->location,
-                new ast::ApplicationExpr( expr->location,
-                        ast::VariableExpr::functionPointer( expr->location, vcast_decl ),
-                        {
-                                cast_to_type_id(
-                                        new ast::AddressExpr( expr->location,
-                                                new ast::VariableExpr( expr->location, type_id ) ),
-                                        1 ),
-                                cast_to_type_id( expr->arg, 2 ),
-                        }
-                ),
-                ast::deepCopy( expr->result )
-        );
-}
-
-ast::CastExpr const * ExpandCastsCore::cast_to_type_id(
-                ast::Expr const * expr, unsigned int level_of_indirection ) {
-        assert( info_decl );
-        ast::Type * type = new ast::StructInstType( info_decl, ast::CV::Const );
-        for ( unsigned int i = 0 ; i < level_of_indirection ; ++i ) {
-                type = new ast::PointerType( type );
-        }
-        return new ast::CastExpr( expr->location, expr, type );
-}
-
-} // namespace
-
-void expandCasts( std::list< Declaration * > & translationUnit ) {
-        PassVisitor<VirtualCastCore> translator;
-        mutateAll( translationUnit, translator );
-}
-
-void expandCasts( ast::TranslationUnit & translationUnit ) {
-        ast::Pass<ExpandCastsCore>::run( translationUnit );
-}
-
-} // namespace Virtual