312 references to Contracts
Microsoft.ML.CpuMath (312)
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 (59)
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);
131
Contracts
.AssertValue(rand);
151
Contracts
.AssertValue(dst);
152
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - _size);
167
Contracts
.AssertValue(dst);
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);
181
Contracts
.AssertValue(src);
182
Contracts
.Assert(0 <= index && index <= src.Length - _size);
197
Contracts
.AssertValue(src);
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);
210
Contracts
.AssertValue(src);
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);
358
Contracts
.AssertValue(rand);
361
Contracts
.Assert(k == i * RunLenPhy);
383
Contracts
.AssertValue(src);
385
Contracts
.Assert(src.RunLen == RunLen);
386
Contracts
.Assert(src.RunCnt == RunCnt);
387
Contracts
.Assert(src.RunLenPhy == RunLenPhy);
388
Contracts
.Assert(src.RunCntPhy == RunCntPhy);
432
Contracts
.AssertValue(dst);
433
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ValueCount);
461
Contracts
.AssertValue(src);
462
Contracts
.Assert(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
538
Contracts
.AssertValue(dst);
539
Contracts
.Assert(0 <= row && row < RowCount);
540
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ColCount);
552
Contracts
.AssertValue(indices);
602
Contracts
.AssertValue(dst);
603
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ValueCount);
620
Contracts
.AssertValue(dst);
621
Contracts
.Assert(0 <= row && row < RowCount);
622
Contracts
.Assert(0 <= ivDst && ivDst <= dst.Length - ColCount);
635
Contracts
.AssertValue(src);
636
Contracts
.Assert(0 <= ivSrc && ivSrc <= src.Length - ValueCount);
650
Contracts
.AssertValue(indices);
AvxIntrinsics.cs (45)
57
Contracts
.AssertValue(alignedArray);
58
Contracts
.Assert(alignedArray.Size > 0);
65
Contracts
.AssertValue(alignedArray);
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 (8)
21
Contracts
.AssertValue(mat);
22
Contracts
.Assert((mat.Items.CbAlign % CpuMathUtils.GetVectorAlignment()) == 0);
34
Contracts
.AssertValue(vec);
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 (39)
23
Contracts
.AssertNonEmpty(destination);
35
Contracts
.AssertNonEmpty(destination);
50
Contracts
.AssertNonEmpty(source);
51
Contracts
.AssertNonEmpty(destination);
52
Contracts
.Assert(count > 0);
53
Contracts
.Assert(count <= source.Length);
54
Contracts
.Assert(count <= destination.Length);
69
Contracts
.AssertNonEmpty(source);
70
Contracts
.AssertNonEmpty(destination);
71
Contracts
.Assert(count > 0);
72
Contracts
.Assert(count <= source.Length);
73
Contracts
.Assert(count <= destination.Length);
89
Contracts
.AssertNonEmpty(source);
90
Contracts
.AssertNonEmpty(destination);
91
Contracts
.AssertNonEmpty(result);
92
Contracts
.Assert(count > 0);
93
Contracts
.Assert(count <= source.Length);
94
Contracts
.Assert(count <= destination.Length);
95
Contracts
.Assert(count <= result.Length);
109
Contracts
.AssertNonEmpty(source);
110
Contracts
.AssertNonEmpty(destination);
111
Contracts
.Assert(count > 0);
112
Contracts
.Assert(count <= source.Length);
113
Contracts
.Assert(count <= destination.Length);
128
Contracts
.AssertNonEmpty(left);
129
Contracts
.AssertNonEmpty(right);
130
Contracts
.AssertNonEmpty(destination);
131
Contracts
.Assert(count > 0);
132
Contracts
.Assert(count <= left.Length);
133
Contracts
.Assert(count <= right.Length);
134
Contracts
.Assert(count <= destination.Length);
147
Contracts
.AssertNonEmpty(source);
160
Contracts
.AssertNonEmpty(source);
173
Contracts
.AssertNonEmpty(source);
188
Contracts
.AssertNonEmpty(left);
189
Contracts
.AssertNonEmpty(right);
190
Contracts
.Assert(count > 0);
191
Contracts
.Assert(left.Length >= count);
192
Contracts
.Assert(right.Length >= count);
CpuMathUtils.netcoreapp.cs (73)
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);
128
Contracts
.AssertNonEmpty(rgposSrc);
129
Contracts
.Assert(stride >= 0);
133
Contracts
.Assert(stride <= destination.Size);
138
Contracts
.Assert(stride <= destination.Size);
143
Contracts
.Assert(stride <= destination.Size);
169
Contracts
.AssertNonEmpty(destination);
199
Contracts
.AssertNonEmpty(source);
200
Contracts
.AssertNonEmpty(indices);
201
Contracts
.AssertNonEmpty(destination);
202
Contracts
.Assert(count > 0);
203
Contracts
.Assert(count <= source.Length);
204
Contracts
.Assert(count <= indices.Length);
205
Contracts
.Assert(count < destination.Length);
235
Contracts
.AssertNonEmpty(source);
236
Contracts
.AssertNonEmpty(indices);
237
Contracts
.AssertNonEmpty(destination);
238
Contracts
.Assert(count > 0);
239
Contracts
.Assert(count <= source.Length);
240
Contracts
.Assert(count <= indices.Length);
241
Contracts
.Assert(count < destination.Length);
270
Contracts
.AssertNonEmpty(source);
300
Contracts
.AssertNonEmpty(source);
329
Contracts
.AssertNonEmpty(source);
363
Contracts
.AssertNonEmpty(source);
399
Contracts
.AssertNonEmpty(left);
400
Contracts
.AssertNonEmpty(right);
401
Contracts
.AssertNonEmpty(indices);
402
Contracts
.Assert(count > 0);
403
Contracts
.Assert(count < left.Length);
404
Contracts
.Assert(count <= right.Length);
405
Contracts
.Assert(count <= indices.Length);
437
Contracts
.AssertNonEmpty(left);
438
Contracts
.AssertNonEmpty(right);
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);
531
Contracts
.AssertNonEmpty(source);
532
Contracts
.AssertNonEmpty(v);
533
Contracts
.AssertNonEmpty(w);
534
Contracts
.Assert(count > 0);
535
Contracts
.Assert(count <= source.Length);
536
Contracts
.Assert(count <= v.Length);
537
Contracts
.Assert(count <= w.Length);
571
Contracts
.AssertNonEmpty(source);
572
Contracts
.AssertNonEmpty(indices);
573
Contracts
.AssertNonEmpty(v);
574
Contracts
.AssertNonEmpty(w);
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 (4)
18
Contracts
.AssertValue(a);
19
Contracts
.Assert(a.Size > 0);
25
Contracts
.AssertValue(a);
27
Contracts
.Assert(((long)q & (CbAlign - 1)) == 0);
FactorizationMachine\FactorizationMachineInterface.netcoreapp.cs (14)
16
Contracts
.AssertNonEmpty(fieldIndices);
17
Contracts
.AssertNonEmpty(featureValues);
18
Contracts
.AssertNonEmpty(featureIndices);
19
Contracts
.AssertNonEmpty(linearWeights);
20
Contracts
.Assert(Compat(latentWeights));
21
Contracts
.Assert(Compat(latentSum));
45
Contracts
.AssertNonEmpty(fieldIndices);
46
Contracts
.AssertNonEmpty(featureIndices);
47
Contracts
.AssertNonEmpty(featureValues);
48
Contracts
.Assert(Compat(latentSum));
49
Contracts
.AssertNonEmpty(linearWeights);
50
Contracts
.Assert(Compat(latentWeights));
51
Contracts
.AssertNonEmpty(linearAccumulatedSquaredGrads);
52
Contracts
.Assert(Compat(latentAccumulatedSquaredGrads));
ProbabilityFunctions.cs (1)
122
Contracts
.CheckParam(0 <= p && p <= 1, nameof(p), "Input probability should be in range 0 to 1.");
src\Microsoft.ML.Core\Utilities\Contracts.cs (1)
74
Contracts
.Assert(false, "Format string arg mismatch: " + ex.Message);
SseIntrinsics.cs (38)
52
Contracts
.AssertValue(alignedArray);
53
Contracts
.Assert(alignedArray.Size > 0);
60
Contracts
.AssertValue(alignedArray);
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);