Compilers and ``Optimization'' Contributions to the FP98 Course

Richard Fateman
Computer Science Division, EECS Dep't
University of California at Berkeley

Abstract:

This section consists of draft Notes on language and compilers. Here we address the issue of what compilers should be allowed to do, encouraged to do, and what should be forbidden.

• Prerequisites
• Simplification or optimization
  • Admissible optimizations
  • Bad optimizations
  • Can Bad be OK?
  • Loop Optimizations
    • Loops
    • Trichotomy
  • Equality
  • Strength reduction
• Expression evaluation with mixed precisions (etc)
  • Precisions
  • Treatment of domains
• About this document ...