@@ -54,9 +54,9 @@ FailureOr<std::pair<int, int>> isTranspose2DSlice(vector::TransposeOp op);
54
54
// / dimensions after ignoring a leading sequence of unit ones.
55
55
// /
56
56
// / For `vectorType` to be a contiguous slice of `memrefType`
57
- // / a) the N trailing dimensions of the latter must be contiguous, and
58
- // / b) the trailing N dimensions of `vectorType` and `memrefType`,
59
- // / except the first of them, must match.
57
+ // / a) the N trailing dimensions of `memrefType` must be contiguous, and
58
+ // / b) the N-1 trailing dimensions of `vectorType` and `memrefType`
59
+ // / must match.
60
60
// /
61
61
// / Examples:
62
62
// /
@@ -69,15 +69,15 @@ FailureOr<std::pair<int, int>> isTranspose2DSlice(vector::TransposeOp op);
69
69
// / Ex.4 contiguous slice, leading unit dimension of the vector ignored,
70
70
// / 2 != 3 (allowed)
71
71
// / vector<1x2x2xi32> from memref<5x4x3x2xi32>
72
- // / Ex.5. contiguous slice, leasing two unit dims of the vector ignored,
72
+ // / Ex.5. contiguous slice, leading two unit dims of the vector ignored,
73
73
// / 2 != 3 (allowed)
74
74
// / vector<1x1x2x2xi32> from memref<5x4x3x2xi32>
75
75
// / Ex.6. non-contiguous slice, 2 != 3, no leading sequence of unit dims
76
76
// / vector<2x1x2x2xi32> from memref<5x4x3x2xi32>)
77
- // / Ex.7 contiguous slice, memref needs to be contiguous only on the last
77
+ // / Ex.7 contiguous slice, memref needs to be contiguous only in the last
78
78
// / dimension
79
79
// / vector<1x1x2xi32> from memref<2x2x2xi32, strided<[8, 4, 1]>>
80
- // / Ex.8 non-contiguous slice, memref needs to be contiguous one the last
80
+ // / Ex.8 non-contiguous slice, memref needs to be contiguous in the last
81
81
// / two dimensions, and it isn't
82
82
// / vector<1x2x2xi32> from memref<2x2x2xi32, strided<[8, 4, 1]>>
83
83
bool isContiguousSlice (MemRefType memrefType, VectorType vectorType);
0 commit comments