diff options
author | Matthew Sotoudeh <masotoudeh@ucdavis.edu> | 2020-11-10 14:16:20 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-10 14:16:20 -0800 |
commit | de88829eccd369aa1872413d6068d5179468c47e (patch) | |
tree | 1947f69081b4f647c643b0f9d5ce8c246a9b097c /examples/program_analysis/paper_demos/gemm2.before.txt | |
parent | db99b3af36fa4687c734e1c74d83157d2f10c9ed (diff) | |
parent | be64046354a0451869d475e7f0d35f4eb2344c93 (diff) |
Contains code for reproducing the demos from our Onward '20 paper about Sifter.
Diffstat (limited to 'examples/program_analysis/paper_demos/gemm2.before.txt')
-rw-r--r-- | examples/program_analysis/paper_demos/gemm2.before.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/examples/program_analysis/paper_demos/gemm2.before.txt b/examples/program_analysis/paper_demos/gemm2.before.txt new file mode 100644 index 0000000..6e0ab1c --- /dev/null +++ b/examples/program_analysis/paper_demos/gemm2.before.txt @@ -0,0 +1,10 @@ +assert(k > 1); +int outer = k, A_cols = k / 2; +read_mat(outer, A_cols, &A); +read_mat(A_cols, outer, &B); +while (!done(A, B)) { + read_row(&A); + read_col(&B); + outer++; +} +gemm_large(A, B, &C, outer, A_cols, outer); |