ruiu added a comment. I wonder if printing out meta info (such as all command line options, time stamp, etc.) as a header of a map file is useful. What do you think? https://reviews.llvm.org/D28617