murmur32Scramble (value -- scrambled)

Applies the Murmur3 32-bit block scrambling step to one Nat32 value.

• This helper is the per-block mixing step used by murmur3_32.
• The result schema is Nat32.
• The helper is not a complete hash by itself.

murmur3_32 (key size seed -- hash)

Computes one 32-bit Murmur3 hash over raw byte storage.

• key is the starting storage address.
• size is the byte count.
• seed is the initial Nat32 seed value.
• The result schema is Nat32.

Input model

• The byte sequence is processed in 4-byte blocks.
• Each full block is assembled in little-endian order from consecutive bytes.
• The final partial block, when present, uses one, two, or three tail bytes in the low-order positions of one temporary word.
• When size is 0, key is not dereferenced.

Seed and result

• Changing seed changes the resulting hash for the same byte sequence.
• The zero-size case therefore still depends on the finalization of the supplied seed.
• murmur3_32 returns one 32-bit hash value only; the module exposes no incremental state schema.

Examples

Scramble step

"murmurHash" use
"control" use

{} () {} [
  0n32 murmur32Scramble printStack _:;
  1n32 murmur32Scramble printStack _:;
] "main" exportFunction

Expected Output During Compilation

0n32
3277036125n32

Zero-size input

"murmurHash" use
"control" use

{} () {} [
  0nx 0 0n32 murmur3_32 printStack _:;
  0nx 0 1n32 murmur3_32 printStack _:;
] "main" exportFunction

Expected Output During Compilation

0n32
1364076727n32

Whole input and seed effect

"murmurHash" use
"String" use
"control" use

{} Int32 {} [
  (97n8 98n8 99n8) storageAddress 3 0n32 murmur3_32 toString print
  "\n" print
  (97n8 98n8 99n8) storageAddress 3 1n32 murmur3_32 toString print
  0
] "main" exportFunction

Expected Output

3017643002
2859854335

See also

• sha1: Whole-input and incremental SHA-1 hashing helpers.