blob: 845cd40ca1016585e1c847dd13f3cf56cb1586c1 [file] [log] [blame]
Narayan Kamathc981c482012-11-02 10:59:05 +00001// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
3//
4// Copyright (C) 2006-2008 Benoit Jacob <jacob.benoit.1@gmail.com>
5//
6// This Source Code Form is subject to the terms of the Mozilla
7// Public License v. 2.0. If a copy of the MPL was not distributed
8// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9
10#include "product.h"
11
Miao Wang2b8756b2017-03-06 13:45:08 -080012template<typename T>
13void test_aliasing()
14{
15 int rows = internal::random<int>(1,12);
16 int cols = internal::random<int>(1,12);
17 typedef Matrix<T,Dynamic,Dynamic> MatrixType;
18 typedef Matrix<T,Dynamic,1> VectorType;
19 VectorType x(cols); x.setRandom();
20 VectorType z(x);
21 VectorType y(rows); y.setZero();
22 MatrixType A(rows,cols); A.setRandom();
23 // CwiseBinaryOp
24 VERIFY_IS_APPROX(x = y + A*x, A*z); // OK because "y + A*x" is marked as "assume-aliasing"
25 x = z;
26 // CwiseUnaryOp
27 VERIFY_IS_APPROX(x = T(1.)*(A*x), A*z); // OK because 1*(A*x) is replaced by (1*A*x) which is a Product<> expression
28 x = z;
29 // VERIFY_IS_APPROX(x = y-A*x, -A*z); // Not OK in 3.3 because x is resized before A*x gets evaluated
30 x = z;
31}
32
Narayan Kamathc981c482012-11-02 10:59:05 +000033void test_product_large()
34{
35 for(int i = 0; i < g_repeat; i++) {
36 CALL_SUBTEST_1( product(MatrixXf(internal::random<int>(1,EIGEN_TEST_MAX_SIZE), internal::random<int>(1,EIGEN_TEST_MAX_SIZE))) );
37 CALL_SUBTEST_2( product(MatrixXd(internal::random<int>(1,EIGEN_TEST_MAX_SIZE), internal::random<int>(1,EIGEN_TEST_MAX_SIZE))) );
38 CALL_SUBTEST_3( product(MatrixXi(internal::random<int>(1,EIGEN_TEST_MAX_SIZE), internal::random<int>(1,EIGEN_TEST_MAX_SIZE))) );
39 CALL_SUBTEST_4( product(MatrixXcf(internal::random<int>(1,EIGEN_TEST_MAX_SIZE/2), internal::random<int>(1,EIGEN_TEST_MAX_SIZE/2))) );
40 CALL_SUBTEST_5( product(Matrix<float,Dynamic,Dynamic,RowMajor>(internal::random<int>(1,EIGEN_TEST_MAX_SIZE), internal::random<int>(1,EIGEN_TEST_MAX_SIZE))) );
Miao Wang2b8756b2017-03-06 13:45:08 -080041
42 CALL_SUBTEST_1( test_aliasing<float>() );
Narayan Kamathc981c482012-11-02 10:59:05 +000043 }
44
45#if defined EIGEN_TEST_PART_6
46 {
47 // test a specific issue in DiagonalProduct
48 int N = 1000000;
49 VectorXf v = VectorXf::Ones(N);
50 MatrixXf m = MatrixXf::Ones(N,3);
51 m = (v+v).asDiagonal() * m;
52 VERIFY_IS_APPROX(m, MatrixXf::Constant(N,3,2));
53 }
54
55 {
56 // test deferred resizing in Matrix::operator=
57 MatrixXf a = MatrixXf::Random(10,4), b = MatrixXf::Random(4,10), c = a;
58 VERIFY_IS_APPROX((a = a * b), (c * b).eval());
59 }
60
61 {
62 // check the functions to setup blocking sizes compile and do not segfault
63 // FIXME check they do what they are supposed to do !!
64 std::ptrdiff_t l1 = internal::random<int>(10000,20000);
Miao Wang2b8756b2017-03-06 13:45:08 -080065 std::ptrdiff_t l2 = internal::random<int>(100000,200000);
66 std::ptrdiff_t l3 = internal::random<int>(1000000,2000000);
67 setCpuCacheSizes(l1,l2,l3);
Narayan Kamathc981c482012-11-02 10:59:05 +000068 VERIFY(l1==l1CacheSize());
69 VERIFY(l2==l2CacheSize());
70 std::ptrdiff_t k1 = internal::random<int>(10,100)*16;
71 std::ptrdiff_t m1 = internal::random<int>(10,100)*16;
72 std::ptrdiff_t n1 = internal::random<int>(10,100)*16;
73 // only makes sure it compiles fine
Miao Wang2b8756b2017-03-06 13:45:08 -080074 internal::computeProductBlockingSizes<float,float,std::ptrdiff_t>(k1,m1,n1,1);
Narayan Kamathc981c482012-11-02 10:59:05 +000075 }
76
77 {
78 // test regression in row-vector by matrix (bad Map type)
79 MatrixXf mat1(10,32); mat1.setRandom();
80 MatrixXf mat2(32,32); mat2.setRandom();
81 MatrixXf r1 = mat1.row(2)*mat2.transpose();
82 VERIFY_IS_APPROX(r1, (mat1.row(2)*mat2.transpose()).eval());
83
84 MatrixXf r2 = mat1.row(2)*mat2;
85 VERIFY_IS_APPROX(r2, (mat1.row(2)*mat2).eval());
86 }
Miao Wang2b8756b2017-03-06 13:45:08 -080087
88 {
89 Eigen::MatrixXd A(10,10), B, C;
90 A.setRandom();
91 C = A;
92 for(int k=0; k<79; ++k)
93 C = C * A;
94 B.noalias() = (((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A)) * ((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A)))
95 * (((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A)) * ((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A))*((A*A)*(A*A)));
96 VERIFY_IS_APPROX(B,C);
97 }
98#endif
99
100 // Regression test for bug 714:
101#if defined EIGEN_HAS_OPENMP
102 omp_set_dynamic(1);
103 for(int i = 0; i < g_repeat; i++) {
104 CALL_SUBTEST_6( product(Matrix<float,Dynamic,Dynamic>(internal::random<int>(1,EIGEN_TEST_MAX_SIZE), internal::random<int>(1,EIGEN_TEST_MAX_SIZE))) );
105 }
Narayan Kamathc981c482012-11-02 10:59:05 +0000106#endif
107}