LLVM 19.0.0git
TypeHashing.cpp
Go to the documentation of this file.
1//===- TypeHashing.cpp -------------------------------------------*- C++-*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
10
12#include "llvm/Support/BLAKE3.h"
13
14using namespace llvm;
15using namespace llvm::codeview;
16
19
20static std::array<uint8_t, 8> EmptyHash = {
21 {0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00}};
22static std::array<uint8_t, 8> TombstoneHash = {
23 {0xFF, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00}};
24
27
30}
31
34 ArrayRef<GloballyHashedType> PreviousTypes,
35 ArrayRef<GloballyHashedType> PreviousIds) {
37 discoverTypeIndices(RecordData, Refs);
39 S.init();
40 uint32_t Off = 0;
41 S.update(RecordData.take_front(sizeof(RecordPrefix)));
42 RecordData = RecordData.drop_front(sizeof(RecordPrefix));
43 for (const auto &Ref : Refs) {
44 // Hash any data that comes before this TiRef.
45 uint32_t PreLen = Ref.Offset - Off;
46 ArrayRef<uint8_t> PreData = RecordData.slice(Off, PreLen);
47 S.update(PreData);
48 auto Prev = (Ref.Kind == TiRefKind::IndexRef) ? PreviousIds : PreviousTypes;
49
50 auto RefData = RecordData.slice(Ref.Offset, Ref.Count * sizeof(TypeIndex));
51 // For each type index referenced, add in the previously computed hash
52 // value of that type.
53 ArrayRef<TypeIndex> Indices(
54 reinterpret_cast<const TypeIndex *>(RefData.data()), Ref.Count);
55 for (TypeIndex TI : Indices) {
56 ArrayRef<uint8_t> BytesToHash;
57 if (TI.isSimple() || TI.isNoneType()) {
58 const uint8_t *IndexBytes = reinterpret_cast<const uint8_t *>(&TI);
59 BytesToHash = ArrayRef(IndexBytes, sizeof(TypeIndex));
60 } else {
61 if (TI.toArrayIndex() >= Prev.size() ||
62 Prev[TI.toArrayIndex()].empty()) {
63 // There are references to yet-unhashed records. Suspend hashing for
64 // this record until all the other records are processed.
65 return {};
66 }
67 BytesToHash = Prev[TI.toArrayIndex()].Hash;
68 }
69 S.update(BytesToHash);
70 }
71
72 Off = Ref.Offset + Ref.Count * sizeof(TypeIndex);
73 }
74
75 // Don't forget to add in any trailing bytes.
76 auto TrailingBytes = RecordData.drop_front(Off);
77 S.update(TrailingBytes);
78
79 return {S.final()};
80}
static std::array< uint8_t, 8 > TombstoneHash
Definition: TypeHashing.cpp:22
static std::array< uint8_t, 8 > EmptyHash
Definition: TypeHashing.cpp:20
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
ArrayRef< T > take_front(size_t N=1) const
Return a copy of *this with only the first N elements.
Definition: ArrayRef.h:228
ArrayRef< T > drop_front(size_t N=1) const
Drop the first N elements of the array.
Definition: ArrayRef.h:204
ArrayRef< T > slice(size_t N, size_t M) const
slice(n, m) - Chop off the first N elements of the array, and keep M elements in the array.
Definition: ArrayRef.h:195
void init()
Reinitialize the internal state.
Definition: BLAKE3.h:43
void update(ArrayRef< uint8_t > Data)
Digest more data.
Definition: BLAKE3.h:46
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1209
Like BLAKE3 but using a class-level template parameter for specifying the hash size of the final() an...
Definition: BLAKE3.h:101
void final(BLAKE3Result< NumBytes > &Result)
Finalize the hasher and put the result in Result.
Definition: BLAKE3.h:106
A 32-bit type reference.
Definition: TypeIndex.h:96
An opaque object representing a hash code.
Definition: Hashing.h:74
void discoverTypeIndices(ArrayRef< uint8_t > RecordData, SmallVectorImpl< TiReference > &Refs)
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
hash_code hash_value(const FixedPointSemantics &Val)
Definition: APFixedPoint.h:128
@ Ref
The access may reference the value stored in memory.
An information struct used to provide DenseMap with the various necessary components for a given valu...
Definition: DenseMapInfo.h:50
A globally hashed type represents a hash value that is sufficient to uniquely identify a record acros...
Definition: TypeHashing.h:80
static GloballyHashedType hashType(ArrayRef< uint8_t > RecordData, ArrayRef< GloballyHashedType > PreviousTypes, ArrayRef< GloballyHashedType > PreviousIds)
Given a sequence of bytes representing a record, compute a global hash for this record.
Definition: TypeHashing.cpp:33
A locally hashed type represents a straightforward hash code of a serialized record.
Definition: TypeHashing.h:34
static LocallyHashedType hashType(ArrayRef< uint8_t > RecordData)
Given a type, compute its local hash.
Definition: TypeHashing.cpp:28
ArrayRef< uint8_t > RecordData
Definition: TypeHashing.h:36