Re: Primitive.IntInf.make

Thanks for this long explanation.

Am 05.12.2013 04:39, schrieb Matthew Fluet:
> On Wed, Dec 4, 2013 at 4:12 PM, René Neumann <[email protected]> wrote:
>> when profiling my application (built with -default-type intinf), I
>> noticed that (according to it) ~30% of the time is spent by
>> Primitive.IntInf.make.
>>
>> Is it called on construction of each IntInf? Or only on those that do
>> not fit into 32/64bit? Or does this come from somewhere else?
> 
> You'll want to use "mlprof -show-line true" to see precisely which
> "Primitive.IntInf.make" function is being called; it should be one in
> the "$(SML_LIB)/basis/integer/int-inf0.sml" file
> (https://github.com/MLton/mlton/blob/master/basis-library/integer/int-inf0.sml).

It says here, it is the 'make' in line 945. From my little understanding
of the source, this is the one used for simple addition and
multiplication. Is this correct?

> [...] 
> So, I suspect that in your application, the ~30% is being spent in one
> of the arithmetic functions.  You could try compiling with
> "-profile-include '.*'", which will override the exclusion of the
> Basis Library implementation details.

The profile-include switch does not yield a difference.

- René
-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

------------------------------------------------------------------------------
Sponsored by Intel(R) XDK 
Develop, test and display web and hybrid apps with a single code base.
Download it for free now!
http://pubads.g.doubleclick.net/gampad/clk?id=111408631&iu=/4140/ostg.clktrk

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user