source: src/Virtual/ExpandCasts.cc @ 9bbbc8e

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 9bbbc8e was c19bc90, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Better error messages in ExpandCasts?.

  • Property mode set to 100644
File size: 5.7 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// ExpandCasts.cc --
8//
9// Author           : Andrew Beach
10// Created On       : Mon Jul 24 13:59:00 2017
11// Last Modified By : Andrew Beach
12// Last Modified On : Tue May 26 14:37:00 2020
13// Update Count     : 2
14//
15
16#include "ExpandCasts.h"
17
18#include <cassert>                 // for assert, assertf
19#include <iterator>                // for back_inserter, inserter
20#include <map>                     // for map, _Rb_tree_iterator, map<>::ite...
21#include <string>                  // for string, allocator, operator==, ope...
22#include <utility>                 // for pair
23
24#include "Common/PassVisitor.h"    // for PassVisitor
25#include "Common/SemanticError.h"  // for SemanticError
26#include "SynTree/Declaration.h"   // for ObjectDecl, StructDecl, FunctionDecl
27#include "SynTree/Expression.h"    // for VirtualCastExpr, CastExpr, Address...
28#include "SynTree/Mutator.h"       // for mutateAll
29#include "SynTree/Type.h"          // for Type, PointerType, StructInstType
30#include "SynTree/Visitor.h"       // for acceptAll
31
32namespace Virtual {
33
34        /* Currently virtual depends on the rather brittle name matching between
35         * a (strict/explicate) virtual type, its vtable type and the vtable
36         * instance.
37         * A stronger implementation, would probably keep track of those triads
38         * and use that information to create better error messages.
39         */
40
41        std::string get_vtable_name( std::string const & name ) {
42                return name + "_vtable";
43        }
44
45        std::string get_vtable_inst_name( std::string const & name ) {
46                return std::string("_") + get_vtable_name( name ) + "_instance";
47        }
48
49        std::string get_vtable_name_root( std::string const & name ) {
50                return name.substr(0, name.size() - 7 );
51        }
52
53        std::string get_vtable_inst_name_root( std::string const & name ) {
54                return get_vtable_name_root( name.substr(1, name.size() - 10 ) );
55        }
56
57        bool is_vtable_name( std::string const & name ) {
58                return (name.substr( name.size() - 7 ) == "_vtable" );
59        }
60
61        bool is_vtable_inst_name( std::string const & name ) {
62                return 17 < name.size() &&
63                        name == get_vtable_inst_name( get_vtable_inst_name_root( name ) );
64        }
65
66        class VirtualCastCore {
67        std::map<std::string, ObjectDecl *> vtable_instances;
68        FunctionDecl *vcast_decl;
69        StructDecl *pvt_decl;
70
71                Type * pointer_to_pvt(int level_of_indirection) {
72                        Type * type = new StructInstType(
73                                Type::Qualifiers( Type::Const ), pvt_decl );
74                        for (int i = 0 ; i < level_of_indirection ; ++i) {
75                                type = new PointerType( noQualifiers, type );
76                        }
77                        return type;
78                }
79
80        public:
81                VirtualCastCore() :
82                        vtable_instances(), vcast_decl( nullptr ), pvt_decl( nullptr )
83                {}
84
85                void premutate( FunctionDecl * functionDecl );
86                void premutate( StructDecl * structDecl );
87                void premutate( ObjectDecl * objectDecl );
88
89                Expression * postmutate( VirtualCastExpr * castExpr );
90        };
91
92        void VirtualCastCore::premutate( FunctionDecl * functionDecl ) {
93                if ( (! vcast_decl) &&
94                     functionDecl->get_name() == "__cfa__virtual_cast" ) {
95                        vcast_decl = functionDecl;
96                }
97        }
98
99        void VirtualCastCore::premutate( StructDecl * structDecl ) {
100                if ( pvt_decl || ! structDecl->has_body() ) {
101                        return;
102                } else if ( structDecl->get_name() == "__cfa__parent_vtable" ) {
103                        pvt_decl = structDecl;
104                }
105        }
106
107        void VirtualCastCore::premutate( ObjectDecl * objectDecl ) {
108                if ( is_vtable_inst_name( objectDecl->get_name() ) ) {
109                        vtable_instances[objectDecl->get_name()] = objectDecl;
110                }
111        }
112
113        // Better error locations for generated casts.
114        static CodeLocation castLocation( VirtualCastExpr * castExpr ) {
115                if ( castExpr->location.isSet() ) {
116                        return castExpr->location;
117                } else if ( castExpr->arg->location.isSet() ) {
118                        return castExpr->arg->location;
119                } else if ( castExpr->result->location.isSet() ) {
120                        return castExpr->result->location;
121                } else {
122                        return CodeLocation();
123                }
124        }
125
126        Expression * VirtualCastCore::postmutate( VirtualCastExpr * castExpr ) {
127                assertf( castExpr->get_result(), "Virtual Cast target not found before expansion." );
128
129                assert( vcast_decl );
130                assert( pvt_decl );
131
132                // Get the base type of the pointer/reference.
133                Type * base;
134                Type * result_type = castExpr->result;
135                if ( PointerType * target = dynamic_cast<PointerType *>( result_type ) ) {
136                        base = target->base;
137                } else if ( ReferenceType * target = dynamic_cast<ReferenceType *>( result_type ) ) {
138                        base = target->base;
139                } else {
140                        SemanticError( castLocation( castExpr ),
141                                "Virtual cast type must be a pointer or reference type." );
142                }
143
144                StructInstType * target_struct = dynamic_cast<StructInstType *>( base );
145                if ( nullptr == target_struct ) {
146                        SemanticError( castLocation( castExpr ),
147                                "Virtual cast type must refer to a structure type." );
148                }
149                StructDecl * target_decl = target_struct->get_baseStruct();
150
151                std::map<std::string, ObjectDecl *>::iterator found =
152                        vtable_instances.find( get_vtable_inst_name( target_decl->get_name() ) );
153                if ( vtable_instances.end() == found ) {
154                        SemanticError( castLocation( castExpr ),
155                                "Virtual cast type does not have a virtual table instance." );
156                }
157                ObjectDecl * table = found->second;
158
159                Expression * result = new CastExpr(
160                        new ApplicationExpr( VariableExpr::functionPointer( vcast_decl ), {
161                                        new CastExpr(
162                                                new AddressExpr( new VariableExpr( table ) ),
163                                                pointer_to_pvt(1)
164                                        ),
165                                        new CastExpr(
166                                                castExpr->get_arg(),
167                                                pointer_to_pvt(2)
168                                        )
169                        } ),
170                        castExpr->get_result()->clone()
171                );
172
173                castExpr->set_arg( nullptr );
174                castExpr->set_result( nullptr );
175                delete castExpr;
176                return result;
177        }
178
179        void expandCasts( std::list< Declaration * > & translationUnit ) {
180                PassVisitor<VirtualCastCore> translator;
181                mutateAll( translationUnit, translator );
182        }
183}
Note: See TracBrowser for help on using the repository browser.