Regalloc: liveness annotations

[vbgl]

This introduces the -pliveness command-line flag to turn on printing of
liveness information during register-allocation. It prints what local
variables are live at any program point and at the end of each function
what variables of the callers are live at call-sites (hence during the
hole execution of the function).

Example result:

fn inc (reg u32 RAX) -> (reg u32) {

  /* "tests/success/common/liveness.jazz", line 2 (2-9) */
  /* Live-in:
   1 word (RAX) */
  /* Live-out:
   1 word (RAX)
   4 flags (OF SF PF ZF) */
  (OF, SF, PF, ZF, RAX) = #INC_32(RAX); /*  */
  return (RAX);
}
/* Maximum register usage for inc:
   1 word
   4 flags
   Live at call sites:  2 words (RDI RSI)  1 word (RDI)
*/

[bgregoir]

Thank a lot. I have try to use it.
For me there is two main problems:

• The variable names do not correspond to the one of the source program.
• I would like also to print variables depending on their type (and maybe the number of variables of each categories)

[vbgl]

Thanks Benjamin. I’ve cleaned up the history & commit message. I think this is ready.

[eponier]

I'm reviewing.

[vbgl]

ping @eponier Is there anything wrong?

[eponier]

Yes, something is wrong, I'm too slow to review.

[vbgl]

Дякую!