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
|
// Copyright Yahoo. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
#include <vespa/eval/eval/fast_value.h>
#include <vespa/eval/eval/tensor_function.h>
#include <vespa/eval/eval/test/eval_fixture.h>
#include <vespa/eval/eval/test/gen_spec.h>
#include <vespa/eval/instruction/dense_tensor_peek_function.h>
#include <vespa/vespalib/testkit/test_kit.h>
#include <vespa/vespalib/util/stash.h>
#include <vespa/vespalib/util/stringfmt.h>
using namespace vespalib;
using namespace vespalib::eval;
using namespace vespalib::eval::test;
using namespace vespalib::eval::tensor_function;
const ValueBuilderFactory &prod_factory = FastValueBuilderFactory::get();
EvalFixture::ParamRepo make_params() {
return EvalFixture::ParamRepo()
.add("a", GenSpec(1.0))
.add("b", GenSpec(2.0))
.add("c", GenSpec(3.0))
.add("x3", GenSpec().idx("x", 3))
.add("x3f", GenSpec().cells_float().idx("x", 3))
.add("x3y2", GenSpec().idx("x", 3).idx("y", 2))
.add("x3y2f", GenSpec().cells_float().idx("x", 3).idx("y", 2))
.add("xm", GenSpec().map("x", {"1","2","3","-1","-2","-3"}))
.add("xmy2", GenSpec().map("x", {"1","2","3"}).idx("y", 2));
}
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_factory, 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 optimized differently for sparse tensor") {
TEST_DO(verify("xm{x:1}", 1.0, 0, 1));
TEST_DO(verify("xm{x:(c)}", 3.0, 0, 0));
TEST_DO(verify("xm{x:(c+1)}", 0.0, 0, 0));
}
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 truncated when converted to integers") {
TEST_DO(verify("x3{x:(a+0.7)}", 2.0, 1, 0));
TEST_DO(verify("x3{x:(a+0.3)}", 2.0, 1, 0));
TEST_DO(verify("xm{x:(a+0.7)}", 1.0, 0, 0));
TEST_DO(verify("xm{x:(a+0.3)}", 1.0, 0, 0));
TEST_DO(verify("xm{x:(-a-0.7)}", 4.0, 0, 0));
TEST_DO(verify("xm{x:(-a-0.3)}", 4.0, 0, 0));
}
TEST_MAIN() { TEST_RUN_ALL(); }
|
