binaryen icon indicating copy to clipboard operation
binaryen copied to clipboard

Nondeterminism in GC optimizations

Open tlively opened this issue 2 years ago • 1 comments

One of these passes definitely has nondeterminism:

  • --intrinsic-lowering
  • --remove-unused-module-elements

Additionally, there is more determinism somewhere in optimization pipelines with these flags:

  • --partial-inlining-ifs=4 -fimfs=50 --gufa --intrinsic-lowering -O3

tlively avatar Mar 17 '23 20:03 tlively

This is helped by #5590 but it is unclear if that is the only source of nondeterminism.

kripken avatar Mar 17 '23 23:03 kripken