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/gemm1.after.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/gemm1.after.txt')
-rw-r--r-- | examples/program_analysis/paper_demos/gemm1.after.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/examples/program_analysis/paper_demos/gemm1.after.txt b/examples/program_analysis/paper_demos/gemm1.after.txt new file mode 100644 index 0000000..5d49a4c --- /dev/null +++ b/examples/program_analysis/paper_demos/gemm1.after.txt @@ -0,0 +1,6 @@ +assert(k > 0); +int outer = k * 100; +int inner = k * 10; +read_mat(outer, inner, &A); +read_mat(inner, outer, &B); +gemm_skinny(A, B, &C, outer, inner, outer); |