-
Notifications
You must be signed in to change notification settings - Fork 140
/
Copy pathOMRTreeEvaluator.hpp
117 lines (100 loc) · 5.8 KB
/
OMRTreeEvaluator.hpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
/*******************************************************************************
* Copyright IBM Corp. and others 2000
*
* This program and the accompanying materials are made available under
* the terms of the Eclipse Public License 2.0 which accompanies this
* distribution and is available at https://www.eclipse.org/legal/epl-2.0/
* or the Apache License, Version 2.0 which accompanies this distribution
* and is available at https://www.apache.org/licenses/LICENSE-2.0.
*
* This Source Code may also be made available under the following Secondary
* Licenses when the conditions for such availability set forth in the
* Eclipse Public License, v. 2.0 are satisfied: GNU General Public License,
* version 2 with the GNU Classpath Exception [1] and GNU General Public
* License, version 2 with the OpenJDK Assembly Exception [2].
*
* [1] https://www.gnu.org/software/classpath/license.html
* [2] https://openjdk.org/legal/assembly-exception.html
*
* SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0 OR GPL-2.0-only WITH OpenJDK-assembly-exception-1.0
*******************************************************************************/
#ifndef OMR_TREE_EVALUATOR_INCL
#define OMR_TREE_EVALUATOR_INCL
/*
* The following #define and typedef must appear before any #includes in this file
*/
#ifndef OMR_TREE_EVALUATOR_CONNECTOR
#define OMR_TREE_EVALUATOR_CONNECTOR
namespace OMR { class TreeEvaluator; }
namespace OMR { typedef OMR::TreeEvaluator TreeEvaluatorConnector; }
#endif
#include <stddef.h>
#include <stdint.h>
#include "infra/Annotations.hpp"
#include "il/Node.hpp"
class TR_OpaqueClassBlock;
namespace TR { class SymbolReference; }
namespace TR { class CodeGenerator; }
namespace TR { class Register; }
namespace OMR
{
class OMR_EXTENSIBLE TreeEvaluator
{
public:
static TR::Register *brdbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *brdbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *srdbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *srdbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *irdbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *irdbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *lrdbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *lrdbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *frdbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *frdbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *drdbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *drdbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *ardbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *ardbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *swrtbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *swrtbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *bwrtbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *bwrtbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *iwrtbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *iwrtbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *lwrtbarEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *lwrtbariEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static bool instanceOfOrCheckCastNeedEqualityTest(TR::Node * castClassNode, TR::CodeGenerator *cg);
static bool instanceOfOrCheckCastNeedSuperTest(TR::Node * castClassNode, TR::CodeGenerator *cg);
static TR_GlobalRegisterNumber getHighGlobalRegisterNumberIfAny(TR::Node *node, TR::CodeGenerator *cg);
static int32_t classDepth(TR::Node * castClassNode, TR::CodeGenerator * cg);
static int32_t checkNonNegativePowerOfTwo(int32_t value);
static int32_t checkNonNegativePowerOfTwo(int64_t value);
static int32_t checkPositiveOrNegativePowerOfTwo(int32_t value);
static int32_t checkPositiveOrNegativePowerOfTwo(int64_t value);
/**
* @brief unImpOpEvaluator A dummy evaluator for IL opcodes that could be
* supported by a codegen but that are not implemented
*/
static TR::Register *unImpOpEvaluator(TR::Node *node, TR::CodeGenerator *cg);
/**
* @brief badILOpEvaluator A dummy evaluator for IL opcodes that are not
* supported by a codegen (e.g. because they are specific to another codegen
* or are not applicable to a particular project)
*/
static TR::Register *badILOpEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *compressedRefsEvaluator(TR::Node *node, TR::CodeGenerator *cg);
static TR::Register *computeCCEvaluator(TR::Node *node, TR::CodeGenerator *cg);
struct TR_ArithmeticOverflowCheckNodes { TR::Node *operationNode, *leftChild, *rightChild; };
static bool nodeIsIArithmeticOverflowCheck(TR::Node *node, TR_ArithmeticOverflowCheckNodes *u);
static bool nodeIsLArithmeticOverflowCheck(TR::Node *node, TR_ArithmeticOverflowCheckNodes *u);
static bool nodeIsIAddOverflowCheck(TR::Node *node, TR_ArithmeticOverflowCheckNodes *u);
static bool nodeIsISubOverflowCheck(TR::Node *node, TR_ArithmeticOverflowCheckNodes *u);
static bool nodeIsLAddOverflowCheck(TR::Node *node, TR_ArithmeticOverflowCheckNodes *u);
static bool nodeIsLSubOverflowCheck(TR::Node *node, TR_ArithmeticOverflowCheckNodes *u);
static void evaluateNodesWithFutureUses(TR::Node *node, TR::CodeGenerator *cg);
static void initializeStrictlyFutureUseCounts(TR::Node *node, vcount_t visitCount, TR::CodeGenerator *cg);
protected:
static bool isStaticClassSymRef(TR::SymbolReference * symRef);
};
}
#endif