Skip to content
Snippets Groups Projects
Commit a85c33c4 authored by Rodrigo Mesquita's avatar Rodrigo Mesquita :seedling: Committed by Zubin
Browse files

determinism: Deterministic MonadGetUnique LlvmM 

Update LlvmM to thread a unique deterministic supply (using UniqDSMT),
and use it in the MonadGetUnique instance.

This makes uniques sampled from LlvmM deterministic, which guarantees
object determinism with -fllvm.

Fixes #25274

(cherry picked from commit 64e876bc)
parent f9a0dc6d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment