Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

math_brute_force: only test correctly rounded divide/sqrt for fp32 #1997

Merged
merged 1 commit into from
Aug 6, 2024

Commits on Jul 30, 2024

  1. 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 KhronosGroup#1901 .
    Relates to KhronosGroup#1996 .
    
    Signed-off-by: Sven van Haastregt <sven.vanhaastregt@arm.com>
    svenvh committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    4777d6f View commit details
    Browse the repository at this point in the history