Skip to content

cmm: Back LabelMap with UDFM

Rodrigo Mesquita requested to merge wip/romes/deterministic-label-map into master 
cmm: Back LabelMap with UDFM

Use a deterministic unique map to back the implementation of `LabelMap`.

This is necessary towards the goal of object code determinism in #12935.

Our intended solution requires renaming uniques in a deterministic
order (which will be the order in which they were created), but storing
them label map makes us lose this order. Backing it with a UDFM fixes
this issue.

Merge request reports