-
Notifications
You must be signed in to change notification settings - Fork 393
/
AbsInterpreterTest.hpp
82 lines (65 loc) · 3.06 KB
/
AbsInterpreterTest.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
/*******************************************************************************
* Copyright (c) 2020, 2020 IBM Corp. and others
*
* 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 http://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] http://openjdk.java.net/legal/assembly-exception.html
*
* SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 OR GPL-2.0 WITH Classpath-exception-2.0 OR LicenseRef-GPL-2.0 WITH Assembly-exception
*******************************************************************************/
#ifndef ABS_INTERPRETER_TEST_HPP
#define ABS_INTERPRETER_TEST_HPP
#include <gtest/gtest.h>
#include <exception>
#include "../CompilerUnitTest.hpp"
#include "optimizer/abstractinterpreter/AbsValue.hpp"
#include "optimizer/GlobalValuePropagation.hpp"
namespace TRTest {
class AbsInterpreterTest : public TRTest::CompilerUnitTest {
public:
AbsInterpreterTest() : CompilerUnitTest() {
_manager = new (_comp.allocator()) TR::OptimizationManager(_optimizer, TR::GlobalValuePropagation::create, OMR::globalValuePropagation);
_vp = static_cast<TR::GlobalValuePropagation*>(TR::GlobalValuePropagation::create(_manager));
_vp->initialize();
}
TR::ValuePropagation* vp() { return _vp; }
private:
TR::OptimizationManager* _manager;
TR::GlobalValuePropagation* _vp;
};
class AbsTestValue : public TR::AbsValue {
public:
AbsTestValue(TR::DataType dataType, int32_t low, int32_t high) :TR::AbsValue(dataType), _low(low), _high(high) {}
int32_t getLow() const { return _low; }
int32_t getHigh() const { return _high; }
virtual TR::AbsValue* clone(TR::Region& region) const {
TRTest::AbsTestValue* copy = new (region) TRTest::AbsTestValue(_dataType, _paramPos, _low, _high);
return copy;
}
virtual bool isTop() const { return _low == INT_MIN && _high == INT_MAX; }
virtual void setToTop() { _low = INT_MIN; _high = INT_MAX; }
virtual TR::AbsValue* merge(const TR::AbsValue *other) {
const TRTest::AbsTestValue* v = static_cast<const TRTest::AbsTestValue*>(other);
_low = std::min(v->getLow(), _low);
_high = std::max(v->getHigh(), _high);
return this;
}
virtual void print(TR::Compilation* comp) const {}
private:
AbsTestValue(TR::DataType dataType, int32_t paramPos, int32_t low, int32_t high) : TR::AbsValue(dataType, paramPos), _low(low), _high(high) {}
int32_t _low;
int32_t _high;
};
}
#endif