135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko/*
235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * Copyright (C) 2015 The Android Open Source Project
335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko *
435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * Licensed under the Apache License, Version 2.0 (the "License");
535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * you may not use this file except in compliance with the License.
635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * You may obtain a copy of the License at
735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko *
835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko *      http://www.apache.org/licenses/LICENSE-2.0
935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko *
1035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * Unless required by applicable law or agreed to in writing, software
1135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * distributed under the License is distributed on an "AS IS" BASIS,
1235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
1335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * See the License for the specific language governing permissions and
1435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko * limitations under the License.
1535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko */
1635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
178cf9cb386cd9286d67e879f1ee501ec00d72a4e1Andreas Gampe#include "compiled_method_storage.h"
188cf9cb386cd9286d67e879f1ee501ec00d72a4e1Andreas Gampe
1935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include <gtest/gtest.h>
2035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
21d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko#include "compiled_method-inl.h"
2235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "compiler_driver.h"
2335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "compiler_options.h"
2435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "dex/verification_results.h"
2535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
2635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Markonamespace art {
2735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
2835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir MarkoTEST(CompiledMethodStorage, Deduplicate) {
2935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  CompilerOptions compiler_options;
3035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  VerificationResults verification_results(&compiler_options);
3135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  CompilerDriver driver(&compiler_options,
3235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko                        &verification_results,
33944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        Compiler::kOptimizing,
3433bff25bcd7a02d35c54f63740eadb1a4833fc92Vladimir Marko                        /* instruction_set_ */ InstructionSet::kNone,
35944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* instruction_set_features */ nullptr,
36944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* image_classes */ nullptr,
37944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* compiled_classes */ nullptr,
38944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* compiled_methods */ nullptr,
39944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* thread_count */ 1u,
40944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* swap_fd */ -1,
41944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* profile_compilation_info */ nullptr);
4235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  CompiledMethodStorage* storage = driver.GetCompiledMethodStorage();
4335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
4435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ASSERT_TRUE(storage->DedupeEnabled());  // The default.
4535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
4635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_code1[] = { 1u, 2u, 3u };
4735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_code2[] = { 4u, 3u, 2u, 1u };
4835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const uint8_t> code[] = {
4935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_code1),
5035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_code2),
5135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
52cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier  const uint8_t raw_method_info_map1[] = { 1u, 2u, 3u, 4u, 5u, 6u };
53cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier  const uint8_t raw_method_info_map2[] = { 8u, 7u, 6u, 5u, 4u, 3u, 2u, 1u };
54cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier  ArrayRef<const uint8_t> method_info[] = {
55cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier      ArrayRef<const uint8_t>(raw_method_info_map1),
56cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier      ArrayRef<const uint8_t>(raw_method_info_map2),
5735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
5835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_vmap_table1[] = { 2, 4, 6 };
5935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_vmap_table2[] = { 7, 5, 3, 1 };
6035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const uint8_t> vmap_table[] = {
6135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_vmap_table1),
6235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_vmap_table2),
6335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
6435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_cfi_info1[] = { 1, 3, 5 };
6535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_cfi_info2[] = { 8, 6, 4, 2 };
6635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const uint8_t> cfi_info[] = {
6735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_cfi_info1),
6835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_cfi_info2),
6935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
70d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko  const linker::LinkerPatch raw_patches1[] = {
71d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko      linker::LinkerPatch::CodePatch(0u, nullptr, 1u),
72d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko      linker::LinkerPatch::RelativeMethodPatch(4u, nullptr, 0u, 1u),
7335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
74d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko  const linker::LinkerPatch raw_patches2[] = {
75d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko      linker::LinkerPatch::CodePatch(0u, nullptr, 1u),
76d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko      linker::LinkerPatch::RelativeMethodPatch(4u, nullptr, 0u, 2u),
7735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
78d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko  ArrayRef<const linker::LinkerPatch> patches[] = {
79d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko      ArrayRef<const linker::LinkerPatch>(raw_patches1),
80d8dbc8da0e5cc6b5c2176ce2d3877e6194d72c0cVladimir Marko      ArrayRef<const linker::LinkerPatch>(raw_patches2),
8135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
8235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
8335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  std::vector<CompiledMethod*> compiled_methods;
8435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  compiled_methods.reserve(1u << 7);
8535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  for (auto&& c : code) {
86cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier    for (auto&& s : method_info) {
879d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko      for (auto&& v : vmap_table) {
889d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko        for (auto&& f : cfi_info) {
899d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko          for (auto&& p : patches) {
909d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko            compiled_methods.push_back(CompiledMethod::SwapAllocCompiledMethod(
9133bff25bcd7a02d35c54f63740eadb1a4833fc92Vladimir Marko                &driver, InstructionSet::kNone, c, 0u, 0u, 0u, s, v, f, p));
9235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          }
9335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko        }
9435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      }
9535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    }
9635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  }
979d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  constexpr size_t code_bit = 1u << 4;
989d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  constexpr size_t src_map_bit = 1u << 3;
999d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  constexpr size_t vmap_table_bit = 1u << 2;
10035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  constexpr size_t cfi_info_bit = 1u << 1;
10135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  constexpr size_t patches_bit = 1u << 0;
1029d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  CHECK_EQ(compiled_methods.size(), 1u << 5);
10335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  for (size_t i = 0; i != compiled_methods.size(); ++i) {
10435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    for (size_t j = 0; j != compiled_methods.size(); ++j) {
10535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      CompiledMethod* lhs = compiled_methods[i];
10635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      CompiledMethod* rhs = compiled_methods[j];
10735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_code = ((i ^ j) & code_bit) == 0u;
10835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_src_map = ((i ^ j) & src_map_bit) == 0u;
10935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_vmap_table = ((i ^ j) & vmap_table_bit) == 0u;
11035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_cfi_info = ((i ^ j) & cfi_info_bit) == 0u;
11135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_patches = ((i ^ j) & patches_bit) == 0u;
11235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_code, lhs->GetQuickCode().data() == rhs->GetQuickCode().data())
11335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
114cbcedbf9382bc773713cd3552ed96f417bf1daebMathieu Chartier      ASSERT_EQ(same_src_map, lhs->GetMethodInfo().data() == rhs->GetMethodInfo().data())
11535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
11635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_vmap_table, lhs->GetVmapTable().data() == rhs->GetVmapTable().data())
11735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
11835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_cfi_info, lhs->GetCFIInfo().data() == rhs->GetCFIInfo().data())
11935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_patches, lhs->GetPatches().data() == rhs->GetPatches().data())
12135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    }
12335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  }
12435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  for (CompiledMethod* method : compiled_methods) {
12535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    CompiledMethod::ReleaseSwapAllocatedCompiledMethod(&driver, method);
12635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  }
12735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko}
12835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
12935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko}  // namespace art
130