path: root/examples/program_analysis/paper_demos/gemm1.before.txt

assert(k > 0);
int outer = k * 100;
int inner = k * 10;
read_mat(outer, inner, &A);
read_mat(inner, outer, &B);
gemm_large(A, B, &C, outer, inner, outer);