// Copyright (C) 2019-2020 Zilliz. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance
// with the License. You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software distributed under the License
// is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
// or implied. See the License for the specific language governing permissions and limitations under the License

#include <folly/FBVector.h>
#include <gtest/gtest.h>
#include <algorithm>
#include <memory>
#include <string>
#include <vector>

#include "bitset/bitset.h"
#include "common/IndexMeta.h"
#include "common/Schema.h"
#include "common/Types.h"
#include "common/Vector.h"
#include "exec/expression/EvalCtx.h"
#include "expr/ITypeExpr.h"
#include "filemanager/InputStream.h"
#include "gtest/gtest.h"
#include "knowhere/comp/index_param.h"
#include "plan/PlanNode.h"
#include "query/ExecPlanNodeVisitor.h"
#include "query/Utils.h"
#include "segcore/AckResponder.h"
#include "segcore/SegmentGrowing.h"
#include "segcore/SegmentGrowingImpl.h"
#include "test_utils/DataGen.h"
#include "test_utils/GenExprProto.h"

class ExprAlwaysTrueTest : public ::testing::TestWithParam<milvus::DataType> {};

INSTANTIATE_TEST_SUITE_P(
    ExprAlwaysTrueParameters,
    ExprAlwaysTrueTest,
    ::testing::Values(milvus::DataType::VECTOR_FLOAT,
                      milvus::DataType::VECTOR_SPARSE_U32_F32));

TEST_P(ExprAlwaysTrueTest, AlwaysTrue) {
    using namespace milvus;
    using namespace milvus::query;
    using namespace milvus::segcore;
    auto data_type = GetParam();
    auto metric_type = data_type == DataType::VECTOR_FLOAT
                           ? knowhere::metric::L2
                           : knowhere::metric::IP;
    auto schema = std::make_shared<Schema>();
    schema->AddDebugField("fakevec", data_type, 16, metric_type);
    auto i64_fid = schema->AddDebugField("age", DataType::INT64);
    schema->set_primary_field_id(i64_fid);

    auto seg = CreateGrowingSegment(schema, empty_index_meta);
    int N = 1000;
    std::vector<int> age_col;
    int num_iters = 100;
    for (int iter = 0; iter < num_iters; ++iter) {
        auto raw_data = DataGen(schema, N, iter);
        auto new_age_col = raw_data.get_col<int>(i64_fid);
        age_col.insert(age_col.end(), new_age_col.begin(), new_age_col.end());
        seg->PreInsert(N);
        seg->Insert(iter * N,
                    N,
                    raw_data.row_ids_.data(),
                    raw_data.timestamps_.data(),
                    raw_data.raw_);
    }

    auto seg_promote = dynamic_cast<SegmentGrowingImpl*>(seg.get());
    auto expr = std::make_shared<milvus::expr::AlwaysTrueExpr>();
    BitsetType final;
    auto plan = milvus::test::CreateRetrievePlanByExpr(expr);
    final = ExecuteQueryExpr(plan, seg_promote, N * num_iters, MAX_TIMESTAMP);
    EXPECT_EQ(final.size(), N * num_iters);

    // specify some offsets and do scalar filtering on these offsets
    milvus::exec::OffsetVector offsets;
    offsets.reserve(N * num_iters / 2);
    for (auto i = 0; i < N * num_iters; ++i) {
        if (i % 2 == 0) {
            offsets.emplace_back(i);
        }
    }
    auto col_vec = milvus::test::gen_filter_res(plan->sources()[0].get(),
                                                seg_promote,
                                                N * num_iters,
                                                MAX_TIMESTAMP,
                                                &offsets);
    BitsetTypeView view(col_vec->GetRawData(), col_vec->size());
    EXPECT_EQ(view.size(), N * num_iters / 2);

    for (int i = 0; i < N * num_iters; ++i) {
        auto ans = final[i];

        auto val = age_col[i];
        ASSERT_EQ(ans, true) << "@" << i << "!!" << val;
        if (i % 2 == 0) {
            ASSERT_EQ(view[int(i / 2)], true) << "@" << i << "!!" << val;
        }
    }
}
