Displaying 2 results from an estimated 2 matches for "memref_1".
Did you mean:
memref_x
2016 May 16
2
Determination of statements that contain only matrix multiplication
...2; 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] }"
},
{
"kind" : "read",
"relation" : "{ Stmt_14[i0, i1, i2] -> MemRef_2[i2, i1] }"
},
{
"kind" : "read",
"relation" : "{ Stmt_14[i0, i1, i2] -> MemRef_3[i0, i1] }"
},
{...
2016 May 17
4
Determination of statements that contain only matrix multiplication
...[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] }"
>> },
>> {
>> "kind" : "read",
>> "relation" : "{ Stmt_14[i0, i1, i2] -> MemRef_2[i2, i1] }"
>> },
>> {
>> "kind" : "read",
>> "relation"...