irep2_content_hash.h File Reference

#include <cstdint>
#include <functional>
#include <string>
#include <irep2/irep2.h>
#include <irep2/irep2_expr.h>

Include dependency graph for irep2_content_hash.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
using	irep2_name_mappert = std::function<std::string(const irep_idt &)>
	Maps a name to the form that should be hashed, letting a caller normalise SSA names without rewriting the expression.
using	irep2_symbol_mappert = std::function<std::string(const symbol2t &)>
	Maps a symbol to the token hashed in its place.

Functions
void	irep2_content_hash (const expr2tc &e, const irep2_name_mappert &rename, const irep2_symbol_mappert &rename_symbol, uint64_t &lo, uint64_t &hi)
	Structural hash of e that depends only on its content.

Typedef Documentation

irep2_name_mappert

using irep2_name_mappert = std::function<std::string(const irep_idt &)>

Maps a name to the form that should be hashed, letting a caller normalise SSA names without rewriting the expression.

irep2_symbol_mappert

using irep2_symbol_mappert = std::function<std::string(const symbol2t &)>

Maps a symbol to the token hashed in its place.

Called instead of the symbol's own fields, so the token must carry everything that distinguishes one symbol from another – including the renaming counters, which live in level2_num/node_num rather than in the name.

Function Documentation

irep2_content_hash()

void irep2_content_hash	(	const expr2tc &	e,
		const irep2_name_mappert &	rename,
		const irep2_symbol_mappert &	rename_symbol,
		uint64_t &	lo,
		uint64_t &	hi )

Structural hash of e that depends only on its content.

Every irep_idt contributes its characters (through rename), so the result is stable across processes – unlike crc(), whose irep_idt hash is the string-pool index. Nothing is copied or rendered to text: the walk reads the expression in place and feeds the two rolling lanes, which chain across calls so a sequence of expressions accumulates into one 128-bit value.