diff options
author | Rémi Denis-Courmont <remi@remlab.net> | 2023-11-16 20:36:05 +0200 |
---|---|---|
committer | Rémi Denis-Courmont <remi@remlab.net> | 2023-11-19 20:06:20 +0200 |
commit | 954d50e2ae1b2619af9bb5c0adb272eae6058499 (patch) | |
tree | 3cdac6c6fb93220a582b36b62bebc2a9ab0fe87e /configure | |
parent | a9205620b19e0c25cf9f6165b0b3937edf9ce62e (diff) |
riscv: set fast half-precision conversion
This is only supported at compilation time. If Zfhmin is supported, then
conversions are fast, which is what the flag is used for. At this time,
run-tiem detection is not possible, as in not supported by Linux. But even
if it were, the current FFmpeg approach seems unable to deal with it (same
problem as on x86, really).
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5413,6 +5413,9 @@ elif enabled riscv; then if test_cpp_condition stddef.h "__riscv_zbb"; then enable fast_clz fi + if test_cpp_condition stddef.h "__riscv_zfhmin"; then + enable fast_float16 + fi elif enabled sparc; then |