source: src/ControlStruct/ExceptDeclNew.cpp @ fa5e1aa5

//
// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// ExceptDeclNew.cpp --
//
// Author           : Andrew Beach
// Created On       : Tue Jul 12 15:50:00 2022
// Last Modified By : Andrew Beach
// Last Modified On : Mon Jul 18 11:01:00 2022
// Update Count     : 0
//

#include "ExceptDecl.h"

#include <sstream>

#include "AST/Copy.hpp"
#include "AST/Decl.hpp"
#include "AST/Pass.hpp"
#include "AST/Print.hpp"
#include "AST/Type.hpp"
#include "Virtual/Tables.h"

namespace ControlStruct {

namespace {

std::vector<ast::ptr<ast::Expr>> forallToParams(
                std::vector<ast::ptr<ast::TypeDecl>> const & forall ) {
        return map_range<std::vector<ast::ptr<ast::Expr>>>( forall,
                []( ast::ptr<ast::TypeDecl> const & decl ) {
                        return new ast::TypeExpr( decl->location,
                                new ast::TypeInstType( decl->name, decl->kind ) );
                }
        );
}

// A slightly argumented extra constructor, adds a deepCopy.
ast::StructInstType * namedStructInstType(
                std::string const & name, ast::CV::Qualifiers qualifiers,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        ast::StructInstType * type = new ast::StructInstType( name, qualifiers );
        for ( ast::ptr<ast::Expr> const & param : params ) {
                type->params.push_back( ast::deepCopy( param ) );
        }
        return type;
}

ast::StructInstType * createExceptionInstType(
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        return namedStructInstType( exceptionName, ast::CV::Qualifiers(), params );
}

ast::StructInstType * createVTableInstType(
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        std::string name = Virtual::vtableTypeName( exceptionName );
        return namedStructInstType( name, ast::CV::Const, params );
}

ast::StructInstType * createTypeIdInstType(
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        std::string name = Virtual::typeIdType( exceptionName );
        return namedStructInstType( name, ast::CV::Const, params );
}

ast::FunctionType const * createCopyFuncType(
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        ast::FunctionType * type = new ast::FunctionType( ast::FixedArgs );
        type->params.push_back( new ast::PointerType(
                createExceptionInstType( exceptionName, params ) ) );
        type->params.push_back( new ast::PointerType(
                createExceptionInstType( exceptionName, params ) ) );
        type->returns.push_back( new ast::VoidType() );
        return type;
}

ast::FunctionType const * createDtorFuncType(
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        ast::FunctionType * type = new ast::FunctionType( ast::FixedArgs );
        type->params.push_back( new ast::ReferenceType(
                createExceptionInstType( exceptionName, params ) ) );
        type->returns.push_back( new ast::VoidType() );
        return type;
}

ast::FunctionType const * createMsgFuncType(
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        ast::FunctionType * type = new ast::FunctionType( ast::FixedArgs );
        type->params.push_back( new ast::PointerType(
                createExceptionInstType( exceptionName, params ) ) );
        type->returns.push_back( new ast::PointerType(
                new ast::BasicType( ast::BasicType::Char, ast::CV::Const ) ) );
        return type;
}

ast::StructDecl const * createTypeIdStruct(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::TypeDecl>> const & forallClause ) {
        ast::StructDecl * decl = new ast::StructDecl( location,
                        Virtual::typeIdType( exceptionName ) );
        decl->members.push_back( new ast::ObjectDecl(
                location,
                "parent",
                new ast::PointerType(
                        new ast::StructInstType( "__cfavir_type_info", ast::CV::Const ) )
        ) );
        decl->body = true;
        for ( ast::ptr<ast::TypeDecl> const & param : forallClause ) {
                decl->params.push_back( ast::deepCopy( param ) );
        }
        return decl;
}

ast::ObjectDecl const * createTypeIdValue(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        ast::StructInstType * typeIdType =
                createTypeIdInstType( exceptionName, params );
        return new ast::ObjectDecl(
                location,
                Virtual::typeIdName( exceptionName ),
                typeIdType,
                new ast::ListInit( location, {
                        new ast::SingleInit( location,
                                new ast::AddressExpr( location,
                                        new ast::NameExpr( location, "__cfatid_exception_t" ) ),
                                ast::MaybeConstruct ),
                }, {}, ast::MaybeConstruct ),
                ast::Storage::Classes(),
                ast::Linkage::Cforall,
                nullptr,
                { new ast::Attribute( "cfa_linkonce" ) }
        );
}

ast::StructDecl const * createExceptionStructForward(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::TypeDecl>> const & forall ) {
        ast::StructDecl * decl = new ast::StructDecl( location, exceptionName );
        for ( ast::ptr<ast::TypeDecl> const & param : forall ) {
                decl->params.push_back( ast::deepCopy( param ) );
        }
        return decl;
}

ast::StructDecl const * createVirtualTableStruct(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::TypeDecl>> const & forall,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        ast::StructInstType * typeIdType =
                createTypeIdInstType( exceptionName, params );
        ast::ObjectDecl * typeId = new ast::ObjectDecl(
                location,
                "__cfavir_typeid",
                new ast::PointerType( typeIdType )
        );
        ast::ObjectDecl * size = new ast::ObjectDecl(
                location,
                "size",
                new ast::TypeInstType( "size_t", ast::TypeDecl::Dtype )
        );
        ast::ObjectDecl * copy = new ast::ObjectDecl(
                location,
                "copy",
                new ast::PointerType( createCopyFuncType( exceptionName, params ) )
        );
        ast::ObjectDecl * dtor = new ast::ObjectDecl(
                location,
                "^?{}",
                new ast::PointerType( createDtorFuncType( exceptionName, params ) )
        );
        ast::ObjectDecl * msg = new ast::ObjectDecl(
                location,
                "msg",
                new ast::PointerType( createMsgFuncType( exceptionName, params ) )
        );
        ast::StructDecl * decl = new ast::StructDecl(
                location,
                Virtual::vtableTypeName( exceptionName ) );
        decl->members.push_back( typeId );
        decl->members.push_back( size );
        decl->members.push_back( copy );
        decl->members.push_back( dtor );
        decl->members.push_back( msg );
        decl->body = true;
        for ( ast::ptr<ast::TypeDecl> const & param : forall ) {
                decl->params.push_back( param );
        }
        return decl;
}

ast::StructDecl const * createExceptionStruct(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::TypeDecl>> const & forallClause,
                std::vector<ast::ptr<ast::Expr>> const & params,
                std::vector<ast::ptr<ast::Decl>> const & members ) {
        ast::StructDecl * decl = new ast::StructDecl( location, exceptionName );
        decl->members.push_back( new ast::ObjectDecl(
                location,
                "virtual_table",
                new ast::PointerType(
                        createVTableInstType( exceptionName, params ) )
        ) );
        for ( ast::ptr<ast::Decl> const & member : members ) {
                decl->members.push_back( ast::deepCopy( member ) );
        }
        decl->body = true;
        for ( ast::ptr<ast::TypeDecl> const & param : forallClause ) {
                decl->params.push_back( ast::deepCopy( param ) );
        }
        return decl;
}

ast::ObjectDecl const * createExternTypeId(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        return new ast::ObjectDecl(
                location,
                Virtual::typeIdName( exceptionName ),
                createVTableInstType( exceptionName, params ),
                nullptr,
                ast::Storage::Extern,
                ast::Linkage::Cforall,
                nullptr,
                { new ast::Attribute( "cfa_linkonce" ) }
        );
}

ast::ObjectDecl const * createExternVTable(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params,
                std::string const & tableName ) {
        return new ast::ObjectDecl(
                location,
                tableName,
                createVTableInstType( exceptionName, params ),
                nullptr,
                ast::Storage::Extern,
                ast::Linkage::Cforall
        );
}

ast::FunctionDecl const * createCopy(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        return new ast::FunctionDecl(
                location,
                "copy",
                {/* forall */},
                {/* assertions */},
                {
                        new ast::ObjectDecl(
                                location,
                                "this",
                                new ast::PointerType(
                                        createExceptionInstType( exceptionName, params ) )
                        ),
                        new ast::ObjectDecl(
                                location,
                                "that",
                                new ast::PointerType(
                                        createExceptionInstType( exceptionName, params ) )
                        ),
                },
                {
                        new ast::ObjectDecl( location, "", new ast::VoidType() ),
                },
                new ast::CompoundStmt( location, {
                        new ast::ExprStmt( location,
                                new ast::UntypedExpr( location,
                                        new ast::NameExpr( location, "?=?" ),
                                        {
                                                new ast::UntypedExpr( location,
                                                        new ast::NameExpr( location, "*?" ),
                                                        { new ast::NameExpr( location, "this" ) } ),
                                                new ast::UntypedExpr( location,
                                                        new ast::NameExpr( location, "*?" ),
                                                        { new ast::NameExpr( location, "that" ) } ),
                                        }
                                )
                        ),
                } ),
                ast::Storage::Classes(),
                ast::Linkage::Cforall
        );
}

ast::FunctionDecl const * createMsg(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params ) {
        std::stringstream msg;
        msg << exceptionName;
        // The forall variant, add parameters to the string.
        if ( !params.empty() ) {
                msg << "(";
                bool first = true;
                for ( auto & param : params ) {
                        // Seperator Logic: A comma proceeds all but the first object.
                        if ( first ) {
                                first = false;
                        } else {
                                msg << ", ";
                        }

                        ast::print( msg, param.get() );
                }
                msg << ")";
        }
        return new ast::FunctionDecl(
                location,
                "msg",
                {/* forall */},
                {/* assertions */},
                {
                        new ast::ObjectDecl(
                                location,
                                "this",
                                new ast::PointerType(
                                        createExceptionInstType( exceptionName, params ) )
                        ),
                },
                {
                        new ast::ObjectDecl(
                                location,
                                "",
                                new ast::PointerType(
                                        new ast::BasicType( ast::BasicType::Char, ast::CV::Const ) )
                        ),
                },
                new ast::CompoundStmt( location, {
                        new ast::ReturnStmt( location,
                                ast::ConstantExpr::from_string( location, msg.str() )
                        ),
                } ),
                ast::Storage::Classes(),
                ast::Linkage::Cforall
        );
}

ast::ObjectDecl const * createVirtualTable(
                CodeLocation const & location,
                std::string const & exceptionName,
                std::vector<ast::ptr<ast::Expr>> const & params,
                std::string const & tableName ) {
        ast::StructInstType * sizeType = new ast::StructInstType( exceptionName );
        for ( ast::ptr<ast::Expr> const & param : params ) {
                sizeType->params.push_back( ast::deepCopy( param ) );
        }
        std::vector<ast::ptr<ast::Init>> inits {
                new ast::SingleInit( location,
                        new ast::AddressExpr( location,
                                new ast::NameExpr( location,
                                        Virtual::typeIdName( exceptionName ) ) ) ),
                new ast::SingleInit( location,
                        new ast::SizeofExpr( location, sizeType )  ),
                new ast::SingleInit( location,
                        new ast::NameExpr( location, "copy" ) ),
                new ast::SingleInit( location,
                        new ast::NameExpr( location, "^?{}" ) ),
                new ast::SingleInit( location,
                        new ast::NameExpr( location, "msg" ) ),
        };
        std::vector<ast::ptr<ast::Designation>> dsigs {
                new ast::Designation( location, {
                        new ast::NameExpr( location, "__cfavir_typeid" ) } ),
                new ast::Designation( location, {
                        new ast::NameExpr( location, "size" ) } ),
                new ast::Designation( location, {
                        new ast::NameExpr( location, "copy" ) } ),
                new ast::Designation( location, {
                        new ast::NameExpr( location, "^?{}" ) } ),
                new ast::Designation( location, {
                        new ast::NameExpr( location, "msg" ) } ),
        };
        return new ast::ObjectDecl(
                location,
                tableName,
                createVTableInstType( exceptionName, params ),
                new ast::ListInit( location, std::move( inits ), std::move( dsigs ) )
        );
}

struct ExceptDeclCore : public ast::WithDeclsToAdd<> {
        ast::StructDecl const * transformExcept( ast::StructDecl const * decl );
        ast::ObjectDecl const * transformVTable(
                ast::ObjectDecl const * decl, ast::VTableType const * type );

        ast::StructDecl const * postvisit( ast::StructDecl const * decl ) {
                // Exceptions don't get their own node type, so filter that.
                if ( ast::AggregateDecl::Exception == decl->kind ) {
                        return transformExcept( decl );
                }
                return decl;
        }

        ast::ObjectDecl const * postvisit( ast::ObjectDecl const * decl ) {
                // Modify remaining objects that have a vtable type.
                if ( auto * type = decl->type.as<ast::VTableType>() ) {
                        return transformVTable( decl, type );
                }
                return decl;
        }
};

ast::StructDecl const * ExceptDeclCore::transformExcept(
                ast::StructDecl const * decl ) {
        CodeLocation const & location = decl->location;
        std::string const & exceptionName = decl->name;
        std::vector<ast::ptr<ast::TypeDecl>> const & forall = decl->params;
        std::vector<ast::ptr<ast::Expr>> params = forallToParams( forall );
        std::vector<ast::ptr<ast::Decl>> const & members = decl->members;

        declsToAddBefore.push_back(
                createTypeIdStruct( location, exceptionName, forall ) );
        if ( forall.empty() ) {
                // Non-forall variant.
                declsToAddBefore.push_back(
                        createTypeIdValue( location, exceptionName, params ) );
        }
        declsToAddBefore.push_back(
                createExceptionStructForward( location, exceptionName, forall ) );
        declsToAddBefore.push_back(
                createVirtualTableStruct( location, exceptionName, forall, params ) );
        return createExceptionStruct( location, exceptionName, forall, params, members );
}

ast::ObjectDecl const * ExceptDeclCore::transformVTable(
                ast::ObjectDecl const * decl, ast::VTableType const * type ) {
        CodeLocation const & location = decl->location;
        auto base = type->base.strict_as<ast::TypeInstType>();
        std::string const & exceptionName = base->name;
        std::vector<ast::ptr<ast::Expr>> const & params = base->params;
        std::string const & tableName = decl->name;

        if ( decl->storage.is_extern ) {
                // Unique type-ids are only needed for polymorphic instances.
                if ( !params.empty() ) {
                        declsToAddBefore.push_back(
                                createExternTypeId( location, exceptionName, params ) );
                }
                return createExternVTable( location, exceptionName, params, tableName );
        } else {
                // Unique type-ids are only needed for polymorphic instances.
                if ( !params.empty() ) {
                        declsToAddBefore.push_back(
                                createTypeIdValue( location, exceptionName, params ) );
                }
                declsToAddBefore.push_back(
                        createCopy( location, exceptionName, params ) );
                declsToAddBefore.push_back(
                        createMsg( location, exceptionName, params ) );
                return createVirtualTable(
                        location, exceptionName, params, tableName );
        }
}

struct VTableCore {
        ast::StructInstType const * postvisit( ast::VTableType const * type ) {
                auto inst = type->base.as<ast::BaseInstType>();

                std::string vtableName = Virtual::vtableTypeName( inst->name );
                auto newType = new ast::StructInstType( vtableName );
                for ( ast::ptr<ast::Expr> const & param : inst->params ) {
                        newType->params.push_back( param );
                }

                return newType;
        }
};

} // namespace

void translateExcept( ast::TranslationUnit & translationUnit ) {
        // Can I combine these?
        // Second pass really only covers what the first has missed.
        // Maybe if the first one is all previsits and the second all postvisit.
        ast::Pass<ExceptDeclCore>::run( translationUnit );
        ast::Pass<VTableCore>::run( translationUnit );
}

} // namespace ControlStruct

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //