source: src/CodeGen/OperatorTable.cc@ 12d2dc8

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 12d2dc8 was 5809461, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

Fix handling of GCC label address and computed goto
  • Property mode set to 100644
File size: 5.4 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( 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 /// determines if a given function name is one of the operator types between [begin, end)
105 template<typename Iterator>
106 bool isOperatorType( const std::string & funcName, Iterator begin, Iterator end ) {
107 OperatorInfo info;
108 if ( operatorLookup( funcName, info ) ) {
109 return std::find( begin, end, info.type ) != end;
110 }
111 return false;
112 }
113
114 bool isConstructor( const std::string & funcName ) {
115 static OperatorType types[] = { OT_CTOR };
116 return isOperatorType( funcName, std::begin(types), std::end(types) );
117 }
118
119 bool isDestructor( const std::string & funcName ) {
120 static OperatorType types[] = { OT_DTOR };
121 return isOperatorType( funcName, std::begin(types), std::end(types) );
122 }
123
124 bool isAssignment( const std::string & funcName ) {
125 static OperatorType types[] = { OT_PREFIXASSIGN, OT_POSTFIXASSIGN, OT_INFIXASSIGN };
126 return isOperatorType( funcName, std::begin(types), std::end(types) );
127 }
128
129 bool isCtorDtor( const std::string & funcName ) {
130 static OperatorType types[] = { OT_CTOR, OT_DTOR };
131 return isOperatorType( funcName, std::begin(types), std::end(types) );
132 }
133
134 bool isCtorDtorAssign( const std::string & funcName ) {
135 static OperatorType types[] = { OT_CTOR, OT_DTOR, OT_PREFIXASSIGN, OT_POSTFIXASSIGN, OT_INFIXASSIGN };
136 return isOperatorType( funcName, std::begin(types), std::end(types) );
137 }
138} // namespace CodeGen
139
140// Local Variables: //
141// tab-width: 4 //
142// mode: c++ //
143// compile-command: "make install" //
144// End: //
Note: See TracBrowser for help on using the repository browser.