source: src/CodeGen/OperatorTable.cc @ 3d2b7bc

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerwith_gc
Last change on this file since 3d2b7bc was 3d2b7bc, checked in by Rob Schluntz <rschlunt@…>, 4 years ago

Check for operator-as-object errors

  • Property mode set to 100644
File size: 5.6 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// OperatorTable.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jul 15 17:12:22 2017
13// Update Count     : 15
14//
15
16#include <algorithm>  // for any_of
17#include <map>        // for map, _Rb_tree_const_iterator, map<>::const_iterator
18#include <utility>    // for pair
19
20#include "OperatorTable.h"
21#include "Common/utility.h"
22
23namespace CodeGen {
24        namespace {
25                const OperatorInfo tableValues[] = {
26                        {       "?[?]",         "",             "_operator_index",                              OT_INDEX                        },
27                        {       "?{}",          "=",    "_constructor",                                 OT_CTOR                         },
28                        {       "^?{}",         "",             "_destructor",                                  OT_DTOR                         },
29                        {       "?()",          "",             "_operator_call",                               OT_CALL                         },
30                        {       "?++",          "++",   "_operator_postincr",                   OT_POSTFIXASSIGN        },
31                        {       "?--",          "--",   "_operator_postdecr",                   OT_POSTFIXASSIGN        },
32                        {       "*?",           "*",    "_operator_deref",                              OT_PREFIX                       },
33                        {       "+?",           "+",    "_operator_unaryplus",                  OT_PREFIX                       },
34                        {       "-?",           "-",    "_operator_unaryminus",                 OT_PREFIX                       },
35                        {       "~?",           "~",    "_operator_bitnot",                             OT_PREFIX                       },
36                        {       "!?",           "!",    "_operator_lognot",                             OT_PREFIX                       },
37                        {       "++?",          "++",   "_operator_preincr",                    OT_PREFIXASSIGN         },
38                        {       "--?",          "--",   "_operator_predecr",                    OT_PREFIXASSIGN         },
39                        {       "?\\?",         "\\",   "_operator_exponential",                OT_INFIX                        },
40                        {       "?*?",          "*",    "_operator_multiply",                   OT_INFIX                        },
41                        {       "?/?",          "/",    "_operator_divide",                             OT_INFIX                        },
42                        {       "?%?",          "%",    "_operator_modulus",                    OT_INFIX                        },
43                        {       "?+?",          "+",    "_operator_add",                                OT_INFIX                        },
44                        {       "?-?",          "-",    "_operator_subtract",                   OT_INFIX                        },
45                        {       "?<<?",         "<<",   "_operator_shiftleft",                  OT_INFIX                        },
46                        {       "?>>?",         ">>",   "_operator_shiftright",                 OT_INFIX                        },
47                        {       "?<?",          "<",    "_operator_less",                               OT_INFIX                        },
48                        {       "?>?",          ">",    "_operator_greater",                    OT_INFIX                        },
49                        {       "?<=?",         "<=",   "_operator_lessequal",                  OT_INFIX                        },
50                        {       "?>=?",         ">=",   "_operator_greaterequal",               OT_INFIX                        },
51                        {       "?==?",         "==",   "_operator_equal",                              OT_INFIX                        },
52                        {       "?!=?",         "!=",   "_operator_notequal",                   OT_INFIX                        },
53                        {       "?&?",          "&",    "_operator_bitand",                             OT_INFIX                        },
54                        {       "?^?",          "^",    "_operator_bitxor",                             OT_INFIX                        },
55                        {       "?|?",          "|",    "_operator_bitor",                              OT_INFIX                        },
56                        {       "?=?",          "=",    "_operator_assign",                             OT_INFIXASSIGN          },
57                        {       "?\\=?",        "\\=",  "_operator_expassign",                  OT_INFIXASSIGN          },
58                        {       "?*=?",         "*=",   "_operator_multassign",                 OT_INFIXASSIGN          },
59                        {       "?/=?",         "/=",   "_operator_divassign",                  OT_INFIXASSIGN          },
60                        {       "?%=?",         "%=",   "_operator_modassign",                  OT_INFIXASSIGN          },
61                        {       "?+=?",         "+=",   "_operator_addassign",                  OT_INFIXASSIGN          },
62                        {       "?-=?",         "-=",   "_operator_subassign",                  OT_INFIXASSIGN          },
63                        {       "?<<=?",        "<<=",  "_operator_shiftleftassign",    OT_INFIXASSIGN          },
64                        {       "?>>=?",        ">>=",  "_operator_shiftrightassign",   OT_INFIXASSIGN          },
65                        {       "?&=?",         "&=",   "_operator_bitandassign",               OT_INFIXASSIGN          },
66                        {       "?^=?",         "^=",   "_operator_bitxorassign",               OT_INFIXASSIGN          },
67                        {       "?|=?",         "|=",   "_operator_bitorassign",                OT_INFIXASSIGN          },
68                };
69
70                const int numOps = sizeof( tableValues ) / sizeof( OperatorInfo );
71
72                std::map< std::string, OperatorInfo > table;
73
74                void initialize() {
75                        for ( int i = 0; i < numOps; ++i ) {
76                                table[ tableValues[i].inputName ] = tableValues[i];
77                        } // for
78                }
79        } // namespace
80
81        bool operatorLookup( const std::string & funcName, OperatorInfo & info ) {
82                static bool init = false;
83                if ( ! init ) {
84                        initialize();
85                } // if
86
87                std::map< std::string, OperatorInfo >::const_iterator i = table.find( funcName );
88                if ( i == table.end() ) {
89                        if ( isPrefix( funcName, "?`" ) ) {
90                                // handle literal suffixes, which are user-defined postfix operators
91                                info.inputName = funcName;
92                                info.symbol = funcName.substr(2);
93                                info.outputName = toString( "__operator_literal_", info.symbol );
94                                info.type = OT_POSTFIX;
95                                return true;
96                        }
97                        return false;
98                } else {
99                        info = i->second;
100                        return true;
101                } // if
102        }
103
104        bool isOperator( const std::string & funcName ) {
105                OperatorInfo info;
106                return operatorLookup( funcName, info );
107        }
108
109        /// determines if a given function name is one of the operator types between [begin, end)
110        template<typename Iterator>
111        bool isOperatorType( const std::string & funcName, Iterator begin, Iterator end ) {
112                OperatorInfo info;
113                if ( operatorLookup( funcName, info ) ) {
114                        return std::find( begin, end, info.type ) != end;
115                }
116                return false;
117        }
118
119        bool isConstructor( const std::string & funcName ) {
120                static OperatorType types[] = { OT_CTOR };
121                return isOperatorType( funcName, std::begin(types), std::end(types) );
122        }
123
124        bool isDestructor( const std::string & funcName ) {
125                static OperatorType types[] = { OT_DTOR };
126                return isOperatorType( funcName, std::begin(types), std::end(types) );
127        }
128
129        bool isAssignment( const std::string & funcName ) {
130                static OperatorType types[] = { OT_PREFIXASSIGN, OT_POSTFIXASSIGN, OT_INFIXASSIGN };
131                return isOperatorType( funcName, std::begin(types), std::end(types) );
132        }
133
134        bool isCtorDtor( const std::string & funcName ) {
135                static OperatorType types[] = { OT_CTOR, OT_DTOR };
136                return isOperatorType( funcName, std::begin(types), std::end(types) );
137        }
138
139        bool isCtorDtorAssign( const std::string & funcName ) {
140                static OperatorType types[] = { OT_CTOR, OT_DTOR, OT_PREFIXASSIGN, OT_POSTFIXASSIGN, OT_INFIXASSIGN };
141                return isOperatorType( funcName, std::begin(types), std::end(types) );
142        }
143} // namespace CodeGen
144
145// Local Variables: //
146// tab-width: 4 //
147// mode: c++ //
148// compile-command: "make install" //
149// End: //
Note: See TracBrowser for help on using the repository browser.