Dataflow optimization test cases are posted

I have posted the test cases for global CSE. I have not provided the output because you should check the output against your unoptimized compiler flow in your regression infrastructure.

16-qsort.dcf

This test originally contained a semantic error. The partition method did not contain a return statement on all paths of control. It is now fixed.

Assembler command-line

Like I mentioned previously, it looks like the order of arguments matters when assembling. The following commands work for me on all the machines for compiling the example program given in the x86-64 architecture guide:

cc example.s -L. -l6035 -o example
gcc4 example.s -L. -l6035 -o example

This assumes that lib6035.a is in the current directory.

Let me know if you have any problems.

Update on machines

gcc4 and java5 should now be on all the test machines.

/usr/java/jre1.5.0_06

$ gcc4 -v
Using built-in specs.
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --with-gxx-include-dir=/usr

/include/c++/3.4.3 --enable-libgcj-multifile --enable-languages=c,c++,java,f95 --enable-java-awt=gtk --disable-dssi --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --with-cpu=generic --host=x86_64-redhat-linux
Thread model: posix
gcc version 4.1.0 20060515 (Red Hat 4.1.0-18)

silver/tyner/chocura

Some notes on the machines:

* You should try to use silver, tyner, or chocura. Urth is a desktop machine that is not too powerful, but if it is free, use it. It is not a multicore.

* As of right now use 'cc' to assemble and link. Note that cc is picky about the order of arguments, i.e. you must issue something like "cc decaf.s lib6035.a -o decaf". The library must come after the assembly file. I'm going to install gcc4 soon. This is the only version of gcc that has 64-bit support as far as I know.

* These machines do not have java5 installed on them. You can grab a copy yourself or wait for me to install one. Hopefully tomorrow, but I cannot make any promises. If you want to use eclipse, there is at least one group that got the 64-bit version to work.

Project Checkpoint Clarification

At 5pm on Thursday I am going to grab the tarball from your group locker. Please name it according to the project specifications. I would like you to write a brief document describing your low-level IR design, namely, the structures that are represented, how it is organized (tree or flat, 2 or 3 address code, etc). I would like you to describe your compiler flow, i.e. how your are going to translate your HIR to your LIR and your LIR to asm.

This should not be a rigorous document. One page should suffice. I just want to make sure that you understand the concepts and are not doing anything crazy. Unless i find a problem with your design, you will not get any feedback on the document.

Semantic Hidden Test legal-09.dcf

For the semantic phase, the hidden test case legal-09.dcf was incorrect. It contained an error where control reached the end of a non-void method. If I marked the test case incorrect for your group, please see me to get 1.7 points back for the hidden test grade.

I have since corrected the test case. Thanks to Jeff for pointing this out.