diff options
Diffstat (limited to 'examples/program_analysis/paper_demos/gemm2.after.txt')
-rw-r--r-- | examples/program_analysis/paper_demos/gemm2.after.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/examples/program_analysis/paper_demos/gemm2.after.txt b/examples/program_analysis/paper_demos/gemm2.after.txt new file mode 100644 index 0000000..19bb8aa --- /dev/null +++ b/examples/program_analysis/paper_demos/gemm2.after.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_skinny(A, B, &C, outer, A_cols, outer); |