source: src/CodeGen/OperatorTable.cc@ bc3127d

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since bc3127d was bc3127d, checked in by Rob Schluntz <rschlunt@…>, 8 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.