Suggestion: first click the 'Code' radio button at the bottom of the pages to see transformations applied to code only, then click the '+Annot' to also see contracts and ghost operations. At any point you can also select the 'Code after' button to view plain code as opposed to diffs.
Matmul: reproducing a TVM matrix-multiply case study. For details, see the full trace (~100MB), in which substeps can be navigated by clicking on the triangles in the tree view on the left.
OpenCV: reproducing manually written code from a graphics library.
Micro-PIC: a numerical scaling transformation, excerpt from the full Particle-In-Cell (PIC) case study mentioned below.
Harris : reproducing an Halide case study of an advanced image processing code. For details, see the Harris full trace (~100MB).
PIC : reproducing manually written code for a state-of-the-art numerical simulation code (Particle-in-Cell plasma physics).
This trace uses our older interface: click on the 3rd 'next' button to view the diff for the main steps.
You can also browse directly the following input and output files: