Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
math_brute_force: only test correctly rounded divide/sqrt for fp32
Skip the correctly rounded divide (divide_cr) and sqrt (sqrt_cr) tests for fp16 and fp64. The corresponding build option to enable correctly rounded divide and sqrt is named `-cl-fp32-correctly-rounded-divide-sqrt` and the description refers only to "single precision floating-point", so this option should not apply to fp16 or fp64. The specification states that fp16 and fp64 divide and sqrt must be correctly rounded for the full profile, without needing any additional build options. This is already tested by the regular divide and sqrt tests. For the embedded profile the ULP requirement is non-zero, but there is no build option to request a correctly rounded implementation anyway. Fixes #1901 . Relates to #1996 . Signed-off-by: Sven van Haastregt <sven.vanhaastregt@arm.com>
- Loading branch information