2018-11-26 16:20:40 +00:00
|
|
|
#pragma once
|
|
|
|
|
|
|
|
#include <DataTypes/DataTypesNumber.h>
|
|
|
|
#include <Columns/ColumnVector.h>
|
2019-12-09 13:12:54 +00:00
|
|
|
#include <Functions/IFunctionImpl.h>
|
2018-11-26 16:20:40 +00:00
|
|
|
#include <Functions/FunctionHelpers.h>
|
|
|
|
#include <IO/WriteHelpers.h>
|
|
|
|
#include <ext/range.h>
|
|
|
|
|
|
|
|
|
|
|
|
namespace DB
|
|
|
|
{
|
|
|
|
|
|
|
|
namespace ErrorCodes
|
|
|
|
{
|
|
|
|
extern const int ILLEGAL_COLUMN;
|
|
|
|
extern const int ILLEGAL_TYPE_OF_ARGUMENT;
|
2018-12-07 03:20:27 +00:00
|
|
|
extern const int TOO_FEW_ARGUMENTS_FOR_FUNCTION;
|
2018-11-26 16:20:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
template <typename Impl, typename Name>
|
|
|
|
struct FunctionBitTestMany : public IFunction
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
static constexpr auto name = Name::name;
|
|
|
|
static FunctionPtr create(const Context &) { return std::make_shared<FunctionBitTestMany>(); }
|
|
|
|
|
|
|
|
String getName() const override { return name; }
|
|
|
|
|
|
|
|
bool isVariadic() const override { return true; }
|
|
|
|
size_t getNumberOfArguments() const override { return 0; }
|
|
|
|
|
|
|
|
DataTypePtr getReturnTypeImpl(const DataTypes & arguments) const override
|
|
|
|
{
|
|
|
|
if (arguments.size() < 2)
|
|
|
|
throw Exception{"Number of arguments for function " + getName() + " doesn't match: passed "
|
2018-12-07 03:20:27 +00:00
|
|
|
+ toString(arguments.size()) + ", should be at least 2.", ErrorCodes::TOO_FEW_ARGUMENTS_FOR_FUNCTION};
|
2018-11-26 16:20:40 +00:00
|
|
|
|
|
|
|
const auto & first_arg = arguments.front();
|
|
|
|
|
|
|
|
if (!isInteger(first_arg))
|
|
|
|
throw Exception{"Illegal type " + first_arg->getName() + " of first argument of function " + getName(), ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT};
|
|
|
|
|
|
|
|
|
|
|
|
for (const auto i : ext::range(1, arguments.size()))
|
|
|
|
{
|
|
|
|
const auto & pos_arg = arguments[i];
|
|
|
|
|
|
|
|
if (!isUnsignedInteger(pos_arg))
|
|
|
|
throw Exception{"Illegal type " + pos_arg->getName() + " of " + toString(i) + " argument of function " + getName(), ErrorCodes::ILLEGAL_TYPE_OF_ARGUMENT};
|
|
|
|
}
|
|
|
|
|
|
|
|
return std::make_shared<DataTypeUInt8>();
|
|
|
|
}
|
|
|
|
|
2020-07-21 13:58:07 +00:00
|
|
|
void executeImpl(Block & block , const ColumnNumbers & arguments, size_t result, size_t /*input_rows_count*/) const override
|
2018-11-26 16:20:40 +00:00
|
|
|
{
|
|
|
|
const auto value_col = block.getByPosition(arguments.front()).column.get();
|
|
|
|
|
|
|
|
if (!execute<UInt8>(block, arguments, result, value_col)
|
|
|
|
&& !execute<UInt16>(block, arguments, result, value_col)
|
|
|
|
&& !execute<UInt32>(block, arguments, result, value_col)
|
|
|
|
&& !execute<UInt64>(block, arguments, result, value_col)
|
|
|
|
&& !execute<Int8>(block, arguments, result, value_col)
|
|
|
|
&& !execute<Int16>(block, arguments, result, value_col)
|
|
|
|
&& !execute<Int32>(block, arguments, result, value_col)
|
|
|
|
&& !execute<Int64>(block, arguments, result, value_col))
|
|
|
|
throw Exception{"Illegal column " + value_col->getName() + " of argument of function " + getName(), ErrorCodes::ILLEGAL_COLUMN};
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
template <typename T>
|
|
|
|
bool execute(
|
|
|
|
Block & block, const ColumnNumbers & arguments, const size_t result,
|
2020-07-21 13:58:07 +00:00
|
|
|
const IColumn * const value_col_untyped) const
|
2018-11-26 16:20:40 +00:00
|
|
|
{
|
|
|
|
if (const auto value_col = checkAndGetColumn<ColumnVector<T>>(value_col_untyped))
|
|
|
|
{
|
|
|
|
const auto size = value_col->size();
|
|
|
|
bool is_const;
|
|
|
|
const auto const_mask = createConstMaskIfConst<T>(block, arguments, is_const);
|
|
|
|
const auto & val = value_col->getData();
|
|
|
|
|
|
|
|
auto out_col = ColumnVector<UInt8>::create(size);
|
|
|
|
auto & out = out_col->getData();
|
|
|
|
|
|
|
|
if (is_const)
|
|
|
|
{
|
|
|
|
for (const auto i : ext::range(0, size))
|
|
|
|
out[i] = Impl::apply(val[i], const_mask);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
const auto mask = createMask<T>(size, block, arguments);
|
|
|
|
|
|
|
|
for (const auto i : ext::range(0, size))
|
|
|
|
out[i] = Impl::apply(val[i], mask[i]);
|
|
|
|
}
|
|
|
|
|
|
|
|
block.getByPosition(result).column = std::move(out_col);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
else if (const auto value_col_const = checkAndGetColumnConst<ColumnVector<T>>(value_col_untyped))
|
|
|
|
{
|
|
|
|
const auto size = value_col_const->size();
|
|
|
|
bool is_const;
|
|
|
|
const auto const_mask = createConstMaskIfConst<T>(block, arguments, is_const);
|
|
|
|
const auto val = value_col_const->template getValue<T>();
|
|
|
|
|
|
|
|
if (is_const)
|
|
|
|
{
|
|
|
|
block.getByPosition(result).column = block.getByPosition(result).type->createColumnConst(size, toField(Impl::apply(val, const_mask)));
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
const auto mask = createMask<T>(size, block, arguments);
|
|
|
|
auto out_col = ColumnVector<UInt8>::create(size);
|
|
|
|
|
|
|
|
auto & out = out_col->getData();
|
|
|
|
|
|
|
|
for (const auto i : ext::range(0, size))
|
|
|
|
out[i] = Impl::apply(val, mask[i]);
|
|
|
|
|
|
|
|
block.getByPosition(result).column = std::move(out_col);
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename ValueType>
|
2020-07-21 13:58:07 +00:00
|
|
|
ValueType createConstMaskIfConst(const Block & block, const ColumnNumbers & arguments, bool & out_is_const) const
|
2018-11-26 16:20:40 +00:00
|
|
|
{
|
|
|
|
out_is_const = true;
|
|
|
|
ValueType mask = 0;
|
|
|
|
|
|
|
|
for (const auto i : ext::range(1, arguments.size()))
|
|
|
|
{
|
|
|
|
if (auto pos_col_const = checkAndGetColumnConst<ColumnVector<ValueType>>(block.getByPosition(arguments[i]).column.get()))
|
|
|
|
{
|
2020-02-17 06:54:24 +00:00
|
|
|
const auto pos = pos_col_const->getUInt(0);
|
|
|
|
if (pos < 8 * sizeof(ValueType))
|
|
|
|
mask = mask | (ValueType(1) << pos);
|
2018-11-26 16:20:40 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
out_is_const = false;
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return mask;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename ValueType>
|
2020-07-21 13:58:07 +00:00
|
|
|
PaddedPODArray<ValueType> createMask(const size_t size, const Block & block, const ColumnNumbers & arguments) const
|
2018-11-26 16:20:40 +00:00
|
|
|
{
|
|
|
|
PaddedPODArray<ValueType> mask(size, ValueType{});
|
|
|
|
|
|
|
|
for (const auto i : ext::range(1, arguments.size()))
|
|
|
|
{
|
|
|
|
const auto pos_col = block.getByPosition(arguments[i]).column.get();
|
|
|
|
|
|
|
|
if (!addToMaskImpl<UInt8>(mask, pos_col)
|
|
|
|
&& !addToMaskImpl<UInt16>(mask, pos_col)
|
|
|
|
&& !addToMaskImpl<UInt32>(mask, pos_col)
|
|
|
|
&& !addToMaskImpl<UInt64>(mask, pos_col))
|
|
|
|
throw Exception{"Illegal column " + pos_col->getName() + " of argument of function " + getName(), ErrorCodes::ILLEGAL_COLUMN};
|
|
|
|
}
|
|
|
|
|
|
|
|
return mask;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename PosType, typename ValueType>
|
2020-07-21 13:58:07 +00:00
|
|
|
bool NO_SANITIZE_UNDEFINED addToMaskImpl(PaddedPODArray<ValueType> & mask, const IColumn * const pos_col_untyped) const
|
2018-11-26 16:20:40 +00:00
|
|
|
{
|
|
|
|
if (const auto pos_col = checkAndGetColumn<ColumnVector<PosType>>(pos_col_untyped))
|
|
|
|
{
|
|
|
|
const auto & pos = pos_col->getData();
|
|
|
|
|
|
|
|
for (const auto i : ext::range(0, mask.size()))
|
2020-02-17 06:54:24 +00:00
|
|
|
if (pos[i] < 8 * sizeof(ValueType))
|
|
|
|
mask[i] = mask[i] | (ValueType(1) << pos[i]);
|
2018-11-26 16:20:40 +00:00
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
else if (const auto pos_col_const = checkAndGetColumnConst<ColumnVector<PosType>>(pos_col_untyped))
|
|
|
|
{
|
|
|
|
const auto & pos = pos_col_const->template getValue<PosType>();
|
2020-02-17 06:54:24 +00:00
|
|
|
const auto new_mask = pos < 8 * sizeof(ValueType) ? ValueType(1) << pos : 0;
|
2018-11-26 16:20:40 +00:00
|
|
|
|
|
|
|
for (const auto i : ext::range(0, mask.size()))
|
|
|
|
mask[i] = mask[i] | new_mask;
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|