MLIR
20.0.0git
|
Verify the result of two computations are equivalent up to a small numerical error and return the number of errors. More...
#include "mlir/ExecutionEngine/RunnerUtils.h"
Public Member Functions | |
bool | verifyElem (double actual, double expected) |
bool | verifyElem (float actual, float expected) |
Static Public Member Functions | |
static bool | verifyRelErrorSmallerThan (T actual, T expected, T epsilon) |
Verify the relative difference of the values is smaller than epsilon. More... | |
static bool | verifyElem (T actual, T expected) |
Verify the values are equivalent (integers) or are close (floating-point). More... | |
static int64_t | verify (std::ostream &os, T *actualBasePtr, T *expectedBasePtr, int64_t dim, int64_t offset, const int64_t *sizes, const int64_t *strides, int64_t &printCounter) |
Verify the data element-by-element and return the number of errors. More... | |
Static Public Attributes | |
static constexpr int | printLimit = 10 |
Maximum number of errors printed by the verifier. More... | |
Verify the result of two computations are equivalent up to a small numerical error and return the number of errors.
Definition at line 245 of file RunnerUtils.h.
|
static |
Verify the data element-by-element and return the number of errors.
Definition at line 290 of file RunnerUtils.h.
References mlir::verify().
Referenced by impl::verifyMemRef().
|
inline |
Definition at line 278 of file RunnerUtils.h.
|
inline |
Definition at line 284 of file RunnerUtils.h.
|
static |
Verify the values are equivalent (integers) or are close (floating-point).
Definition at line 273 of file RunnerUtils.h.
|
static |
Verify the relative difference of the values is smaller than epsilon.
Definition at line 262 of file RunnerUtils.h.
References mlir::presburger::abs().
|
staticconstexpr |
Maximum number of errors printed by the verifier.
Definition at line 247 of file RunnerUtils.h.