blob: 2e189fdd141c5235142516b9a3db1606cd834bee [file] [log] [blame]
David Srbeckyc6b4dd82015-04-07 20:32:43 +01001/*
2 * Copyright (C) 2015 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#include <memory>
18#include <vector>
19
20#include "arch/instruction_set.h"
Andreas Gampe2a5d7282018-01-02 11:53:35 -080021#include "base/runtime_debug.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010022#include "cfi_test.h"
Vladimir Marko3a21e382016-09-02 12:38:38 +010023#include "driver/compiler_options.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010024#include "gtest/gtest.h"
25#include "optimizing/code_generator.h"
Nicolas Geoffray0a23d742015-05-07 11:57:35 +010026#include "optimizing/optimizing_unit_test.h"
Andreas Gampe217488a2017-09-18 08:34:42 -070027#include "read_barrier_config.h"
Nicolas Geoffray467d94a2017-03-16 10:24:17 +000028#include "utils/arm/assembler_arm_vixl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070029#include "utils/assembler.h"
Vladimir Marko10ef6942015-10-22 15:25:54 +010030#include "utils/mips/assembler_mips.h"
Alexey Frunzea0e87b02015-09-24 22:57:20 -070031#include "utils/mips64/assembler_mips64.h"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010032
33#include "optimizing/optimizing_cfi_test_expected.inc"
34
Scott Wakeling90ab6732016-12-08 10:25:03 +000035namespace vixl32 = vixl::aarch32;
36
37using vixl32::r0;
Scott Wakeling90ab6732016-12-08 10:25:03 +000038
David Srbeckyc6b4dd82015-04-07 20:32:43 +010039namespace art {
40
41// Run the tests only on host.
Bilyan Borisovbb661c02016-04-04 16:27:32 +010042#ifndef ART_TARGET_ANDROID
David Srbeckyc6b4dd82015-04-07 20:32:43 +010043
Mathieu Chartierfa3db3d2018-01-12 14:42:18 -080044class OptimizingCFITest : public CFITest, public OptimizingUnitTestHelper {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010045 public:
46 // Enable this flag to generate the expected outputs.
47 static constexpr bool kGenerateExpected = false;
48
Vladimir Marko10ef6942015-10-22 15:25:54 +010049 OptimizingCFITest()
Vladimir Markoca6fff82017-10-03 14:49:14 +010050 : pool_and_allocator_(),
Vladimir Marko10ef6942015-10-22 15:25:54 +010051 opts_(),
52 isa_features_(),
53 graph_(nullptr),
54 code_gen_(),
Vladimir Markoca6fff82017-10-03 14:49:14 +010055 blocks_(GetAllocator()->Adapter()) {}
56
57 ArenaAllocator* GetAllocator() { return pool_and_allocator_.GetAllocator(); }
Vladimir Marko10ef6942015-10-22 15:25:54 +010058
59 void SetUpFrame(InstructionSet isa) {
Andreas Gampe2a5d7282018-01-02 11:53:35 -080060 // Ensure that slow-debug is off, so that there is no unexpected read-barrier check emitted.
61 SetRuntimeDebugFlagsEnabled(false);
62
David Srbeckyc6b4dd82015-04-07 20:32:43 +010063 // Setup simple context.
David Srbeckyc6b4dd82015-04-07 20:32:43 +010064 std::string error;
Andreas Gampe0415b4e2015-01-06 15:17:07 -080065 isa_features_ = InstructionSetFeatures::FromVariant(isa, "default", &error);
Mathieu Chartierfa3db3d2018-01-12 14:42:18 -080066 graph_ = CreateGraph();
David Srbeckyc6b4dd82015-04-07 20:32:43 +010067 // Generate simple frame with some spills.
Vladimir Markod58b8372016-04-12 18:51:43 +010068 code_gen_ = CodeGenerator::Create(graph_, isa, *isa_features_, opts_);
Vladimir Marko10ef6942015-10-22 15:25:54 +010069 code_gen_->GetAssembler()->cfi().SetEnabled(true);
Vladimir Marko174b2e22017-10-12 13:34:49 +010070 code_gen_->InitializeCodeGenerationData();
David Srbeckyc6b4dd82015-04-07 20:32:43 +010071 const int frame_size = 64;
72 int core_reg = 0;
73 int fp_reg = 0;
74 for (int i = 0; i < 2; i++) { // Two registers of each kind.
75 for (; core_reg < 32; core_reg++) {
Vladimir Marko10ef6942015-10-22 15:25:54 +010076 if (code_gen_->IsCoreCalleeSaveRegister(core_reg)) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010077 auto location = Location::RegisterLocation(core_reg);
Vladimir Marko10ef6942015-10-22 15:25:54 +010078 code_gen_->AddAllocatedRegister(location);
David Srbeckyc6b4dd82015-04-07 20:32:43 +010079 core_reg++;
80 break;
81 }
82 }
83 for (; fp_reg < 32; fp_reg++) {
Vladimir Marko10ef6942015-10-22 15:25:54 +010084 if (code_gen_->IsFloatingPointCalleeSaveRegister(fp_reg)) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010085 auto location = Location::FpuRegisterLocation(fp_reg);
Vladimir Marko10ef6942015-10-22 15:25:54 +010086 code_gen_->AddAllocatedRegister(location);
David Srbeckyc6b4dd82015-04-07 20:32:43 +010087 fp_reg++;
88 break;
89 }
90 }
91 }
Vladimir Marko10ef6942015-10-22 15:25:54 +010092 code_gen_->block_order_ = &blocks_;
93 code_gen_->ComputeSpillMask();
94 code_gen_->SetFrameSize(frame_size);
95 code_gen_->GenerateFrameEntry();
96 }
97
98 void Finish() {
99 code_gen_->GenerateFrameExit();
100 code_gen_->Finalize(&code_allocator_);
101 }
102
103 void Check(InstructionSet isa,
104 const char* isa_str,
105 const std::vector<uint8_t>& expected_asm,
106 const std::vector<uint8_t>& expected_cfi) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100107 // Get the outputs.
Vladimir Markoca1e0382018-04-11 09:58:41 +0000108 ArrayRef<const uint8_t> actual_asm = code_allocator_.GetMemory();
Vladimir Marko10ef6942015-10-22 15:25:54 +0100109 Assembler* opt_asm = code_gen_->GetAssembler();
Vladimir Markoca1e0382018-04-11 09:58:41 +0000110 ArrayRef<const uint8_t> actual_cfi(*(opt_asm->cfi().data()));
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100111
112 if (kGenerateExpected) {
113 GenerateExpected(stdout, isa, isa_str, actual_asm, actual_cfi);
114 } else {
Vladimir Markoca1e0382018-04-11 09:58:41 +0000115 EXPECT_EQ(ArrayRef<const uint8_t>(expected_asm), actual_asm);
116 EXPECT_EQ(ArrayRef<const uint8_t>(expected_cfi), actual_cfi);
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100117 }
118 }
David Srbecky46325a02015-04-09 22:51:56 +0100119
Vladimir Marko10ef6942015-10-22 15:25:54 +0100120 void TestImpl(InstructionSet isa, const char*
121 isa_str,
122 const std::vector<uint8_t>& expected_asm,
123 const std::vector<uint8_t>& expected_cfi) {
124 SetUpFrame(isa);
125 Finish();
126 Check(isa, isa_str, expected_asm, expected_cfi);
127 }
128
129 CodeGenerator* GetCodeGenerator() {
130 return code_gen_.get();
131 }
132
David Srbecky46325a02015-04-09 22:51:56 +0100133 private:
134 class InternalCodeAllocator : public CodeAllocator {
135 public:
136 InternalCodeAllocator() {}
137
138 virtual uint8_t* Allocate(size_t size) {
139 memory_.resize(size);
140 return memory_.data();
141 }
142
Vladimir Markoca1e0382018-04-11 09:58:41 +0000143 ArrayRef<const uint8_t> GetMemory() const OVERRIDE { return ArrayRef<const uint8_t>(memory_); }
David Srbecky46325a02015-04-09 22:51:56 +0100144
145 private:
146 std::vector<uint8_t> memory_;
147
148 DISALLOW_COPY_AND_ASSIGN(InternalCodeAllocator);
149 };
Vladimir Marko10ef6942015-10-22 15:25:54 +0100150
Vladimir Markoca6fff82017-10-03 14:49:14 +0100151 ArenaPoolAndAllocator pool_and_allocator_;
Vladimir Marko10ef6942015-10-22 15:25:54 +0100152 CompilerOptions opts_;
153 std::unique_ptr<const InstructionSetFeatures> isa_features_;
154 HGraph* graph_;
155 std::unique_ptr<CodeGenerator> code_gen_;
156 ArenaVector<HBasicBlock*> blocks_;
157 InternalCodeAllocator code_allocator_;
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100158};
159
Vladimir Marko33bff252017-11-01 14:35:42 +0000160#define TEST_ISA(isa) \
161 TEST_F(OptimizingCFITest, isa) { \
162 std::vector<uint8_t> expected_asm( \
163 expected_asm_##isa, \
164 expected_asm_##isa + arraysize(expected_asm_##isa)); \
165 std::vector<uint8_t> expected_cfi( \
166 expected_cfi_##isa, \
167 expected_cfi_##isa + arraysize(expected_cfi_##isa)); \
168 TestImpl(InstructionSet::isa, #isa, expected_asm, expected_cfi); \
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100169 }
170
Scott Wakeling90ab6732016-12-08 10:25:03 +0000171#ifdef ART_ENABLE_CODEGEN_arm
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100172TEST_ISA(kThumb2)
Colin Crossa75b01a2016-08-18 13:45:24 -0700173#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100174
Colin Crossa75b01a2016-08-18 13:45:24 -0700175#ifdef ART_ENABLE_CODEGEN_arm64
Roland Levillainaf24def2017-07-12 13:18:01 +0100176// Run the tests for ARM64 only with Baker read barriers, as the
177// expected generated code saves and restore X21 and X22 (instead of
178// X20 and X21), as X20 is used as Marking Register in the Baker read
179// barrier configuration, and as such is removed from the set of
180// callee-save registers in the ARM64 code generator of the Optimizing
181// compiler.
182#if defined(USE_READ_BARRIER) && defined(USE_BAKER_READ_BARRIER)
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100183TEST_ISA(kArm64)
Colin Crossa75b01a2016-08-18 13:45:24 -0700184#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100185#endif
186
Colin Crossa75b01a2016-08-18 13:45:24 -0700187#ifdef ART_ENABLE_CODEGEN_x86
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100188TEST_ISA(kX86)
Colin Crossa75b01a2016-08-18 13:45:24 -0700189#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100190
Colin Crossa75b01a2016-08-18 13:45:24 -0700191#ifdef ART_ENABLE_CODEGEN_x86_64
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100192TEST_ISA(kX86_64)
Colin Crossa75b01a2016-08-18 13:45:24 -0700193#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100194
Colin Crossa75b01a2016-08-18 13:45:24 -0700195#ifdef ART_ENABLE_CODEGEN_mips
Vladimir Marko10ef6942015-10-22 15:25:54 +0100196TEST_ISA(kMips)
Colin Crossa75b01a2016-08-18 13:45:24 -0700197#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100198
Colin Crossa75b01a2016-08-18 13:45:24 -0700199#ifdef ART_ENABLE_CODEGEN_mips64
Vladimir Marko10ef6942015-10-22 15:25:54 +0100200TEST_ISA(kMips64)
Colin Crossa75b01a2016-08-18 13:45:24 -0700201#endif
Vladimir Marko10ef6942015-10-22 15:25:54 +0100202
Scott Wakeling90ab6732016-12-08 10:25:03 +0000203#ifdef ART_ENABLE_CODEGEN_arm
Vladimir Marko10ef6942015-10-22 15:25:54 +0100204TEST_F(OptimizingCFITest, kThumb2Adjust) {
205 std::vector<uint8_t> expected_asm(
206 expected_asm_kThumb2_adjust,
207 expected_asm_kThumb2_adjust + arraysize(expected_asm_kThumb2_adjust));
208 std::vector<uint8_t> expected_cfi(
209 expected_cfi_kThumb2_adjust,
210 expected_cfi_kThumb2_adjust + arraysize(expected_cfi_kThumb2_adjust));
Vladimir Marko33bff252017-11-01 14:35:42 +0000211 SetUpFrame(InstructionSet::kThumb2);
Scott Wakeling90ab6732016-12-08 10:25:03 +0000212#define __ down_cast<arm::ArmVIXLAssembler*>(GetCodeGenerator() \
213 ->GetAssembler())->GetVIXLAssembler()->
214 vixl32::Label target;
215 __ CompareAndBranchIfZero(r0, &target);
216 // Push the target out of range of CBZ.
217 for (size_t i = 0; i != 65; ++i) {
218 __ Ldr(r0, vixl32::MemOperand(r0));
219 }
Vladimir Marko10ef6942015-10-22 15:25:54 +0100220 __ Bind(&target);
221#undef __
222 Finish();
Vladimir Marko33bff252017-11-01 14:35:42 +0000223 Check(InstructionSet::kThumb2, "kThumb2_adjust", expected_asm, expected_cfi);
Vladimir Marko10ef6942015-10-22 15:25:54 +0100224}
Colin Crossa75b01a2016-08-18 13:45:24 -0700225#endif
Vladimir Marko10ef6942015-10-22 15:25:54 +0100226
Colin Crossa75b01a2016-08-18 13:45:24 -0700227#ifdef ART_ENABLE_CODEGEN_mips
Vladimir Marko10ef6942015-10-22 15:25:54 +0100228TEST_F(OptimizingCFITest, kMipsAdjust) {
229 // One NOP in delay slot, 1 << 15 NOPS have size 1 << 17 which exceeds 18-bit signed maximum.
230 static constexpr size_t kNumNops = 1u + (1u << 15);
231 std::vector<uint8_t> expected_asm(
232 expected_asm_kMips_adjust_head,
233 expected_asm_kMips_adjust_head + arraysize(expected_asm_kMips_adjust_head));
234 expected_asm.resize(expected_asm.size() + kNumNops * 4u, 0u);
235 expected_asm.insert(
236 expected_asm.end(),
237 expected_asm_kMips_adjust_tail,
238 expected_asm_kMips_adjust_tail + arraysize(expected_asm_kMips_adjust_tail));
239 std::vector<uint8_t> expected_cfi(
240 expected_cfi_kMips_adjust,
241 expected_cfi_kMips_adjust + arraysize(expected_cfi_kMips_adjust));
Vladimir Marko33bff252017-11-01 14:35:42 +0000242 SetUpFrame(InstructionSet::kMips);
Vladimir Marko10ef6942015-10-22 15:25:54 +0100243#define __ down_cast<mips::MipsAssembler*>(GetCodeGenerator()->GetAssembler())->
244 mips::MipsLabel target;
245 __ Beqz(mips::A0, &target);
246 // Push the target out of range of BEQZ.
247 for (size_t i = 0; i != kNumNops; ++i) {
248 __ Nop();
249 }
250 __ Bind(&target);
251#undef __
252 Finish();
Vladimir Marko33bff252017-11-01 14:35:42 +0000253 Check(InstructionSet::kMips, "kMips_adjust", expected_asm, expected_cfi);
Vladimir Marko10ef6942015-10-22 15:25:54 +0100254}
Colin Crossa75b01a2016-08-18 13:45:24 -0700255#endif
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100256
Colin Crossa75b01a2016-08-18 13:45:24 -0700257#ifdef ART_ENABLE_CODEGEN_mips64
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700258TEST_F(OptimizingCFITest, kMips64Adjust) {
259 // One NOP in forbidden slot, 1 << 15 NOPS have size 1 << 17 which exceeds 18-bit signed maximum.
260 static constexpr size_t kNumNops = 1u + (1u << 15);
261 std::vector<uint8_t> expected_asm(
262 expected_asm_kMips64_adjust_head,
263 expected_asm_kMips64_adjust_head + arraysize(expected_asm_kMips64_adjust_head));
264 expected_asm.resize(expected_asm.size() + kNumNops * 4u, 0u);
265 expected_asm.insert(
266 expected_asm.end(),
267 expected_asm_kMips64_adjust_tail,
268 expected_asm_kMips64_adjust_tail + arraysize(expected_asm_kMips64_adjust_tail));
269 std::vector<uint8_t> expected_cfi(
270 expected_cfi_kMips64_adjust,
271 expected_cfi_kMips64_adjust + arraysize(expected_cfi_kMips64_adjust));
Vladimir Marko33bff252017-11-01 14:35:42 +0000272 SetUpFrame(InstructionSet::kMips64);
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700273#define __ down_cast<mips64::Mips64Assembler*>(GetCodeGenerator()->GetAssembler())->
274 mips64::Mips64Label target;
275 __ Beqc(mips64::A1, mips64::A2, &target);
276 // Push the target out of range of BEQC.
277 for (size_t i = 0; i != kNumNops; ++i) {
278 __ Nop();
279 }
280 __ Bind(&target);
281#undef __
282 Finish();
Vladimir Marko33bff252017-11-01 14:35:42 +0000283 Check(InstructionSet::kMips64, "kMips64_adjust", expected_asm, expected_cfi);
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700284}
Colin Crossa75b01a2016-08-18 13:45:24 -0700285#endif
Alexey Frunzea0e87b02015-09-24 22:57:20 -0700286
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100287#endif // ART_TARGET_ANDROID
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100288
289} // namespace art