[MLton-devel] profiled self compile with source info

[Matthew Fluet]

> Here is my current plan.
>
> Add the following to Ssa.Statement.t
>
> 	 Enter of SourceInfo.t
>        | Leave

That sounds really good.  In the end, we would expect that for (almost)
every final SSA function, the Function.sourceInfo should equal the
outermost Enter/Leave pair of the function.

> stack is much like we do for exception handlers).  With this
> information, I plan to add a pass in the backend at the end of the
> Rssa pipeline that inserts a Profile statement (with some uniqifying
> information) at the beginning of each basic block and each Enter/Leave
> within a basic block.  The native codegen will simply have to insert a
> label at each of these Profile statements.

Ah, so from the mlprof point of view, things will work very much the same
as before.  Every program point will be bounded by labels indicating a
"source" position (SSA Function, SSA block, source lambda).



-------------------------------------------------------
This sf.net email is sponsored by:
With Great Power, Comes Great Responsibility 
Learn to use your power at OSDN's High Performance Computing Channel
http://hpc.devchannel.org/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel