xref: /aosp_15_r20/external/zucchini/disassembler_dex_unittest.cc (revision a03ca8b91e029cd15055c20c78c2e087c84792e4)
1*a03ca8b9SKrzysztof Kosiński // Copyright 2018 The Chromium Authors. All rights reserved.
2*a03ca8b9SKrzysztof Kosiński // Use of this source code is governed by a BSD-style license that can be
3*a03ca8b9SKrzysztof Kosiński // found in the LICENSE file.
4*a03ca8b9SKrzysztof Kosiński 
5*a03ca8b9SKrzysztof Kosiński #include "components/zucchini/disassembler_dex.h"
6*a03ca8b9SKrzysztof Kosiński 
7*a03ca8b9SKrzysztof Kosiński #include <stddef.h>
8*a03ca8b9SKrzysztof Kosiński #include <stdint.h>
9*a03ca8b9SKrzysztof Kosiński 
10*a03ca8b9SKrzysztof Kosiński #include <algorithm>
11*a03ca8b9SKrzysztof Kosiński #include <set>
12*a03ca8b9SKrzysztof Kosiński #include <vector>
13*a03ca8b9SKrzysztof Kosiński 
14*a03ca8b9SKrzysztof Kosiński #include "testing/gtest/include/gtest/gtest.h"
15*a03ca8b9SKrzysztof Kosiński 
16*a03ca8b9SKrzysztof Kosiński namespace zucchini {
17*a03ca8b9SKrzysztof Kosiński 
18*a03ca8b9SKrzysztof Kosiński namespace {
19*a03ca8b9SKrzysztof Kosiński 
20*a03ca8b9SKrzysztof Kosiński template <typename T>
CountDistinct(const std::vector<T> & v)21*a03ca8b9SKrzysztof Kosiński size_t CountDistinct(const std::vector<T>& v) {
22*a03ca8b9SKrzysztof Kosiński   return std::set<T>(v.begin(), v.end()).size();
23*a03ca8b9SKrzysztof Kosiński }
24*a03ca8b9SKrzysztof Kosiński 
25*a03ca8b9SKrzysztof Kosiński }  // namespace
26*a03ca8b9SKrzysztof Kosiński 
27*a03ca8b9SKrzysztof Kosiński // Ensures that ReferenceGroups from DisassemblerDex::MakeReferenceGroups()
28*a03ca8b9SKrzysztof Kosiński // cover each non-sentinel element in ReferenceType in order, exactly once. Also
29*a03ca8b9SKrzysztof Kosiński // ensures that the ReferenceType elements are grouped by ReferencePool, and
30*a03ca8b9SKrzysztof Kosiński // listed in increasing order.
TEST(DisassemblerDexTest,ReferenceGroups)31*a03ca8b9SKrzysztof Kosiński TEST(DisassemblerDexTest, ReferenceGroups) {
32*a03ca8b9SKrzysztof Kosiński   std::vector<uint32_t> pool_list;
33*a03ca8b9SKrzysztof Kosiński   std::vector<uint32_t> type_list;
34*a03ca8b9SKrzysztof Kosiński   DisassemblerDex dis;
35*a03ca8b9SKrzysztof Kosiński   for (ReferenceGroup group : dis.MakeReferenceGroups()) {
36*a03ca8b9SKrzysztof Kosiński     pool_list.push_back(static_cast<uint32_t>(group.pool_tag().value()));
37*a03ca8b9SKrzysztof Kosiński     type_list.push_back(static_cast<uint32_t>(group.type_tag().value()));
38*a03ca8b9SKrzysztof Kosiński   }
39*a03ca8b9SKrzysztof Kosiński 
40*a03ca8b9SKrzysztof Kosiński   // Check ReferenceByte coverage.
41*a03ca8b9SKrzysztof Kosiński   constexpr size_t kNumTypes = DisassemblerDex::kNumTypes;
42*a03ca8b9SKrzysztof Kosiński   EXPECT_EQ(kNumTypes, type_list.size());
43*a03ca8b9SKrzysztof Kosiński   EXPECT_EQ(kNumTypes, CountDistinct(type_list));
44*a03ca8b9SKrzysztof Kosiński   EXPECT_TRUE(std::is_sorted(type_list.begin(), type_list.end()));
45*a03ca8b9SKrzysztof Kosiński 
46*a03ca8b9SKrzysztof Kosiński   // Check that ReferenceType elements are grouped by ReferencePool. Note that
47*a03ca8b9SKrzysztof Kosiński   // repeats can occur, and pools can be skipped.
48*a03ca8b9SKrzysztof Kosiński   EXPECT_TRUE(std::is_sorted(pool_list.begin(), pool_list.end()));
49*a03ca8b9SKrzysztof Kosiński }
50*a03ca8b9SKrzysztof Kosiński 
51*a03ca8b9SKrzysztof Kosiński }  // namespace zucchini
52