source: src/CodeGen/OperatorTable.cc @ bc3127d

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

Handle user-defined literals in OperatorTable?, 0/1 from operator table

  • Property mode set to 100644
File size: 5.5 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                        {       "&&",           "&&",   "&&",                                                   OT_LABELADDRESS         }
69                };
70
71                const int numOps = sizeof( tableValues ) / sizeof( OperatorInfo );
72
73                std::map< std::string, OperatorInfo > table;
74
75                void initialize() {
76                        for ( int i = 0; i < numOps; ++i ) {
77                                table[ tableValues[i].inputName ] = tableValues[i];
78                        } // for
79                }
80        } // namespace
81
82        bool operatorLookup( std::string funcName, OperatorInfo &info ) {
83                static bool init = false;
84                if ( ! init ) {
85                        initialize();
86                } // if
87
88                std::map< std::string, OperatorInfo >::const_iterator i = table.find( funcName );
89                if ( i == table.end() ) {
90                        if ( isPrefix( funcName, "?`" ) ) {
91                                // handle literal suffixes, which are user-defined postfix operators
92                                info.inputName = funcName;
93                                info.symbol = funcName.substr(2);
94                                info.outputName = toString( "__operator_literal_", info.symbol );
95                                info.type = OT_POSTFIX;
96                                return true;
97                        }
98                        return false;
99                } else {
100                        info = i->second;
101                        return true;
102                } // if
103        }
104
105        /// determines if a given function name is one of the operator types between [begin, end)
106        template<typename Iterator>
107        bool isOperatorType( const std::string & funcName, Iterator begin, Iterator end ) {
108                OperatorInfo info;
109                if ( operatorLookup( funcName, info ) ) {
110                        return std::find( begin, end, info.type ) != end;
111                }
112                return false;
113        }
114
115        bool isConstructor( const std::string & funcName ) {
116                static OperatorType types[] = { OT_CTOR };
117                return isOperatorType( funcName, std::begin(types), std::end(types) );
118        }
119
120        bool isDestructor( const std::string & funcName ) {
121                static OperatorType types[] = { OT_DTOR };
122                return isOperatorType( funcName, std::begin(types), std::end(types) );
123        }
124
125        bool isAssignment( const std::string & funcName ) {
126                static OperatorType types[] = { OT_PREFIXASSIGN, OT_POSTFIXASSIGN, OT_INFIXASSIGN };
127                return isOperatorType( funcName, std::begin(types), std::end(types) );
128        }
129
130        bool isCtorDtor( const std::string & funcName ) {
131                static OperatorType types[] = { OT_CTOR, OT_DTOR };
132                return isOperatorType( funcName, std::begin(types), std::end(types) );
133        }
134
135        bool isCtorDtorAssign( const std::string & funcName ) {
136                static OperatorType types[] = { OT_CTOR, OT_DTOR, OT_PREFIXASSIGN, OT_POSTFIXASSIGN, OT_INFIXASSIGN };
137                return isOperatorType( funcName, std::begin(types), std::end(types) );
138        }
139} // namespace CodeGen
140
141// Local Variables: //
142// tab-width: 4 //
143// mode: c++ //
144// compile-command: "make install" //
145// End: //
Note: See TracBrowser for help on using the repository browser.