From 5472f1b2ddb1adf23b8b524d687c5413e3252260 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 11 Jun 2016 19:53:17 +0100 Subject: [PATCH] . --- Posts/BottomUp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Posts/BottomUp b/Posts/BottomUp index b9a933c..b829a99 100644 --- a/Posts/BottomUp +++ b/Posts/BottomUp @@ -98,8 +98,12 @@ Besides the hello world, I used the same tools on our [BTC Piñata](http://ownme [](https://www.cl.cam.ac.uk/~hm519/pinata-bytes.svg) +### Conclusion + OCaml does not yet do dead code elimination, but there [is a PR](https://github.com/ocaml/ocaml/pull/608) based on the flambda middle-end which does so. I haven't yet investigated numbers using that branch. +Those counting statistics could go into more detail (e.g. using `nm` to count the sizes of concrete symbols - which opens the possibility to see which symbols are present in the objects, but not in the final binary). Also, collecting the numbers for each module in a library would be great to have. In the end, it would be great to easily spot the source fragments which are responsible for a huge binary size (and getting rid of them). + I'm interested in feedback, either via [twitter](https://twitter.com/h4nnes) or as an issue on the [data repository on GitHub](https://github.com/hannesm/hannes.nqsb.io/issues).