llvm-project.git/bolt/lib/Core/HashUtilities.cpp, branch main

BOLT: Replace MCTargetExpr with MCSpecifierExpr to fix bolt-icf.test on aarch64 host

2025-06-08T05:35:20+00:00

[MC] Make generated `MCInstPrinter::getMnemonic` const (NFC) (#114682)

2024-11-03T17:37:26+00:00

The value returned from the function depends only on the instruction opcode.

As a drive-by, change the type of the argument to const-reference.

[BOLT] Match blocks with calls as anchors (#96596)

2024-07-10T22:46:47+00:00

Added another hash level – call hash – following opcode hash matching
for stale block matching. Call hash strings are the concatenation of the
lexicographically ordered names of each blocks’ called functions. This 
change bolsters block matching in cases where some instructions have
been removed or added but calls remain constant.

Test Plan: added match-functions-with-calls-as-anchors.test.

[BOLT][NFC] Clean includes, add license headers (#87200)

2024-04-01T02:29:45+00:00

[BOLT] Use deterministic xxh3 for computing BF/BB hashes (#72542)

2023-11-27T22:45:46+00:00

std::hash and ADT/Hashing::hash_value are non-deterministic functions
whose
results might vary across implementation/process/execution. Using xxh3
instead
for computing hashes of BinaryFunctions and BinaryBasicBlock for stale
profile
matching.
(A possible alternative is to use ADT/StableHashing.h based on FNV
hashing but
xxh3 seems to be more popular in LLVM)

This is to address https://github.com/llvm/llvm-project/issues/65241.

[BOLT] Use llvm::erase_if (NFC)

2023-10-14T01:22:44+00:00

[BOLT] Always match stale entry blocks

2023-09-08T22:46:20+00:00

Two (minor) improvements for stale matching:
- always match entry blocks to each other, even if there is a hash mismatch;
- ignore nops in (loose) hash computation.

I record a small improvement in inference quality on my benchmarks. Tests are not affected

Reviewed By: Amir

Differential Revision: https://reviews.llvm.org/D159488

[BOLT] Fine-tuning hash computation for stale matching

2023-08-31T14:29:02+00:00

Fine-tuning hash computation for stale matching:
- introducing a new "loose" basic block hash that allows to match many more blocks than before;
- tweaking params of the inference algorithm that find (slightly) better solutions;
- added more meaningful tests for stale matching.

Tested the changes on several open-source benchmarks (clang, rocksdb, chrome)
and one prod workload using different compiler modes (LTO/PGO etc). There is
always an improvement in the quality of inferred profiles.
(The current implementation is still not optimal but the diff is a step forward;
I am open to further suggestions)

Reviewed By: Amir

Differential Revision: https://reviews.llvm.org/D156278

[BOLT] Use opcode name in hashBlock

2023-05-09T01:54:29+00:00

Use MCInst opcode name instead of opcode value in hashing.

Opcode values are unstable wrt changes to target tablegen definitions,
and we notice that as output mismatches in NFC testing. This makes BOLT YAML
profile tied to a particular LLVM revision which is less portable than
offset-based fdata profile.

Switch to using opcode names which have 1:1 mapping with opcode values for any
given LLVM revision, and are stable wrt modifications to .td files (except of
course modifications to names themselves).

Test Plan:
D150154 is a test commit adding new X86 instruction which shifts opcode values.
With current change, pre-aggregated-perf.test passes in nfc check mode.
Without current change, pre-aggregated-perf.test expectedly fails.

Reviewed By: #bolt, rafauler

Differential Revision: https://reviews.llvm.org/D150005

[BOLT][NFC] Add hash computation for basic blocks

2023-05-02T21:03:47+00:00

Extending yaml profile format with block hashes, which are used for stale
profile matching. To avoid duplication of the code, created a new class with a
collection of utilities for computing hashes.

Reviewed By: Amir

Differential Revision: https://reviews.llvm.org/D144306