source: src/CodeGen/OperatorTable.cc@ b58affe7

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since b58affe7 was 3d2b7bc, checked in by Rob Schluntz <rschlunt@…>, 8 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.