234 references to Assert
Microsoft.ML.CpuMath (234)
AlignedArray.cs (27)
39
Contracts.
Assert
(0 < size);
41
Contracts.
Assert
(sizeof(float) <= cbAlign);
42
Contracts.
Assert
((cbAlign & (cbAlign - 1)) == 0);
44
Contracts.
Assert
((size * sizeof(float)) % cbAlign == 0);
56
Contracts.
Assert
((float*)addr == pv);
61
Contracts.
Assert
(ibMin % sizeof(float) == 0);
101
Contracts.
Assert
(0 <= index && index < _size);
106
Contracts.
Assert
(0 <= index && index < _size);
113
Contracts.
Assert
(0 <= count && count <= _size);
114
Contracts.
Assert
(0 <= index && index <= dst.Length - count);
120
Contracts.
Assert
(0 <= count);
121
Contracts.
Assert
(0 <= start && start <= _size - count);
122
Contracts.
Assert
(0 <= index && index <= dst.Length - count);
128
Contracts.
Assert
(src.Length <= _size);
134
Contracts.
Assert
(0 <= start && start <= _size - src.Length);
144
Contracts.
Assert
(rgposSrc.Length <= valuesSrc.Length);
145
Contracts.
Assert
(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
154
Contracts.
Assert
(posMin <= rgposSrc[ipos]);
156
Contracts.
Assert
(iv < _size + _base);
163
Contracts.
Assert
(src != null);
164
Contracts.
Assert
(src._size == _size);
165
Contracts.
Assert
(src._cbAlign == _cbAlign);
176
Contracts.
Assert
(rgposSrc != null);
177
Contracts.
Assert
(0 <= iposMin && iposMin <= iposLim && iposLim <= rgposSrc.Length);
178
Contracts.
Assert
(iposLim - iposMin <= _size);
184
Contracts.
Assert
(ivCur <= ivNextNonZero && ivNextNonZero < _size);
187
Contracts.
Assert
(ivCur == ivNextNonZero);
AlignedMatrix.cs (43)
39
Contracts.
Assert
(0 < cflt);
41
Contracts.
Assert
(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
54
Contracts.
Assert
(0 < size);
56
Contracts.
Assert
(sizeof(float) <= cbAlign);
57
Contracts.
Assert
((cbAlign & (cbAlign - 1)) == 0);
74
Contracts.
Assert
(0 < _size && _size <= _items.Size);
78
Contracts.
Assert
(_items[i] == 0);
104
Contracts.
Assert
(0 <= index && index < _size);
109
Contracts.
Assert
(0 <= index && index < _size);
121
Contracts.
Assert
(0 <= i && i < _size);
152
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - _size);
168
Contracts.
Assert
(0 <= count && count <= dst.Length);
169
Contracts.
Assert
(0 <= ivSrc && ivSrc <= _size - count);
170
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - count);
182
Contracts.
Assert
(0 <= index && index <= src.Length - _size);
198
Contracts.
Assert
(0 <= count && count <= src.Length);
199
Contracts.
Assert
(0 <= ivDst && ivDst <= _size - count);
200
Contracts.
Assert
(0 <= ivSrc && ivSrc <= src.Length - count);
211
Contracts.
Assert
(src._size == _size);
290
Contracts.
Assert
(0 < cflt);
292
Contracts.
Assert
(0 < cfltAlign && (cfltAlign & (cfltAlign - 1)) == 0);
304
Contracts.
Assert
(0 < runLen);
305
Contracts.
Assert
(0 < runCnt);
307
Contracts.
Assert
(sizeof(float) <= cbAlign);
308
Contracts.
Assert
((cbAlign & (cbAlign - 1)) == 0);
328
Contracts.
Assert
(0 < RunLen && RunLen <= RunLenPhy);
329
Contracts.
Assert
(0 < RunCnt && RunCnt <= RunCntPhy);
330
Contracts.
Assert
(RunLenPhy * RunCntPhy == Items.Size);
336
Contracts.
Assert
(Items[i * RunLenPhy + j] == 0);
343
Contracts.
Assert
(Items[i * RunLenPhy + j] == 0);
361
Contracts.
Assert
(k == i * RunLenPhy);
385
Contracts.
Assert
(src.RunLen == RunLen);
386
Contracts.
Assert
(src.RunCnt == RunCnt);
387
Contracts.
Assert
(src.RunLenPhy == RunLenPhy);
388
Contracts.
Assert
(src.RunCntPhy == RunCntPhy);
433
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ValueCount);
462
Contracts.
Assert
(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
539
Contracts.
Assert
(0 <= row && row < RowCount);
540
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ColCount);
603
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ValueCount);
621
Contracts.
Assert
(0 <= row && row < RowCount);
622
Contracts.
Assert
(0 <= ivDst && ivDst <= dst.Length - ColCount);
636
Contracts.
Assert
(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
AvxIntrinsics.cs (43)
58
Contracts.
Assert
(alignedArray.Size > 0);
67
Contracts.
Assert
(((long)alignedBase % Vector256Alignment) == 0);
178
Contracts.
Assert
(HasCompatibleAlignment(mat));
179
Contracts.
Assert
(HasCompatibleAlignment(src));
180
Contracts.
Assert
(HasCompatibleAlignment(dst));
207
Contracts.
Assert
(((nuint)(pMatTemp) % 32) == 0);
208
Contracts.
Assert
(((nuint)(pSrcCurrent) % 32) == 0);
250
Contracts.
Assert
(HasCompatibleAlignment(mat));
251
Contracts.
Assert
(HasCompatibleAlignment(src));
252
Contracts.
Assert
(HasCompatibleAlignment(dst));
301
Contracts.
Assert
(HasCompatibleAlignment(mat));
302
Contracts.
Assert
(HasCompatibleAlignment(src));
303
Contracts.
Assert
(HasCompatibleAlignment(dst));
338
Contracts.
Assert
(((nuint)(pMatTemp) % 32) == 0);
385
Contracts.
Assert
(((nuint)(pMatTemp) % 32) == 0);
386
Contracts.
Assert
(((nuint)(pDstCurrent) % 32) == 0);
529
Contracts.
Assert
(((nuint)(pDstCurrent) % 32) == 0);
570
Contracts.
Assert
(count <= src.Length);
571
Contracts.
Assert
(count <= dst.Length);
665
Contracts.
Assert
(count <= src.Length);
666
Contracts.
Assert
(count <= dst.Length);
719
Contracts.
Assert
(count <= src.Length);
720
Contracts.
Assert
(count <= dst.Length);
721
Contracts.
Assert
(count <= result.Length);
776
Contracts.
Assert
(count <= src.Length);
777
Contracts.
Assert
(count <= dst.Length);
778
Contracts.
Assert
(count <= idx.Length);
827
Contracts.
Assert
(count <= src.Length);
828
Contracts.
Assert
(count <= dst.Length);
876
Contracts.
Assert
(count <= src.Length);
877
Contracts.
Assert
(count <= dst.Length);
878
Contracts.
Assert
(count <= idx.Length);
924
Contracts.
Assert
(count <= src1.Length);
925
Contracts.
Assert
(count <= src2.Length);
926
Contracts.
Assert
(count <= dst.Length);
1031
Contracts.
Assert
(((nuint)(pValues) % 32) == 0);
1342
Contracts.
Assert
(count <= src.Length);
1343
Contracts.
Assert
(count <= dst.Length);
1396
Contracts.
Assert
(count <= src.Length);
1397
Contracts.
Assert
(count <= dst.Length);
1398
Contracts.
Assert
(count <= idx.Length);
1453
Contracts.
Assert
(count <= src.Length);
1454
Contracts.
Assert
(count <= dst.Length);
CpuAligenedMathUtils.cs (6)
22
Contracts.
Assert
((mat.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
35
Contracts.
Assert
((vec.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
55
Contracts.
Assert
(mat.ColCount == src.VectorSize);
56
Contracts.
Assert
(mat.RowCount == dst.VectorSize);
75
Contracts.
Assert
(m.ColCountPhy == A(src).Items.Size);
76
Contracts.
Assert
(m.RowCountPhy == A(dst).Items.Size);
CpuMathUtils.cs (20)
52
Contracts.
Assert
(count > 0);
53
Contracts.
Assert
(count <= source.Length);
54
Contracts.
Assert
(count <= destination.Length);
71
Contracts.
Assert
(count > 0);
72
Contracts.
Assert
(count <= source.Length);
73
Contracts.
Assert
(count <= destination.Length);
92
Contracts.
Assert
(count > 0);
93
Contracts.
Assert
(count <= source.Length);
94
Contracts.
Assert
(count <= destination.Length);
95
Contracts.
Assert
(count <= result.Length);
111
Contracts.
Assert
(count > 0);
112
Contracts.
Assert
(count <= source.Length);
113
Contracts.
Assert
(count <= destination.Length);
131
Contracts.
Assert
(count > 0);
132
Contracts.
Assert
(count <= left.Length);
133
Contracts.
Assert
(count <= right.Length);
134
Contracts.
Assert
(count <= destination.Length);
190
Contracts.
Assert
(count > 0);
191
Contracts.
Assert
(left.Length >= count);
192
Contracts.
Assert
(right.Length >= count);
CpuMathUtils.netcoreapp.cs (49)
41
Contracts.
Assert
(matrix.Size == destination.Size * source.Size);
42
Contracts.
Assert
(stride >= 0);
48
Contracts.
Assert
(stride <= destination.Size);
53
Contracts.
Assert
(stride <= source.Size);
61
Contracts.
Assert
(stride <= destination.Size);
66
Contracts.
Assert
(stride <= source.Size);
74
Contracts.
Assert
(stride <= destination.Size);
88
Contracts.
Assert
(stride <= source.Size);
117
Contracts.
Assert
(iposMin >= 0);
118
Contracts.
Assert
(iposMin <= iposLimit);
119
Contracts.
Assert
(iposLimit <= rgposSrc.Length);
120
Contracts.
Assert
(matrix.Size == destination.Size * sourceValues.Size);
129
Contracts.
Assert
(stride >= 0);
133
Contracts.
Assert
(stride <= destination.Size);
138
Contracts.
Assert
(stride <= destination.Size);
143
Contracts.
Assert
(stride <= destination.Size);
202
Contracts.
Assert
(count > 0);
203
Contracts.
Assert
(count <= source.Length);
204
Contracts.
Assert
(count <= indices.Length);
205
Contracts.
Assert
(count < destination.Length);
238
Contracts.
Assert
(count > 0);
239
Contracts.
Assert
(count <= source.Length);
240
Contracts.
Assert
(count <= indices.Length);
241
Contracts.
Assert
(count < destination.Length);
402
Contracts.
Assert
(count > 0);
403
Contracts.
Assert
(count < left.Length);
404
Contracts.
Assert
(count <= right.Length);
405
Contracts.
Assert
(count <= indices.Length);
439
Contracts.
Assert
(count > 0);
440
Contracts.
Assert
(count <= left.Length);
441
Contracts.
Assert
(count <= right.Length);
456
Contracts.
Assert
(ccol > 0);
457
Contracts.
Assert
(ccol <= cfltRow);
477
Contracts.
Assert
(index >= 0);
478
Contracts.
Assert
(index < c);
496
Contracts.
Assert
(index >= 0);
497
Contracts.
Assert
(index < c);
502
Contracts.
Assert
(ivLogMin > index || index >= ivLogLim);
509
Contracts.
Assert
(index >= ivLogMin);
510
Contracts.
Assert
(index < ivLogLim);
534
Contracts.
Assert
(count > 0);
535
Contracts.
Assert
(count <= source.Length);
536
Contracts.
Assert
(count <= v.Length);
537
Contracts.
Assert
(count <= w.Length);
575
Contracts.
Assert
(count > 0);
576
Contracts.
Assert
(count <= source.Length);
577
Contracts.
Assert
(count <= indices.Length);
578
Contracts.
Assert
(count <= v.Length);
579
Contracts.
Assert
(count <= w.Length);
EigenUtils.cs (1)
20
Contracts.
Assert
(n * n == count);
FactorizationMachine\AvxIntrinsics.cs (2)
52
Contracts.
Assert
(Avx.IsSupported);
153
Contracts.
Assert
(Avx.IsSupported);
FactorizationMachine\FactorizationMachineInterface.cs (2)
19
Contracts.
Assert
(a.Size > 0);
27
Contracts.
Assert
(((long)q & (CbAlign - 1)) == 0);
FactorizationMachine\FactorizationMachineInterface.netcoreapp.cs (5)
20
Contracts.
Assert
(Compat(latentWeights));
21
Contracts.
Assert
(Compat(latentSum));
48
Contracts.
Assert
(Compat(latentSum));
50
Contracts.
Assert
(Compat(latentWeights));
52
Contracts.
Assert
(Compat(latentAccumulatedSquaredGrads));
SseIntrinsics.cs (36)
53
Contracts.
Assert
(alignedArray.Size > 0);
62
Contracts.
Assert
(((long)alignedBase & (Vector128Alignment - 1)) == 0);
143
Contracts.
Assert
(HasCompatibleAlignment(mat));
144
Contracts.
Assert
(HasCompatibleAlignment(src));
145
Contracts.
Assert
(HasCompatibleAlignment(dst));
207
Contracts.
Assert
(HasCompatibleAlignment(mat));
208
Contracts.
Assert
(HasCompatibleAlignment(src));
209
Contracts.
Assert
(HasCompatibleAlignment(dst));
258
Contracts.
Assert
(HasCompatibleAlignment(mat));
259
Contracts.
Assert
(HasCompatibleAlignment(src));
260
Contracts.
Assert
(HasCompatibleAlignment(dst));
489
Contracts.
Assert
(count <= src.Length);
490
Contracts.
Assert
(count <= dst.Length);
559
Contracts.
Assert
(count <= src.Length);
560
Contracts.
Assert
(count <= dst.Length);
600
Contracts.
Assert
(count <= src.Length);
601
Contracts.
Assert
(count <= dst.Length);
602
Contracts.
Assert
(count <= result.Length);
644
Contracts.
Assert
(count <= src.Length);
645
Contracts.
Assert
(count <= dst.Length);
646
Contracts.
Assert
(count <= idx.Length);
683
Contracts.
Assert
(count <= src.Length);
684
Contracts.
Assert
(count <= dst.Length);
720
Contracts.
Assert
(count <= src.Length);
721
Contracts.
Assert
(count <= dst.Length);
722
Contracts.
Assert
(count <= idx.Length);
756
Contracts.
Assert
(count <= src1.Length);
757
Contracts.
Assert
(count <= src2.Length);
758
Contracts.
Assert
(count <= dst.Length);
1076
Contracts.
Assert
(count <= src.Length);
1077
Contracts.
Assert
(count <= dst.Length);
1117
Contracts.
Assert
(count <= src.Length);
1118
Contracts.
Assert
(count <= dst.Length);
1119
Contracts.
Assert
(count <= idx.Length);
1161
Contracts.
Assert
(count <= src.Length);
1162
Contracts.
Assert
(count <= dst.Length);