Documentation

• The language: Types, operators, broadcasting, semantics and errors.
• Graph IR: The text format of the SSA graph and its fused matmul form.
• Passes and optimization levels: Every graph and backend pass, and the range analysis.
• Architecture: Decisions, and the measured effect of each GPU optimization.
• The tiny-tpu backend: The .ttpu.json program format and its executor.
• The tiny-gpu backend: Kernels, registers, shared memory and barriers, and the launch format.
• Verification: Every layer that checks the compiler, and the bugs it found.