Too aggressive optimizer?

Daniel Wang danwang@cs.princeton.edu
25 Feb 2000 17:47:58 -0500


So, I have a CPS program that unoptimized contains 375 references to an
external C primitive in the outputed code. Once I turn the optimizer on that
C primitve occurs 1377 times. Is mlton assuming the primtives are pure and
just engaging in very aggressive inlining, or is it doing some very fancy
control analysis and assuming the primtives maybe impure? Or is this just a
bug?