blob: b3eb1e2d51ac4afb56b7a0b3535bc855c600c0ce [file] [log] [blame]
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +00001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#ifndef ART_COMPILER_OPTIMIZING_OPTIMIZING_UNIT_TEST_H_
18#define ART_COMPILER_OPTIMIZING_OPTIMIZING_UNIT_TEST_H_
19
Roland Levillainccc07a92014-09-16 14:48:16 +010020#include "nodes.h"
21#include "builder.h"
22#include "dex_file.h"
23#include "dex_instruction.h"
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010024#include "ssa_liveness_analysis.h"
25
Roland Levillain72bceff2014-09-15 18:29:00 +010026#include "gtest/gtest.h"
27
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010028namespace art {
29
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000030#define NUM_INSTRUCTIONS(...) \
31 (sizeof((uint16_t[]) {__VA_ARGS__}) /sizeof(uint16_t))
32
Roland Levillain55dcfb52014-10-24 18:09:09 +010033#define N_REGISTERS_CODE_ITEM(NUM_REGS, ...) \
34 { NUM_REGS, 0, 0, 0, 0, 0, NUM_INSTRUCTIONS(__VA_ARGS__), 0, __VA_ARGS__ }
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000035
Roland Levillain55dcfb52014-10-24 18:09:09 +010036#define ZERO_REGISTER_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(0, __VA_ARGS__)
37#define ONE_REGISTER_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(1, __VA_ARGS__)
38#define TWO_REGISTERS_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(2, __VA_ARGS__)
39#define THREE_REGISTERS_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(3, __VA_ARGS__)
40#define FOUR_REGISTERS_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(4, __VA_ARGS__)
41#define FIVE_REGISTERS_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(5, __VA_ARGS__)
42#define SIX_REGISTERS_CODE_ITEM(...) N_REGISTERS_CODE_ITEM(6, __VA_ARGS__)
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +000043
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010044
45LiveInterval* BuildInterval(const size_t ranges[][2],
46 size_t number_of_ranges,
47 ArenaAllocator* allocator,
Nicolas Geoffraydd8f8872015-01-15 15:37:37 +000048 int reg = -1,
49 HInstruction* defined_by = nullptr) {
50 LiveInterval* interval = LiveInterval::MakeInterval(allocator, Primitive::kPrimInt, defined_by);
51 if (defined_by != nullptr) {
52 defined_by->SetLiveInterval(interval);
53 }
Nicolas Geoffraya7062e02014-05-22 12:50:17 +010054 for (size_t i = number_of_ranges; i > 0; --i) {
55 interval->AddRange(ranges[i - 1][0], ranges[i - 1][1]);
56 }
57 interval->SetRegister(reg);
58 return interval;
59}
60
Nicolas Geoffrayfbc695f2014-09-15 15:33:30 +000061void RemoveSuspendChecks(HGraph* graph) {
62 for (size_t i = 0, e = graph->GetBlocks().Size(); i < e; ++i) {
63 for (HInstructionIterator it(graph->GetBlocks().Get(i)->GetInstructions());
64 !it.Done();
65 it.Advance()) {
66 HInstruction* current = it.Current();
67 if (current->IsSuspendCheck()) {
68 current->GetBlock()->RemoveInstruction(current);
69 }
70 }
71 }
72}
73
Roland Levillainccc07a92014-09-16 14:48:16 +010074// Create a control-flow graph from Dex instructions.
Nicolas Geoffray7fb49da2014-10-06 09:12:41 +010075inline HGraph* CreateCFG(ArenaAllocator* allocator,
76 const uint16_t* data,
77 Primitive::Type return_type = Primitive::kPrimInt) {
78 HGraphBuilder builder(allocator, return_type);
Roland Levillainccc07a92014-09-16 14:48:16 +010079 const DexFile::CodeItem* item =
80 reinterpret_cast<const DexFile::CodeItem*>(data);
81 HGraph* graph = builder.BuildGraph(*item);
82 return graph;
83}
84
Roland Levillain72bceff2014-09-15 18:29:00 +010085// Naive string diff data type.
86typedef std::list<std::pair<std::string, std::string>> diff_t;
87
88// An alias for the empty string used to make it clear that a line is
89// removed in a diff.
90static const std::string removed = "";
91
92// Naive patch command: apply a diff to a string.
93inline std::string Patch(const std::string& original, const diff_t& diff) {
94 std::string result = original;
95 for (const auto& p : diff) {
96 std::string::size_type pos = result.find(p.first);
97 EXPECT_NE(pos, std::string::npos);
98 result.replace(pos, p.first.size(), p.second);
99 }
100 return result;
101}
102
Mingyao Yangf384f882014-10-22 16:08:18 -0700103// Returns if the instruction is removed from the graph.
104inline bool IsRemoved(HInstruction* instruction) {
105 return instruction->GetBlock() == nullptr;
106}
107
Nicolas Geoffraya7062e02014-05-22 12:50:17 +0100108} // namespace art
109
Nicolas Geoffray3ff386a2014-03-04 14:46:47 +0000110#endif // ART_COMPILER_OPTIMIZING_OPTIMIZING_UNIT_TEST_H_