blob: bad540e03c105a35fb5f321dcffbccef2d2011c5 [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"
David Srbeckyc6b4dd82015-04-07 20:32:43 +010030
31#include "optimizing/optimizing_cfi_test_expected.inc"
32
Scott Wakeling90ab6732016-12-08 10:25:03 +000033namespace vixl32 = vixl::aarch32;
34
Vladimir Marko0a516052019-10-14 13:00:44 +000035namespace art {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010036
37// Run the tests only on host.
Bilyan Borisovbb661c02016-04-04 16:27:32 +010038#ifndef ART_TARGET_ANDROID
David Srbeckyc6b4dd82015-04-07 20:32:43 +010039
Mathieu Chartierfa3db3d2018-01-12 14:42:18 -080040class OptimizingCFITest : public CFITest, public OptimizingUnitTestHelper {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010041 public:
42 // Enable this flag to generate the expected outputs.
43 static constexpr bool kGenerateExpected = false;
44
Vladimir Marko10ef6942015-10-22 15:25:54 +010045 OptimizingCFITest()
Vladimir Markoa0431112018-06-25 09:32:54 +010046 : graph_(nullptr),
Vladimir Marko10ef6942015-10-22 15:25:54 +010047 code_gen_(),
Vladimir Markoca6fff82017-10-03 14:49:14 +010048 blocks_(GetAllocator()->Adapter()) {}
49
Vladimir Marko10ef6942015-10-22 15:25:54 +010050 void SetUpFrame(InstructionSet isa) {
Vladimir Markoa0431112018-06-25 09:32:54 +010051 OverrideInstructionSetFeatures(isa, "default");
52
Andreas Gampe2a5d7282018-01-02 11:53:35 -080053 // Ensure that slow-debug is off, so that there is no unexpected read-barrier check emitted.
54 SetRuntimeDebugFlagsEnabled(false);
55
David Srbeckyc6b4dd82015-04-07 20:32:43 +010056 // Setup simple context.
Mathieu Chartierfa3db3d2018-01-12 14:42:18 -080057 graph_ = CreateGraph();
David Srbeckyc6b4dd82015-04-07 20:32:43 +010058 // Generate simple frame with some spills.
Vladimir Markoa0431112018-06-25 09:32:54 +010059 code_gen_ = CodeGenerator::Create(graph_, *compiler_options_);
Vladimir Marko10ef6942015-10-22 15:25:54 +010060 code_gen_->GetAssembler()->cfi().SetEnabled(true);
Vladimir Marko174b2e22017-10-12 13:34:49 +010061 code_gen_->InitializeCodeGenerationData();
David Srbeckyc6b4dd82015-04-07 20:32:43 +010062 const int frame_size = 64;
63 int core_reg = 0;
64 int fp_reg = 0;
65 for (int i = 0; i < 2; i++) { // Two registers of each kind.
66 for (; core_reg < 32; core_reg++) {
Vladimir Marko10ef6942015-10-22 15:25:54 +010067 if (code_gen_->IsCoreCalleeSaveRegister(core_reg)) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010068 auto location = Location::RegisterLocation(core_reg);
Vladimir Marko10ef6942015-10-22 15:25:54 +010069 code_gen_->AddAllocatedRegister(location);
David Srbeckyc6b4dd82015-04-07 20:32:43 +010070 core_reg++;
71 break;
72 }
73 }
74 for (; fp_reg < 32; fp_reg++) {
Vladimir Marko10ef6942015-10-22 15:25:54 +010075 if (code_gen_->IsFloatingPointCalleeSaveRegister(fp_reg)) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010076 auto location = Location::FpuRegisterLocation(fp_reg);
Vladimir Marko10ef6942015-10-22 15:25:54 +010077 code_gen_->AddAllocatedRegister(location);
David Srbeckyc6b4dd82015-04-07 20:32:43 +010078 fp_reg++;
79 break;
80 }
81 }
82 }
Vladimir Marko10ef6942015-10-22 15:25:54 +010083 code_gen_->block_order_ = &blocks_;
84 code_gen_->ComputeSpillMask();
85 code_gen_->SetFrameSize(frame_size);
86 code_gen_->GenerateFrameEntry();
87 }
88
89 void Finish() {
90 code_gen_->GenerateFrameExit();
91 code_gen_->Finalize(&code_allocator_);
92 }
93
94 void Check(InstructionSet isa,
95 const char* isa_str,
96 const std::vector<uint8_t>& expected_asm,
97 const std::vector<uint8_t>& expected_cfi) {
David Srbeckyc6b4dd82015-04-07 20:32:43 +010098 // Get the outputs.
Vladimir Markoca1e0382018-04-11 09:58:41 +000099 ArrayRef<const uint8_t> actual_asm = code_allocator_.GetMemory();
Vladimir Marko10ef6942015-10-22 15:25:54 +0100100 Assembler* opt_asm = code_gen_->GetAssembler();
Vladimir Markoca1e0382018-04-11 09:58:41 +0000101 ArrayRef<const uint8_t> actual_cfi(*(opt_asm->cfi().data()));
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100102
103 if (kGenerateExpected) {
104 GenerateExpected(stdout, isa, isa_str, actual_asm, actual_cfi);
105 } else {
Vladimir Markoca1e0382018-04-11 09:58:41 +0000106 EXPECT_EQ(ArrayRef<const uint8_t>(expected_asm), actual_asm);
107 EXPECT_EQ(ArrayRef<const uint8_t>(expected_cfi), actual_cfi);
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100108 }
109 }
David Srbecky46325a02015-04-09 22:51:56 +0100110
Vladimir Marko10ef6942015-10-22 15:25:54 +0100111 void TestImpl(InstructionSet isa, const char*
112 isa_str,
113 const std::vector<uint8_t>& expected_asm,
114 const std::vector<uint8_t>& expected_cfi) {
115 SetUpFrame(isa);
116 Finish();
117 Check(isa, isa_str, expected_asm, expected_cfi);
118 }
119
120 CodeGenerator* GetCodeGenerator() {
121 return code_gen_.get();
122 }
123
David Srbecky46325a02015-04-09 22:51:56 +0100124 private:
125 class InternalCodeAllocator : public CodeAllocator {
126 public:
127 InternalCodeAllocator() {}
128
Andreas Gampefa6a1b02018-09-07 08:11:55 -0700129 uint8_t* Allocate(size_t size) override {
David Srbecky46325a02015-04-09 22:51:56 +0100130 memory_.resize(size);
131 return memory_.data();
132 }
133
Roland Levillainbbc6e7e2018-08-24 16:58:47 +0100134 ArrayRef<const uint8_t> GetMemory() const override { return ArrayRef<const uint8_t>(memory_); }
David Srbecky46325a02015-04-09 22:51:56 +0100135
136 private:
137 std::vector<uint8_t> memory_;
138
139 DISALLOW_COPY_AND_ASSIGN(InternalCodeAllocator);
140 };
Vladimir Marko10ef6942015-10-22 15:25:54 +0100141
Vladimir Marko10ef6942015-10-22 15:25:54 +0100142 HGraph* graph_;
143 std::unique_ptr<CodeGenerator> code_gen_;
144 ArenaVector<HBasicBlock*> blocks_;
145 InternalCodeAllocator code_allocator_;
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100146};
147
Vladimir Marko33bff252017-11-01 14:35:42 +0000148#define TEST_ISA(isa) \
149 TEST_F(OptimizingCFITest, isa) { \
150 std::vector<uint8_t> expected_asm( \
151 expected_asm_##isa, \
152 expected_asm_##isa + arraysize(expected_asm_##isa)); \
153 std::vector<uint8_t> expected_cfi( \
154 expected_cfi_##isa, \
155 expected_cfi_##isa + arraysize(expected_cfi_##isa)); \
156 TestImpl(InstructionSet::isa, #isa, expected_asm, expected_cfi); \
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100157 }
158
Scott Wakeling90ab6732016-12-08 10:25:03 +0000159#ifdef ART_ENABLE_CODEGEN_arm
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100160TEST_ISA(kThumb2)
Colin Crossa75b01a2016-08-18 13:45:24 -0700161#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100162
Colin Crossa75b01a2016-08-18 13:45:24 -0700163#ifdef ART_ENABLE_CODEGEN_arm64
Roland Levillainaf24def2017-07-12 13:18:01 +0100164// Run the tests for ARM64 only with Baker read barriers, as the
165// expected generated code saves and restore X21 and X22 (instead of
166// X20 and X21), as X20 is used as Marking Register in the Baker read
167// barrier configuration, and as such is removed from the set of
168// callee-save registers in the ARM64 code generator of the Optimizing
169// compiler.
170#if defined(USE_READ_BARRIER) && defined(USE_BAKER_READ_BARRIER)
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100171TEST_ISA(kArm64)
Colin Crossa75b01a2016-08-18 13:45:24 -0700172#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100173#endif
174
Colin Crossa75b01a2016-08-18 13:45:24 -0700175#ifdef ART_ENABLE_CODEGEN_x86
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100176TEST_ISA(kX86)
Colin Crossa75b01a2016-08-18 13:45:24 -0700177#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100178
Colin Crossa75b01a2016-08-18 13:45:24 -0700179#ifdef ART_ENABLE_CODEGEN_x86_64
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100180TEST_ISA(kX86_64)
Colin Crossa75b01a2016-08-18 13:45:24 -0700181#endif
Roland Levillainaf24def2017-07-12 13:18:01 +0100182
Scott Wakeling90ab6732016-12-08 10:25:03 +0000183#ifdef ART_ENABLE_CODEGEN_arm
Vladimir Marko10ef6942015-10-22 15:25:54 +0100184TEST_F(OptimizingCFITest, kThumb2Adjust) {
Andreas Gampebd39d142018-07-19 11:14:42 -0700185 using vixl32::r0;
Vladimir Marko10ef6942015-10-22 15:25:54 +0100186 std::vector<uint8_t> expected_asm(
187 expected_asm_kThumb2_adjust,
188 expected_asm_kThumb2_adjust + arraysize(expected_asm_kThumb2_adjust));
189 std::vector<uint8_t> expected_cfi(
190 expected_cfi_kThumb2_adjust,
191 expected_cfi_kThumb2_adjust + arraysize(expected_cfi_kThumb2_adjust));
Vladimir Marko33bff252017-11-01 14:35:42 +0000192 SetUpFrame(InstructionSet::kThumb2);
Scott Wakeling90ab6732016-12-08 10:25:03 +0000193#define __ down_cast<arm::ArmVIXLAssembler*>(GetCodeGenerator() \
194 ->GetAssembler())->GetVIXLAssembler()->
195 vixl32::Label target;
196 __ CompareAndBranchIfZero(r0, &target);
197 // Push the target out of range of CBZ.
198 for (size_t i = 0; i != 65; ++i) {
199 __ Ldr(r0, vixl32::MemOperand(r0));
200 }
Vladimir Marko10ef6942015-10-22 15:25:54 +0100201 __ Bind(&target);
202#undef __
203 Finish();
Vladimir Marko33bff252017-11-01 14:35:42 +0000204 Check(InstructionSet::kThumb2, "kThumb2_adjust", expected_asm, expected_cfi);
Vladimir Marko10ef6942015-10-22 15:25:54 +0100205}
Colin Crossa75b01a2016-08-18 13:45:24 -0700206#endif
Vladimir Marko10ef6942015-10-22 15:25:54 +0100207
Bilyan Borisovbb661c02016-04-04 16:27:32 +0100208#endif // ART_TARGET_ANDROID
David Srbeckyc6b4dd82015-04-07 20:32:43 +0100209
210} // namespace art