ééä <chenwj@xxxxxxxxxxxxxxxxx> writes: > I am wondering if there is any possibility that gcc can > generate annotations like control flow, or register usage > into the executable. The idea comes from the paper below, > > Techniques to improve dynamic binary optimization > http://www-users.cs.umn.edu/~adas/adas-thesis-embed.pdf > > The paper lists annotations that may benefit a binary translator > on chapter 5. For example, basic block register usage (live-ins > ans live-outs) lets binary translators know which register > can be used for optimizing. And control flow information can be > used by the binary translator to identify a loop. I'm not sure exactly what you are asking. gcc does not generate these kinds of annotations today. It is possible for it to generate them in the future, if there is some way to make use of them. Ian
