https://github.com/halide/Halide
Tip revision: 47a209da20fba46b2f8a6f98b0b79c74821cd27f authored by Andrew Adams on 05 October 2023, 16:16:26 UTC
Merge remote-tracking branch 'origin/main' into abadams/fix_7872
Merge remote-tracking branch 'origin/main' into abadams/fix_7872
Tip revision: 47a209d
errors.cpp
#include "HalideRuntime.h"
#include "printer.h"
extern "C" {
WEAK int halide_error_bounds_inference_call_failed(void *user_context, const char *extern_stage_name, int result) {
error(user_context)
<< "Bounds inference call to external stage " << extern_stage_name
<< " returned non-zero value: " << result;
return result;
}
WEAK int halide_error_extern_stage_failed(void *user_context, const char *extern_stage_name, int result) {
error(user_context)
<< "Call to external stage " << extern_stage_name
<< " returned non-zero value: " << result;
return result;
}
WEAK int halide_error_explicit_bounds_too_small(void *user_context, const char *func_name, const char *var_name,
int min_bound, int max_bound, int min_required, int max_required) {
error(user_context)
<< "Bounds given for " << var_name << " in " << func_name
<< " (from " << min_bound << " to " << max_bound
<< ") do not cover required region (from " << min_required
<< " to " << max_required << ")";
return halide_error_code_explicit_bounds_too_small;
}
WEAK int halide_error_bad_type(void *user_context, const char *func_name,
uint32_t type_given_bits, uint32_t correct_type_bits) {
halide_type_t correct_type, type_given;
memcpy(&correct_type, &correct_type_bits, sizeof(uint32_t));
memcpy(&type_given, &type_given_bits, sizeof(uint32_t));
error(user_context)
<< func_name << " has type " << correct_type
<< " but type of the buffer passed in is " << type_given;
return halide_error_code_bad_type;
}
WEAK int halide_error_bad_dimensions(void *user_context, const char *func_name,
int32_t dimensions_given, int32_t correct_dimensions) {
error(user_context)
<< func_name << " requires a buffer of exactly " << correct_dimensions
<< " dimensions, but the buffer passed in has " << dimensions_given << " dimensions";
return halide_error_code_bad_dimensions;
}
WEAK int halide_error_access_out_of_bounds(void *user_context, const char *func_name,
int dimension, int min_touched, int max_touched,
int min_valid, int max_valid) {
if (min_touched < min_valid) {
error(user_context)
<< func_name << " is accessed at " << min_touched
<< ", which is before the min (" << min_valid
<< ") in dimension " << dimension;
} else if (max_touched > max_valid) {
error(user_context)
<< func_name << " is accessed at " << max_touched
<< ", which is beyond the max (" << max_valid
<< ") in dimension " << dimension;
}
return halide_error_code_access_out_of_bounds;
}
WEAK int halide_error_buffer_allocation_too_large(void *user_context, const char *buffer_name, uint64_t allocation_size, uint64_t max_size) {
error(user_context)
<< "Total allocation for buffer " << buffer_name
<< " is " << allocation_size
<< ", which exceeds the maximum size of " << max_size;
return halide_error_code_buffer_allocation_too_large;
}
WEAK int halide_error_buffer_extents_negative(void *user_context, const char *buffer_name, int dimension, int extent) {
error(user_context)
<< "The extents for buffer " << buffer_name
<< " dimension " << dimension
<< " is negative (" << extent << ")";
return halide_error_code_buffer_extents_negative;
}
WEAK int halide_error_buffer_extents_too_large(void *user_context, const char *buffer_name, int64_t actual_size, int64_t max_size) {
error(user_context)
<< "Product of extents for buffer " << buffer_name
<< " is " << actual_size
<< ", which exceeds the maximum size of " << max_size;
return halide_error_code_buffer_extents_too_large;
}
WEAK int halide_error_constraints_make_required_region_smaller(void *user_context, const char *buffer_name,
int dimension,
int constrained_min, int constrained_extent,
int required_min, int required_extent) {
int required_max = required_min + required_extent - 1;
int constrained_max = constrained_min + constrained_extent - 1;
error(user_context)
<< "Applying the constraints on " << buffer_name
<< " to the required region made it smaller in dimension " << dimension << ". "
<< "Required size: " << required_min << " to " << required_max << ". "
<< "Constrained size: " << constrained_min << " to " << constrained_max << ".";
return halide_error_code_constraints_make_required_region_smaller;
}
WEAK int halide_error_constraint_violated(void *user_context, const char *var, int val,
const char *constrained_var, int constrained_val) {
error(user_context)
<< "Constraint violated: " << var << " (" << val
<< ") == " << constrained_var << " (" << constrained_val << ")";
return halide_error_code_constraint_violated;
}
WEAK int halide_error_param_too_small_i64(void *user_context, const char *param_name,
int64_t val, int64_t min_val) {
error(user_context)
<< "Parameter " << param_name
<< " is " << val
<< " but must be at least " << min_val;
return halide_error_code_param_too_small;
}
WEAK int halide_error_param_too_small_u64(void *user_context, const char *param_name,
uint64_t val, uint64_t min_val) {
error(user_context)
<< "Parameter " << param_name
<< " is " << val
<< " but must be at least " << min_val;
return halide_error_code_param_too_small;
}
WEAK int halide_error_param_too_small_f64(void *user_context, const char *param_name,
double val, double min_val) {
error(user_context)
<< "Parameter " << param_name
<< " is " << val
<< " but must be at least " << min_val;
return halide_error_code_param_too_small;
}
WEAK int halide_error_param_too_large_i64(void *user_context, const char *param_name,
int64_t val, int64_t max_val) {
error(user_context)
<< "Parameter " << param_name
<< " is " << val
<< " but must be at most " << max_val;
return halide_error_code_param_too_large;
}
WEAK int halide_error_param_too_large_u64(void *user_context, const char *param_name,
uint64_t val, uint64_t max_val) {
error(user_context)
<< "Parameter " << param_name
<< " is " << val
<< " but must be at most " << max_val;
return halide_error_code_param_too_large;
}
WEAK int halide_error_param_too_large_f64(void *user_context, const char *param_name,
double val, double max_val) {
error(user_context)
<< "Parameter " << param_name
<< " is " << val
<< " but must be at most " << max_val;
return halide_error_code_param_too_large;
}
WEAK int halide_error_out_of_memory(void *user_context) {
// The error message builder uses malloc, so we can't use it here.
halide_error(user_context, "Out of memory (halide_malloc returned nullptr)");
return halide_error_code_out_of_memory;
}
WEAK int halide_error_buffer_argument_is_null(void *user_context, const char *buffer_name) {
error(user_context)
<< "Buffer argument " << buffer_name << " is nullptr";
return halide_error_code_buffer_argument_is_null;
}
WEAK int halide_error_debug_to_file_failed(void *user_context, const char *func,
const char *filename, int error_code) {
error(user_context)
<< "Failed to dump function " << func
<< " to file " << filename
<< " with error " << error_code;
return halide_error_code_debug_to_file_failed;
}
WEAK int halide_error_unaligned_host_ptr(void *user_context, const char *func,
int alignment) {
error(user_context)
<< "The host pointer of " << func
<< " is not aligned to a " << alignment
<< " bytes boundary.";
return halide_error_code_unaligned_host_ptr;
}
WEAK int halide_error_device_dirty_with_no_device_support(void *user_context, const char *func) {
error(user_context)
<< "The buffer " << func
<< " is dirty on device, but this pipeline was compiled "
<< "with no support for device to host copies.";
return halide_error_code_device_dirty_with_no_device_support;
}
WEAK int halide_error_host_is_null(void *user_context, const char *func) {
error(user_context)
<< "The host pointer of " << func
<< " is null, but the pipeline will access it on the host.";
return halide_error_code_host_is_null;
}
WEAK int halide_error_bad_fold(void *user_context, const char *func_name, const char *var_name,
const char *loop_name) {
error(user_context)
<< "The folded storage dimension " << var_name << " of " << func_name
<< " was accessed out of order by loop " << loop_name << ".";
return halide_error_code_bad_fold;
}
WEAK int halide_error_bad_extern_fold(void *user_context, const char *func_name,
int dim, int min, int extent, int valid_min, int fold_factor) {
if (min < valid_min || min + extent > valid_min + fold_factor) {
error(user_context)
<< "Cannot fold dimension " << dim << " of " << func_name
<< " because an extern stage accesses [" << min << ", " << (min + extent - 1) << "],"
<< " which is outside the range currently valid: ["
<< valid_min << ", " << (valid_min + fold_factor - 1) << "].";
} else {
error(user_context)
<< "Cannot fold dimension " << dim << " of " << func_name
<< " because an extern stage accesses [" << min << ", " << (min + extent - 1) << "],"
<< " which wraps around the boundary of the fold, "
<< "which occurs at multiples of " << fold_factor << ".";
}
return halide_error_code_bad_extern_fold;
}
WEAK int halide_error_fold_factor_too_small(void *user_context, const char *func_name, const char *var_name,
int fold_factor, const char *loop_name, int required_extent) {
error(user_context)
<< "The fold factor (" << fold_factor
<< ") of dimension " << var_name << " of " << func_name
<< " is too small to store the required region accessed by loop "
<< loop_name << " (" << required_extent << ").";
return halide_error_code_fold_factor_too_small;
}
WEAK int halide_error_requirement_failed(void *user_context, const char *condition, const char *message) {
error(user_context)
<< "Requirement Failed: (" << condition << ") " << message;
return halide_error_code_requirement_failed;
}
WEAK int halide_error_specialize_fail(void *user_context, const char *message) {
error(user_context)
<< "A schedule specialized with specialize_fail() was chosen: " << message;
return halide_error_code_specialize_fail;
}
WEAK int halide_error_no_device_interface(void *user_context) {
error(user_context) << "Buffer has a non-zero device but no device interface.\n";
return halide_error_code_no_device_interface;
}
WEAK int halide_error_device_interface_no_device(void *user_context) {
error(user_context) << "Buffer has a non-null device_interface but device is 0.\n";
return halide_error_code_device_interface_no_device;
}
WEAK int halide_error_host_and_device_dirty(void *user_context) {
error(user_context) << "Buffer has both host and device dirty bits set.\n";
return halide_error_code_host_and_device_dirty;
}
WEAK int halide_error_buffer_is_null(void *user_context, const char *routine) {
error(user_context) << "Buffer pointer passed to " << routine << " is null.\n";
return halide_error_code_buffer_is_null;
}
WEAK int halide_error_storage_bound_too_small(void *user_context, const char *func_name, const char *var_name,
int provided_size, int required_size) {
error(user_context)
<< "The explicit allocation bound (" << provided_size
<< ") of dimension " << var_name << " of " << func_name
<< " is too small to store the required region ("
<< required_size << ").";
return halide_error_code_storage_bound_too_small;
}
WEAK int halide_error_device_crop_failed(void *user_context) {
error(user_context) << "Buffer could not be cropped (runtime error or unimplemented device option).\n";
return halide_error_code_device_crop_failed;
}
} // extern "C"