Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) (details)
Commit c064ea2694b661065a7388174431ee3dcc3c0c0d by noreply
Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119)

The file was modifiedmiddle_end/flambda/flambda_to_clambda.ml (diff)
The file was modifiedmiddle_end/flambda/inline_and_simplify.ml (diff)
The file was modifiedmiddle_end/flambda/ref_to_variables.ml (diff)
The file was modifiedmiddle_end/flambda/augment_specialised_args.ml (diff)
The file was modifiedmiddle_end/flambda/flambda_utils.ml (diff)
The file was modifiedmiddle_end/flambda/freshening.ml (diff)