[MLton-devel] Problem with -exn-history true

[Matthew Fluet]

>             useless starting
>             useless raised in 3.59 + 1.96 (35% GC)
>          closureConvertSimplify raised in 34.03 + 9.55 (22% GC)
>       pre codegen raised in 90.26 + 41.32 (31% GC)
>    Compile SML raised in 90.26 + 41.32 (31% GC)
> MLton raised in 90.26 + 41.32 (31% GC)
> mlton: x_178644 has no analyze var value property   

Looks like the culprit is constant-prop/shrink not eliminating L_85403
after all the non-tail calls that might raise to it are eliminated.  On
the other hand, the HandlerPush's of L_85403 are still around.  But,
analyze visits blocks via Transfer.foreachLabel, so misses those blocks
and doesn't set any value property on the variables.

Working back from that, block x_178706 transfers via
case !x_178707 of false => L_85429 | true => L_85438
but constant-prop discovers that that dereference is always false, so the
whole L_85429 branch can be dropped.

Looking at constant-prop, it never drops blocks, so it must be shrink that
has a bug.




-------------------------------------------------------
This sf.net email is sponsored by: OSDN - Tired of that same old
cell phone?  Get a new here for FREE!
https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel