Subject: JGSI Review C435 Resent-Date: Mon, 04 Oct 1999 13:26:07 -0400 Resent-From: Geoffrey Fox Resent-To: p_gcf@npac.syr.edu Date: Sat, 25 Sep 1999 02:04:05 +0900 From: "ISHIZAKI, Kazuaki" To: gcf@npac.syr.edu I do not recommend this paper will be acceptable. 1) INSIGHT: The paper describes verifiable and machine-independent annotations to improve register allocation. The annotation is generated off-line using graph coloring. 2) INTEREST: How to generate machine-independent annotation without a number of physical registers. 3) NOVELTY: To reduce code generation time at runtime, the author apply register allocation off-line machine-independentlly. To be simple and verifiable, some optimizations are restricted. 4) SOUNDNESS: Since the paper does not have detailed descriptions of key algorithms in section 5, it is difficult to be confident about soundness. 5) TECHNIQUE: The annotation is simple, verifiable and corresponding to each byte code. The correspondence does not allow a compiler to apply optimizations with transformations of byte code. 6) PRESENTATION: The presentation is not structed well. Section 4 is too long and hard to understand. The good examples may be needed in each section to explain your techniques. 7) COMMENTS: In Figure 2, a code generation routine without VR can generate the same quarity code. So, it is not suitable for motivating example. The restriction that every VR is monotyped is too strict in practical. Section 5 is main contribution in the paper. I recommend it should be explained in detail. Section 7.2 "swap" annotation is also important. It must be explained in section 5. --- Kazuaki Ishizaki IBM Japan, Tokyo Research Laboratory Mail : ishizaki@trl.ibm.co.jp TEL: ++81-46-273-4664, FAX: ++81-46-274-4282