22 Aug
2010
22 Aug
'10
8:30 a.m.
Dear David,
As you mentioned previously, Poly/ML first compiles ML program into the IR, which is further passed to a code generator to produce low level code.
I was trying to understand and document the semantics of the opcode set used by Poly/ML's interpreter, and I'm wondering whether inside Poly/ML's compiler, there are such debugging functions which could print out the IR tree as well as the generated op code for an input ML program? These functions would help me a lot to test my understanding on Poly's IR data structure and code generation. Thank you very much!
Best,
Yue