Problem Set 7: Optimizing ML

Due Wednesday, 11 November 2009, 11:00am.

Overview:

The goal of this problem set is to learn more about building a high-level optimizer for a modern language. In particular, you will be modifying the inlining hueristic to have a more reasonable strategy, and adding a new optimization pass that gets rid of redundant tests. More information can be found in the README file contained in the project zip file.

Instructions

Create a directory ps7. Download the opt.zip zip file and unzip it within the ps7 directory. You should find all of the files that you will need for this assignment.

The file README contains more detailed directions about what you need to do. In particular, you will be modifying the file monadic.sml to complete the parts that are missing.

Submitting your work

Please use the CS153 submission script provided on the nice servers at ~lib153/bin/cs153submit. For each assignment, you should create a new subdirectory to hold all of the supplied files along with any file you create. When you have complete the assignment, submit your work with the following command:

# ~lib153/bin/cs153submit N dir

where N is the assignment number, and dir the the directory containing the files for the assignment. For example, if you are using a directory called ps7 for this assignment, you can submit your work with the command.

# ~lib153/bin/cs153submit 7 ps7

You can submit your work as many times as you like. Only the last submission will be graded. You can view your current submission using the submit command:

submit ls lib153 7: Show the time-stamp and size of your last submission for assignment 7.
submit contents lib153 7: Show the contents of your last submission for assignment 7.

For more information, see man submit on the nice servers.