1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
// Copyright 2019 Oath Inc. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
#include <vespa/vespalib/testkit/test_kit.h>
#include <vespa/eval/eval/tensor_function.h>
#include <vespa/eval/eval/simple_tensor.h>
#include <vespa/eval/eval/simple_tensor_engine.h>
#include <vespa/eval/tensor/default_tensor_engine.h>
#include <vespa/eval/tensor/dense/dense_tensor_peek_function.h>
#include <vespa/eval/tensor/dense/dense_tensor.h>
#include <vespa/eval/eval/test/tensor_model.hpp>
#include <vespa/eval/eval/test/eval_fixture.h>
#include <vespa/vespalib/util/stringfmt.h>
#include <vespa/vespalib/util/stash.h>
using namespace vespalib;
using namespace vespalib::eval;
using namespace vespalib::eval::test;
using namespace vespalib::tensor;
using namespace vespalib::eval::tensor_function;
const TensorEngine &prod_engine = DefaultTensorEngine::ref();
EvalFixture::ParamRepo make_params() {
return EvalFixture::ParamRepo()
.add("a", spec(1.0))
.add("b", spec(2.0))
.add("c", spec(3.0))
.add("x3", spec(x(3), N()))
.add("x3f", spec(float_cells({x(3)}), N()))
.add("x3y2", spec({x(3),y(2)}, N()))
.add("x3y2f", spec(float_cells({x(3),y(2)}), N()))
.add("xm", spec(x({"1","2","3","-1","-2","-3"}), N()))
.add("xmy2", spec({x({"1","2","3"}), y(2)}, N()));
}
EvalFixture::ParamRepo param_repo = make_params();
void verify(const vespalib::string &expr, double expect, size_t expect_optimized_cnt, size_t expect_not_optimized_cnt) {
EvalFixture fixture(prod_engine, expr, param_repo, true);
auto expect_spec = TensorSpec("double").add({}, expect);
EXPECT_EQUAL(EvalFixture::ref(expr, param_repo), expect_spec);
EXPECT_EQUAL(fixture.result(), expect_spec);
auto info = fixture.find_all<DenseTensorPeekFunction>();
EXPECT_EQUAL(info.size(), expect_optimized_cnt);
for (size_t i = 0; i < info.size(); ++i) {
EXPECT_TRUE(info[i]->result_is_mutable());
}
EXPECT_EQUAL(fixture.find_all<Peek>().size(), expect_not_optimized_cnt);
}
//-----------------------------------------------------------------------------
TEST("require that tensor peek can be optimized for dense tensors") {
TEST_DO(verify("x3{x:0}", 1.0, 1, 0));
TEST_DO(verify("x3{x:(a)}", 2.0, 1, 0));
TEST_DO(verify("x3f{x:(c-1)}", 3.0, 1, 0));
TEST_DO(verify("x3{x:(c+5)}", 0.0, 1, 0));
TEST_DO(verify("x3{x:(a-2)}", 0.0, 1, 0));
TEST_DO(verify("x3y2{x:(a),y:(a-1)}", 3.0, 1, 0));
TEST_DO(verify("x3y2f{x:1,y:(a)}", 4.0, 1, 0));
TEST_DO(verify("x3y2f{x:(a-1),y:(b)}", 0.0, 1, 0));
}
TEST("require that tensor peek is not optimized for sparse tensor") {
TEST_DO(verify("xm{x:1}", 1.0, 0, 1));
TEST_DO(verify("xm{x:(c)}", 3.0, 0, 1));
TEST_DO(verify("xm{x:(c+1)}", 0.0, 0, 1));
}
TEST("require that tensor peek is not optimized for mixed tensor") {
TEST_DO(verify("xmy2{x:3,y:1}", 6.0, 0, 1));
TEST_DO(verify("xmy2{x:(c),y:(a)}", 6.0, 0, 1));
TEST_DO(verify("xmy2{x:(a),y:(b)}", 0.0, 0, 1));
}
TEST("require that indexes are rounded to nearest integer") {
TEST_DO(verify("x3{x:(a-0.3)}", 2.0, 1, 0));
TEST_DO(verify("x3{x:(a+0.3)}", 2.0, 1, 0));
TEST_DO(verify("xm{x:(a-0.3)}", 1.0, 0, 1));
TEST_DO(verify("xm{x:(a+0.3)}", 1.0, 0, 1));
TEST_DO(verify("xm{x:(-a-0.3)}", 4.0, 0, 1));
TEST_DO(verify("xm{x:(-a+0.3)}", 4.0, 0, 1));
}
TEST_MAIN() { TEST_RUN_ALL(); }
|