Displaying 2 results from an estimated 2 matches for "bound3".
Did you mean:
bound
2016 May 16
2
Determination of statements that contain only matrix multiplication
...s,
could we use information about memory accesses of a SCoP statement and
def-use chains to determine statements, which don’t contain matrix
multiplication of the following form?
for (int i = 0; i < Upper Bound1; i++)
for (int j = 0; j < Upper Bound2; j++)
for (int k = 0; k < Upper Bound3; j++)
C[i][j] += A[i][k] * B[k][j]
We could probably check that memory access relations have the following form:
"accesses" : [
{
"kind" : "read",
"relation" : "{ Stmt_14[i0, i1, i2] -> MemRef_1[i0, i2] }"
},
{
"kin...
2016 May 17
4
Determination of statements that contain only matrix multiplication
...>> multiplication of the following form?
>
> Assuming s/don't/do you want to pattern-match gemm kernels inside larger scops.
>
>
>> for (int i = 0; i < Upper Bound1; i++)
>> for (int j = 0; j < Upper Bound2; j++)
>> for (int k = 0; k < Upper Bound3; j++)
>> C[i][j] += A[i][k] * B[k][j]
>>
>> We could probably check that memory access relations have the following form:
>>
>> "accesses" : [
>> {
>> "kind" : "read",
>> "relation" : "{ Stm...