inline bool array_is_c_contiguous(const dynd::nd::array &n)
{
intptr_t ndim = n.get_ndim();
dynd::dimvector shape(ndim), strides(ndim);
n.get_shape(shape.get());
n.get_strides(strides.get());
return dynd::strides_are_c_contiguous(ndim, n.get_dtype().get_data_size(),
shape.get(), strides.get());
}
bool pydynd::array_contains(const dynd::nd::array& n, PyObject *x)
{
if (n.get_ndo() == NULL) {
return false;
}
if (n.get_ndim() == 0) {
// TODO: Allow for struct types, etc?
throw runtime_error("cannot call __contains__ on a scalar dynd array");
}
// Turn 'n' into type/metadata/data with a uniform_dim leading dimension
nd::array tmp;
ndt::type dt;
const base_uniform_dim_type *budd;
const char *metadata, *data;
if (n.get_type().get_kind() == uniform_dim_kind) {
dt = n.get_type();
budd = static_cast<const base_uniform_dim_type *>(dt.extended());
metadata = n.get_ndo_meta();
data = n.get_readonly_originptr();
} else {
tmp = n.eval();
if (tmp.get_type().get_kind() != uniform_dim_kind) {
throw runtime_error("internal error in array_contains: expected uniform_dim kind after eval() call");
}
dt = tmp.get_type();
budd = static_cast<const base_uniform_dim_type *>(dt.extended());
metadata = tmp.get_ndo_meta();
data = tmp.get_readonly_originptr();
}
// Turn 'x' into a dynd array, and make a comparison kernel
nd::array x_ndo = array_from_py(x, 0, false);
const ndt::type& x_dt = x_ndo.get_type();
const char *x_metadata = x_ndo.get_ndo_meta();
const char *x_data = x_ndo.get_readonly_originptr();
const ndt::type& child_dt = budd->get_element_type();
const char *child_metadata = metadata + budd->get_element_metadata_offset();
comparison_ckernel_builder k;
try {
make_comparison_kernel(&k, 0,
x_dt, x_metadata, child_dt, child_metadata,
comparison_type_equal, &eval::default_eval_context);
} catch(const not_comparable_error&) {
return false;
}
contains_data aux;
aux.x_data = x_data;
aux.k = &k;
aux.found = false;
budd->foreach_leading(const_cast<char *>(data), metadata, &contains_callback, &aux);
return aux.found;
}
inline ::testing::AssertionResult CompareDyNDArrays(const char *expr1, const char *expr2, const dynd::nd::array &val1,
const dynd::nd::array &val2)
{
using namespace dynd;
if (val1.get_type().get_type_id() == cuda_device_type_id && val2.get_type().get_type_id() == cuda_device_type_id) {
return CompareDyNDArrays(expr1, expr2, val1.to_host(), val2.to_host());
}
if (val1.equals_exact(val2)) {
return ::testing::AssertionSuccess();
}
else {
if (val1.get_type() != val2.get_type()) {
return ::testing::AssertionFailure() << "The types of " << expr1 << " and " << expr2 << " do not match\n" << expr1
<< " has type " << val1.get_type() << ",\n" << expr2 << " has type "
<< val2.get_type() << ".";
}
else if (val1.get_shape() != val2.get_shape()) {
return ::testing::AssertionFailure() << "The shapes of " << expr1 << " and " << expr2 << " do not match\n"
<< expr1 << " has shape " << ShapeFormatter(val1.get_shape()) << ",\n"
<< expr2 << " has shape " << ShapeFormatter(val2.get_shape()) << ".";
}
else if (val1.get_type().get_kind() == struct_kind) {
const ndt::struct_type *bsd = val1.get_type().extended<ndt::struct_type>();
intptr_t field_count = bsd->get_field_count();
for (intptr_t i = 0; i < field_count; ++i) {
nd::array field1 = val1(i), field2 = val2(i);
if (!field1.equals_exact(field2)) {
return ::testing::AssertionFailure()
<< "The values of " << expr1 << " and " << expr2 << " do not match at field index " << i << ", name \""
<< bsd->get_field_name(i) << "\"\n" << expr1 << " has field value " << field1 << ",\n" << expr2
<< " has field value " << field2 << ".";
}
}
return ::testing::AssertionFailure() << "DYND ASSERTION INTERNAL ERROR: One of the struct fields "
"should have compared unequal";
}
else if (val1.get_type().get_kind() == tuple_kind) {
const ndt::tuple_type *bsd = val1.get_type().extended<ndt::tuple_type>();
intptr_t field_count = bsd->get_field_count();
for (intptr_t i = 0; i < field_count; ++i) {
nd::array field1 = val1(i), field2 = val2(i);
if (!field1.equals_exact(field2)) {
return ::testing::AssertionFailure()
<< "The values of " << expr1 << " and " << expr2 << " do not match at field index " << i << "\"\n"
<< expr1 << " has field value " << field1 << ",\n" << expr2 << " has field value " << field2 << ".";
}
}
return ::testing::AssertionFailure() << "DYND ASSERTION INTERNAL ERROR: One of the tuple fields "
"should have compared unequal";
}
else if (val1.get_ndim() > 0) {
intptr_t dim_size = val1.get_dim_size();
for (intptr_t i = 0; i < dim_size; ++i) {
nd::array sub1 = val1(i), sub2 = val2(i);
if (!sub1.equals_exact(sub2)) {
return ::testing::AssertionFailure()
<< "The values of " << expr1 << " and " << expr2 << " do not match at index " << i << "\"\n" << expr1
<< " has subarray value " << sub1 << ",\n" << expr2 << " has subarray value " << sub2 << ".";
}
}
return ::testing::AssertionFailure() << "DYND ASSERTION INTERNAL ERROR: One of the subarrays "
"should have compared unequal\n"
<< expr1 << " has value " << val1 << ",\n" << expr2 << " has value " << val2
<< ".";
}
else {
return ::testing::AssertionFailure() << "The values of " << expr1 << " and " << expr2 << " do not match\n"
<< expr1 << " has value " << val1 << ",\n" << expr2 << " has value " << val2
<< ".";
}
}
}