Home
last modified time | relevance | path

Searched refs:VERIFY (Results 1 – 25 of 164) sorted by relevance

1234567

/external/eigen/test/
Dmeta.cpp14 VERIFY((internal::conditional<(3<4),internal::true_type, internal::false_type>::type::value)); in test_meta()
15 VERIFY(( internal::is_same<float,float>::value)); in test_meta()
16 VERIFY((!internal::is_same<float,double>::value)); in test_meta()
17 VERIFY((!internal::is_same<float,float&>::value)); in test_meta()
18 VERIFY((!internal::is_same<float,const float&>::value)); in test_meta()
20 VERIFY(( internal::is_same<float,internal::remove_all<const float&>::type >::value)); in test_meta()
21 VERIFY(( internal::is_same<float,internal::remove_all<const float*>::type >::value)); in test_meta()
22 VERIFY(( internal::is_same<float,internal::remove_all<const float*&>::type >::value)); in test_meta()
23 VERIFY(( internal::is_same<float,internal::remove_all<float**>::type >::value)); in test_meta()
24 VERIFY(( internal::is_same<float,internal::remove_all<float**&>::type >::value)); in test_meta()
[all …]
Dzerosized.cpp15 VERIFY(m.all()); in zeroReduction()
16 VERIFY(!m.any()); in zeroReduction()
17 VERIFY(m.prod()==1); in zeroReduction()
18 VERIFY(m.sum()==0); in zeroReduction()
19 VERIFY(m.count()==0); in zeroReduction()
20 VERIFY(m.allFinite()); in zeroReduction()
21 VERIFY(!m.hasNaN()); in zeroReduction()
33 VERIFY(t1.rows() == 0); in zeroSizedMatrix()
35 VERIFY(t1.cols() == 0); in zeroSizedMatrix()
41 VERIFY(t2.rows() == 0); in zeroSizedMatrix()
[all …]
Dvectorization_logic.cpp113 VERIFY(test_assign(Vector1(),Vector1(), in run()
115 VERIFY(test_assign(Vector1(),Vector1()+Vector1(), in run()
117 VERIFY(test_assign(Vector1(),Vector1().cwiseProduct(Vector1()), in run()
119 VERIFY(test_assign(Vector1(),Vector1().template cast<Scalar>(), in run()
123 VERIFY(test_assign(Vector1(),Vector1(), in run()
125 VERIFY(test_assign(Vector1(),Vector1()+Vector1(), in run()
127 VERIFY(test_assign(Vector1(),Vector1().cwiseProduct(Vector1()), in run()
130 VERIFY(test_assign(Matrix44(),Matrix44()+Matrix44(), in run()
133 VERIFY(test_assign(Matrix44u(),Matrix44()+Matrix44(), in run()
136 VERIFY(test_assign(Matrix1u(),Matrix1()+Matrix1(), in run()
[all …]
Dsparse_permutations.cpp49 VERIFY(res.isApprox(res_d) && "mat*p"); in sparse_permutations()
53 VERIFY(res.isApprox(res_d) && "p*mat"); in sparse_permutations()
57 VERIFY(res.isApprox(res_d) && "mat*inv(p)"); in sparse_permutations()
61 VERIFY(res.isApprox(res_d) && "inv(p)*mat"); in sparse_permutations()
65 VERIFY(res.isApprox(res_d) && "p*mat*inv(p)"); in sparse_permutations()
70 VERIFY(res.isApprox(res_d) && "full selfadjoint upper to full"); in sparse_permutations()
74 VERIFY(res.isApprox(res_d) && "full selfadjoint lower to full"); in sparse_permutations()
79 VERIFY(res.isApprox(res_d) && "upper selfadjoint to full"); in sparse_permutations()
83 VERIFY(res.isApprox(res_d) && "lower selfadjoint full"); in sparse_permutations()
88 VERIFY(res.isApprox(res_d) && "full selfadjoint upper to full"); in sparse_permutations()
[all …]
Dspecial_numbers.cpp35 VERIFY(!m1.hasNaN()); in special_numbers()
36 VERIFY(m1.allFinite()); in special_numbers()
38 VERIFY(mnan.hasNaN()); in special_numbers()
39 VERIFY((s1*mnan).hasNaN()); in special_numbers()
40 VERIFY(!minf.hasNaN()); in special_numbers()
41 VERIFY(!(2*minf).hasNaN()); in special_numbers()
42 VERIFY(mboth.hasNaN()); in special_numbers()
43 VERIFY(mboth.array().hasNaN()); in special_numbers()
45 VERIFY(!mnan.allFinite()); in special_numbers()
46 VERIFY(!minf.allFinite()); in special_numbers()
[all …]
Dtriangular.cpp38 VERIFY(m1up.isUpperTriangular()); in triangular_square()
39 VERIFY(m2up.transpose().isLowerTriangular()); in triangular_square()
40 VERIFY(!m2.isLowerTriangular()); in triangular_square()
73 …VERIFY(v2.isApprox(m3.adjoint() * (m1.adjoint().template triangularView<Lower>().solve(v2)), large… in triangular_square()
75 …VERIFY(v2.isApprox(m3.transpose() * (m1.transpose().template triangularView<Upper>().solve(v2)), l… in triangular_square()
77 VERIFY(v2.isApprox(m3 * (m1.template triangularView<Upper>().solve(v2)), largerEps)); in triangular_square()
79 …VERIFY(v2.isApprox(m3.conjugate() * (m1.conjugate().template triangularView<Lower>().solve(v2)), l… in triangular_square()
83 …VERIFY(m2.isApprox(m3.adjoint() * (m1.adjoint().template triangularView<Lower>().solve(m2)), large… in triangular_square()
85 …VERIFY(m2.isApprox(m3.transpose() * (m1.transpose().template triangularView<Upper>().solve(m2)), l… in triangular_square()
87 VERIFY(m2.isApprox(m3 * (m1.template triangularView<Upper>().solve(m2)), largerEps)); in triangular_square()
[all …]
Ddynalloc.cpp23 VERIFY(size_t(p)%ALIGNMENT==0); in check_handmade_aligned_malloc()
35 VERIFY(size_t(p)%ALIGNMENT==0); in check_aligned_malloc()
47 VERIFY(size_t(p)%ALIGNMENT==0); in check_aligned_new()
59 VERIFY(size_t(p)%ALIGNMENT==0); in check_aligned_stack_alloc()
85 VERIFY(T::NeedsToAlign==1); in check_dynaligned()
86 VERIFY(size_t(obj)%ALIGNMENT==0); in check_dynaligned()
110 MyStruct foo0; VERIFY(size_t(foo0.avec.data())%ALIGNMENT==0); in test_dynalloc()
111 MyClassA fooA; VERIFY(size_t(fooA.avec.data())%ALIGNMENT==0); in test_dynalloc()
117 MyStruct *foo0 = new MyStruct(); VERIFY(size_t(foo0->avec.data())%ALIGNMENT==0); in test_dynalloc()
118 MyClassA *fooA = new MyClassA(); VERIFY(size_t(fooA->avec.data())%ALIGNMENT==0); in test_dynalloc()
[all …]
Dproduct_trmv.cpp34 VERIFY((m3 * v1).isApprox(m1.template triangularView<Eigen::Lower>() * v1, largerEps)); in trmv()
36 VERIFY((m3 * v1).isApprox(m1.template triangularView<Eigen::Upper>() * v1, largerEps)); in trmv()
38 VERIFY((m3 * v1).isApprox(m1.template triangularView<Eigen::UnitLower>() * v1, largerEps)); in trmv()
40 VERIFY((m3 * v1).isApprox(m1.template triangularView<Eigen::UnitUpper>() * v1, largerEps)); in trmv()
44 …VERIFY(((s1*m3).conjugate() * v1).isApprox((s1*m1).conjugate().template triangularView<Eigen::Lowe… in trmv()
46 …VERIFY((m3.conjugate() * v1.conjugate()).isApprox(m1.conjugate().template triangularView<Eigen::Up… in trmv()
50 …VERIFY((m3.transpose() * v1).isApprox(m1.transpose().template triangularView<Eigen::Lower>() * v1,… in trmv()
52 …VERIFY((m3.transpose() * v1).isApprox(m1.transpose().template triangularView<Eigen::Upper>() * v1,… in trmv()
54 …VERIFY((m3.transpose() * v1).isApprox(m1.transpose().template triangularView<Eigen::UnitLower>() *… in trmv()
56 …VERIFY((m3.transpose() * v1).isApprox(m1.transpose().template triangularView<Eigen::UnitUpper>() *… in trmv()
[all …]
Dbasicstuff.cpp101 VERIFY(m1==m1); in basicStuff()
102 VERIFY(m1!=m2); in basicStuff()
103 VERIFY(!(m1==m2)); in basicStuff()
104 VERIFY(!(m1!=m1)); in basicStuff()
106 VERIFY(m1==m2); in basicStuff()
107 VERIFY(!(m1!=m2)); in basicStuff()
144 VERIFY(numext::real(s1)==numext::real_ref(s1)); in basicStuffComplex()
145 VERIFY(numext::imag(s1)==numext::imag_ref(s1)); in basicStuffComplex()
148 VERIFY(internal::isApprox(s1, s2, NumTraits<RealScalar>::epsilon())); in basicStuffComplex()
165 VERIFY(static_cast<const MatrixType&>(cm).real().isZero()); in basicStuffComplex()
[all …]
Dlu.cpp54 VERIFY((MatrixType::Zero(rows,cols).fullPivLu().image(MatrixType::Zero(rows,cols)).cols() == 1)); in lu_non_invertible()
80 VERIFY(rank == lu.rank()); in lu_non_invertible()
81 VERIFY(cols - lu.rank() == lu.dimensionOfKernel()); in lu_non_invertible()
82 VERIFY(!lu.isInjective()); in lu_non_invertible()
83 VERIFY(!lu.isInvertible()); in lu_non_invertible()
84 VERIFY(!lu.isSurjective()); in lu_non_invertible()
85 VERIFY((m1 * m1kernel).isMuchSmallerThan(m1)); in lu_non_invertible()
86 VERIFY(m1image.fullPivLu().rank() == rank); in lu_non_invertible()
116 VERIFY(0 == lu.dimensionOfKernel()); in lu_invertible()
117 VERIFY(lu.kernel().cols() == 1); // the kernel() should consist of a single (zero) column vector in lu_invertible()
[all …]
Dmapstride.cpp33 VERIFY(array[3*i] == v[i]); in map_class_vector()
34 VERIFY(map[i] == v[i]); in map_class_vector()
43 VERIFY(array[2*i] == v[i]); in map_class_vector()
44 VERIFY(map[i] == v[i]); in map_class_vector()
71 VERIFY(map.outerStride() == map.innerSize()+1); in map_class_matrix()
75 VERIFY(array[map.outerStride()*i+j] == m.coeffByOuterInner(i,j)); in map_class_matrix()
76 VERIFY(map.coeffByOuterInner(i,j) == m.coeffByOuterInner(i,j)); in map_class_matrix()
90 VERIFY(map.outerStride() == map.innerSize()+4); in map_class_matrix()
94 VERIFY(array[map.outerStride()*i+j] == m.coeffByOuterInner(i,j)); in map_class_matrix()
95 VERIFY(map.coeffByOuterInner(i,j) == m.coeffByOuterInner(i,j)); in map_class_matrix()
[all …]
Dcwiseop.cpp104 VERIFY(mzero.isZero()); in cwiseops()
105 VERIFY(mones.isOnes()); in cwiseops()
106 VERIFY(m3.isConstant(s1)); in cwiseops()
107 VERIFY(identity.isIdentity()); in cwiseops()
152 VERIFY( (m1.cwise() == m1).all() ); in cwiseops()
153 VERIFY( (m1.cwise() != m2).any() ); in cwiseops()
154 VERIFY(!(m1.cwise() == (m1+mones)).any() ); in cwiseops()
159 VERIFY( (m1.cwise() == m3).any() ); in cwiseops()
160 VERIFY( !(m1.cwise() == m3).all() ); in cwiseops()
162 VERIFY( (m1.cwise().min(m2).cwise() <= m2).all() ); in cwiseops()
[all …]
Dpacketmath.cpp57 VERIFY(areApprox(ref, data2, PacketSize) && #POP); \
64 VERIFY(areApprox(ref, data2, PacketSize) && #POP); \
92 VERIFY(areApprox(ref, data2, PacketSize) && #POP); \
121 VERIFY(areApprox(data1, data2, PacketSize) && "aligned load/store"); in packetmath()
126 VERIFY(areApprox(data1+offset, data2, PacketSize) && "internal::ploadu"); in packetmath()
132 VERIFY(areApprox(data1, data2+offset, PacketSize) && "internal::pstoreu"); in packetmath()
148 VERIFY(areApprox(ref, data2, PacketSize) && "internal::palign"); in packetmath()
166 VERIFY(areApprox(ref, data2, PacketSize) && "internal::pset1"); in packetmath()
169 …VERIFY(internal::isApprox(data1[0], internal::pfirst(internal::pload<Packet>(data1))) && "internal… in packetmath()
178 VERIFY(areApprox(ref, data2, PacketSize) && "ploaddup"); in packetmath()
[all …]
Dinteger_types.cpp15 #define VERIFY_IS_APPROX(a, b) VERIFY((a)==(b));
17 #define VERIFY_IS_NOT_APPROX(a, b) VERIFY((a)!=(b));
25 VERIFY(is_signed == 1); in signed_integer_type_tests()
55 VERIFY(NumTraits<Scalar>::IsInteger); in integer_type_tests()
57 VERIFY(int(NumTraits<Scalar>::IsSigned) == is_signed); in integer_type_tests()
102 VERIFY(m1==m1); in integer_type_tests()
103 VERIFY(m1!=m2); in integer_type_tests()
104 VERIFY(!(m1==m2)); in integer_type_tests()
105 VERIFY(!(m1!=m1)); in integer_type_tests()
107 VERIFY(m1==m2); in integer_type_tests()
[all …]
Dqr_colpivoting.cpp26 VERIFY(rank == qr.rank()); in qr()
27 VERIFY(cols - qr.rank() == qr.dimensionOfKernel()); in qr()
28 VERIFY(!qr.isInjective()); in qr()
29 VERIFY(!qr.isInvertible()); in qr()
30 VERIFY(!qr.isSurjective()); in qr()
54 VERIFY(rank == qr.rank()); in qr_fixedsize()
55 VERIFY(Cols - qr.rank() == qr.dimensionOfKernel()); in qr_fixedsize()
56 VERIFY(qr.isInjective() == (rank == Rows)); in qr_fixedsize()
57 VERIFY(qr.isSurjective() == (rank == Cols)); in qr_fixedsize()
58 VERIFY(qr.isInvertible() == (qr.isInjective() && qr.isSurjective())); in qr_fixedsize()
Dqr_fullpivoting.cpp26 VERIFY(rank == qr.rank()); in qr()
27 VERIFY(cols - qr.rank() == qr.dimensionOfKernel()); in qr()
28 VERIFY(!qr.isInjective()); in qr()
29 VERIFY(!qr.isInvertible()); in qr()
30 VERIFY(!qr.isSurjective()); in qr()
71 VERIFY(qr.isInjective()); in qr_invertible()
72 VERIFY(qr.isInvertible()); in qr_invertible()
73 VERIFY(qr.isSurjective()); in qr_invertible()
/external/eigen/test/eigen2/
Deigen2_meta.cpp17 VERIFY((ei_meta_if<(3<4),ei_meta_true, ei_meta_false>::ret::ret)); in test_eigen2_meta()
18 VERIFY(( ei_is_same_type<float,float>::ret)); in test_eigen2_meta()
19 VERIFY((!ei_is_same_type<float,double>::ret)); in test_eigen2_meta()
20 VERIFY((!ei_is_same_type<float,float&>::ret)); in test_eigen2_meta()
21 VERIFY((!ei_is_same_type<float,const float&>::ret)); in test_eigen2_meta()
23 VERIFY(( ei_is_same_type<float,ei_cleantype<const float&>::type >::ret)); in test_eigen2_meta()
24 VERIFY(( ei_is_same_type<float,ei_cleantype<const float*>::type >::ret)); in test_eigen2_meta()
25 VERIFY(( ei_is_same_type<float,ei_cleantype<const float*&>::type >::ret)); in test_eigen2_meta()
26 VERIFY(( ei_is_same_type<float,ei_cleantype<float**>::type >::ret)); in test_eigen2_meta()
27 VERIFY(( ei_is_same_type<float,ei_cleantype<float**&>::type >::ret)); in test_eigen2_meta()
[all …]
Deigen2_lu.cpp56 VERIFY(rank == lu.rank()); in lu_non_invertible()
57 VERIFY(cols - lu.rank() == lu.dimensionOfKernel()); in lu_non_invertible()
58 VERIFY(!lu.isInjective()); in lu_non_invertible()
59 VERIFY(!lu.isInvertible()); in lu_non_invertible()
60 VERIFY(lu.isSurjective() == (lu.rank() == rows)); in lu_non_invertible()
61 VERIFY((m1 * m1kernel).isMuchSmallerThan(m1)); in lu_non_invertible()
62 VERIFY(m1image.lu().rank() == rank); in lu_non_invertible()
65 VERIFY(sidebyside.lu().rank() == rank); in lu_non_invertible()
96 VERIFY(0 == lu.dimensionOfKernel()); in lu_invertible()
97 VERIFY(size == lu.rank()); in lu_invertible()
[all …]
Deigen2_dynalloc.cpp23 VERIFY(std::size_t(p)%ALIGNMENT==0); in check_handmade_aligned_malloc()
35 VERIFY(std::size_t(p)%ALIGNMENT==0); in check_aligned_malloc()
47 VERIFY(std::size_t(p)%ALIGNMENT==0); in check_aligned_new()
59 VERIFY(std::size_t(p)%ALIGNMENT==0); in check_aligned_stack_alloc()
85 VERIFY(std::size_t(obj)%ALIGNMENT==0); in check_dynaligned()
108 MyStruct foo0; VERIFY(std::size_t(foo0.avec.data())%ALIGNMENT==0); in test_eigen2_dynalloc()
109 MyClassA fooA; VERIFY(std::size_t(fooA.avec.data())%ALIGNMENT==0); in test_eigen2_dynalloc()
115 MyStruct *foo0 = new MyStruct(); VERIFY(std::size_t(foo0->avec.data())%ALIGNMENT==0); in test_eigen2_dynalloc()
116 MyClassA *fooA = new MyClassA(); VERIFY(std::size_t(fooA->avec.data())%ALIGNMENT==0); in test_eigen2_dynalloc()
125 MyStruct *foo0 = new MyStruct[N]; VERIFY(std::size_t(foo0->avec.data())%ALIGNMENT==0); in test_eigen2_dynalloc()
[all …]
Deigen2_triangular.cpp34 VERIFY(m1up.isUpperTriangular()); in triangular()
35 VERIFY(m2up.transpose().isLowerTriangular()); in triangular()
36 VERIFY(!m2.isLowerTriangular()); in triangular()
68 …VERIFY(m3.template marked<Eigen::LowerTriangular>().solveTriangular(m3).cwise().abs().isIdentity(t… in triangular()
69 VERIFY(m3.transpose().template marked<Eigen::UpperTriangular>() in triangular()
74 VERIFY(m4.cwise().abs().isIdentity(test_precision<RealScalar>())); in triangular()
77 …VERIFY(m3.template marked<Eigen::UpperTriangular>().solveTriangular(m3).cwise().abs().isIdentity(t… in triangular()
78 VERIFY(m3.transpose().template marked<Eigen::LowerTriangular>() in triangular()
83 VERIFY(m4.cwise().abs().isIdentity(test_precision<RealScalar>())); in triangular()
86 …VERIFY(m2.isApprox(m3 * (m3.template marked<Eigen::UpperTriangular>().solveTriangular(m2)), larger… in triangular()
[all …]
Deigen2_cwiseop.cpp57 VERIFY(mzero.isZero()); in cwiseops()
58 VERIFY(mones.isOnes()); in cwiseops()
59 VERIFY(m3.isConstant(s1)); in cwiseops()
60 VERIFY(identity.isIdentity()); in cwiseops()
125 VERIFY( (m1.cwise() == m1).all() ); in cwiseops()
126 VERIFY( (m1.cwise() != m2).any() ); in cwiseops()
127 VERIFY(!(m1.cwise() == (m1+mones)).any() ); in cwiseops()
132 VERIFY( (m1.cwise() == m3).any() ); in cwiseops()
133 VERIFY( !(m1.cwise() == m3).all() ); in cwiseops()
135 VERIFY( (m1.cwise().min(m2).cwise() <= m2).all() ); in cwiseops()
[all …]
Deigen2_packetmath.cpp25 VERIFY(areApprox(ref, data2, PacketSize) && #POP); \
60 VERIFY(areApprox(data1, data2, PacketSize) && "aligned load/store"); in packetmath()
65 VERIFY(areApprox(data1+offset, data2, PacketSize) && "ei_ploadu"); in packetmath()
71 VERIFY(areApprox(data1, data2+offset, PacketSize) && "ei_pstoreu"); in packetmath()
88 VERIFY(areApprox(ref, data2, PacketSize) && "ei_palign"); in packetmath()
104 VERIFY(areApprox(ref, data2, PacketSize) && "ei_pset1"); in packetmath()
106 VERIFY(ei_isApprox(data1[0], ei_pfirst(ei_pload(data1))) && "ei_pfirst"); in packetmath()
111 VERIFY(ei_isApprox(ref[0], ei_predux(ei_pload(data1))) && "ei_predux"); in packetmath()
121 VERIFY(areApprox(ref, data2, PacketSize) && "ei_preduxp"); in packetmath()
/external/eigen/unsupported/test/
Dpolynomialsolver.cpp67 VERIFY( evalToZero || !distinctModuli ); in aux_evalSolver()
112 VERIFY( calc_realRoots.size() == (size_t)real_roots.size() ); in evalSolverSugarFunction()
124 VERIFY( found ); in evalSolverSugarFunction()
128 VERIFY( internal::isApprox( roots.array().abs().maxCoeff(), in evalSolverSugarFunction()
132 VERIFY( internal::isApprox( roots.array().abs().minCoeff(), in evalSolverSugarFunction()
138 VERIFY( hasRealRoot == (real_roots.size() > 0 ) ); in evalSolverSugarFunction()
140 VERIFY( internal::isApprox( real_roots.array().abs().maxCoeff(), abs(r), psPrec ) ); } in evalSolverSugarFunction()
144 VERIFY( hasRealRoot == (real_roots.size() > 0 ) ); in evalSolverSugarFunction()
146 VERIFY( internal::isApprox( real_roots.array().abs().minCoeff(), abs( r ), psPrec ) ); } in evalSolverSugarFunction()
150 VERIFY( hasRealRoot == (real_roots.size() > 0 ) ); in evalSolverSugarFunction()
[all …]
DFFTW.cpp95 VERIFY((size_t)freqBuf.size() == (size_t)( (nfft>>1)+1) ); in test_scalar_generic()
96 VERIFY( fft_rmse(freqBuf,tbuf) < test_precision<T>() );// gross check in test_scalar_generic()
100 VERIFY( (size_t)freqBuf.size() == (size_t)nfft); in test_scalar_generic()
101 VERIFY( fft_rmse(freqBuf,tbuf) < test_precision<T>() );// gross check in test_scalar_generic()
108 VERIFY( dif_rmse(tbuf,tbuf2) < test_precision<T>() );// gross check in test_scalar_generic()
124 VERIFY( dif_rmse(tbuf,tbuf3) < test_precision<T>() );// gross check in test_scalar_generic()
129 VERIFY( dif_rmse(tbuf,tbuf2) < test_precision<T>() );// gross check in test_scalar_generic()
155 VERIFY( fft_rmse(outbuf,inbuf) < test_precision<T>() );// gross check in test_complex_generic()
158 VERIFY( dif_rmse(inbuf,buf3) < test_precision<T>() );// gross check in test_complex_generic()
166 VERIFY( dif_rmse(inbuf,buf4) < test_precision<T>() );// gross check in test_complex_generic()
[all …]
/external/llvm/test/Other/
Dnew-pass-manager.ll55 ; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-VERIFY
56 ; CHECK-MODULE-VERIFY: Starting pass manager
57 ; CHECK-MODULE-VERIFY: Running pass: PrintModulePass
58 ; CHECK-MODULE-VERIFY: ModuleID
59 ; CHECK-MODULE-VERIFY: define void @foo()
60 ; CHECK-MODULE-VERIFY: Running pass: VerifierPass
61 ; CHECK-MODULE-VERIFY: Finished pass manager
78 ; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-VERIFY
79 ; CHECK-FUNCTION-VERIFY: Starting pass manager
80 ; CHECK-FUNCTION-VERIFY: Starting pass manager
[all …]

1234567