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