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
1735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include <gtest/gtest.h>
1835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
1935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "compiled_method_storage.h"
2035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "compiled_method.h"
2135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "compiler_driver.h"
2235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "compiler_options.h"
2335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "dex/verification_results.h"
2435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko#include "dex/quick/dex_file_to_method_inliner_map.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  DexFileToMethodInlinerMap method_inliner_map;
3235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  CompilerDriver driver(&compiler_options,
3335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko                        &verification_results,
3435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko                        &method_inliner_map,
35944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        Compiler::kOptimizing,
36944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* instruction_set_ */ kNone,
37944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* instruction_set_features */ nullptr,
38944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* boot_image */ false,
39cdca476bf3394ce9d97a369e84e701b427009318Mathieu Chartier                        /* app_image */ false,
40944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* image_classes */ nullptr,
41944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* compiled_classes */ nullptr,
42944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* compiled_methods */ nullptr,
43944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* thread_count */ 1u,
44944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* dump_stats */ false,
45944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* dump_passes */ false,
46944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* timer */ nullptr,
47944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* swap_fd */ -1,
48944da603cde59a4277f3bbc31d860a90842a1a2aVladimir Marko                        /* profile_compilation_info */ nullptr);
4935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  CompiledMethodStorage* storage = driver.GetCompiledMethodStorage();
5035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
5135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ASSERT_TRUE(storage->DedupeEnabled());  // The default.
5235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
5335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_code1[] = { 1u, 2u, 3u };
5435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_code2[] = { 4u, 3u, 2u, 1u };
5535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const uint8_t> code[] = {
5635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_code1),
5735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_code2),
5835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
5935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const SrcMapElem raw_src_map1[] = { { 1u, 2u }, { 3u, 4u }, { 5u, 6u } };
6035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const SrcMapElem raw_src_map2[] = { { 8u, 7u }, { 6u, 5u }, { 4u, 3u }, { 2u, 1u } };
6135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const SrcMapElem> src_map[] = {
6235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const SrcMapElem>(raw_src_map1),
6335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const SrcMapElem>(raw_src_map2),
6435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
6535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_vmap_table1[] = { 2, 4, 6 };
6635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_vmap_table2[] = { 7, 5, 3, 1 };
6735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const uint8_t> vmap_table[] = {
6835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_vmap_table1),
6935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_vmap_table2),
7035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
7135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_cfi_info1[] = { 1, 3, 5 };
7235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const uint8_t raw_cfi_info2[] = { 8, 6, 4, 2 };
7335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const uint8_t> cfi_info[] = {
7435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_cfi_info1),
7535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const uint8_t>(raw_cfi_info2),
7635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
7735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const LinkerPatch raw_patches1[] = {
7835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      LinkerPatch::CodePatch(0u, nullptr, 1u),
7935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      LinkerPatch::MethodPatch(4u, nullptr, 1u),
8035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
8135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  const LinkerPatch raw_patches2[] = {
8235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      LinkerPatch::CodePatch(0u, nullptr, 1u),
8335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      LinkerPatch::MethodPatch(4u, nullptr, 2u),
8435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
8535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  ArrayRef<const LinkerPatch> patches[] = {
8635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const LinkerPatch>(raw_patches1),
8735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ArrayRef<const LinkerPatch>(raw_patches2),
8835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  };
8935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
9035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  std::vector<CompiledMethod*> compiled_methods;
9135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  compiled_methods.reserve(1u << 7);
9235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  for (auto&& c : code) {
9335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    for (auto&& s : src_map) {
949d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko      for (auto&& v : vmap_table) {
959d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko        for (auto&& f : cfi_info) {
969d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko          for (auto&& p : patches) {
979d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko            compiled_methods.push_back(CompiledMethod::SwapAllocCompiledMethod(
989d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko                &driver, kNone, c, 0u, 0u, 0u, s, v, f, p));
9935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          }
10035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko        }
10135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      }
10235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    }
10335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  }
1049d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  constexpr size_t code_bit = 1u << 4;
1059d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  constexpr size_t src_map_bit = 1u << 3;
1069d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  constexpr size_t vmap_table_bit = 1u << 2;
10735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  constexpr size_t cfi_info_bit = 1u << 1;
10835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  constexpr size_t patches_bit = 1u << 0;
1099d07e3d128ccfa0ef7670feadd424a825e447d1dVladimir Marko  CHECK_EQ(compiled_methods.size(), 1u << 5);
11035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  for (size_t i = 0; i != compiled_methods.size(); ++i) {
11135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    for (size_t j = 0; j != compiled_methods.size(); ++j) {
11235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      CompiledMethod* lhs = compiled_methods[i];
11335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      CompiledMethod* rhs = compiled_methods[j];
11435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_code = ((i ^ j) & code_bit) == 0u;
11535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_src_map = ((i ^ j) & src_map_bit) == 0u;
11635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_vmap_table = ((i ^ j) & vmap_table_bit) == 0u;
11735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_cfi_info = ((i ^ j) & cfi_info_bit) == 0u;
11835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      bool same_patches = ((i ^ j) & patches_bit) == 0u;
11935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_code, lhs->GetQuickCode().data() == rhs->GetQuickCode().data())
12035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_src_map, lhs->GetSrcMappingTable().data() == rhs->GetSrcMappingTable().data())
12235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_vmap_table, lhs->GetVmapTable().data() == rhs->GetVmapTable().data())
12435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_cfi_info, lhs->GetCFIInfo().data() == rhs->GetCFIInfo().data())
12635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12735831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko      ASSERT_EQ(same_patches, lhs->GetPatches().data() == rhs->GetPatches().data())
12835831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko          << i << " " << j;
12935831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    }
13035831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  }
13135831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  for (CompiledMethod* method : compiled_methods) {
13235831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko    CompiledMethod::ReleaseSwapAllocatedCompiledMethod(&driver, method);
13335831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko  }
13435831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko}
13535831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko
13635831e8bfa1c0944d4c978d99c4c5b9577945170Vladimir Marko}  // namespace art
137