Add float benchmark, and some minor float fixes/cleanup

[kilograham]

No description provided.

[kilograham]

Actually converting to draft, as we should document the new defines (though they aren't really PICO_CONFIG as they are provided not options)

[lurch]

Bazel is complaining that it hasn't been told about test/pico_float_test/double_benchmark.c and test/pico_float_test/float_benchmark.c yet 😉

check-configs is complaining because there's no #define PICO_DOUBLE_IN_RAM 0. In #2858 I added it to src/rp2_common/pico_double/double_v1_rom_shim_rp2040.S, copying what https://github.com/raspberrypi/pico-sdk/blob/develop/src/rp2_common/pico_float/float_v1_rom_shim_rp2040.S#L11 does.

[lurch]

check-configs is complaining because there's no #define PICO_DOUBLE_IN_RAM 0. In #2858 I added it to src/rp2_common/pico_double/double_v1_rom_shim_rp2040.S, copying what https://github.com/raspberrypi/pico-sdk/blob/develop/src/rp2_common/pico_float/float_v1_rom_shim_rp2040.S#L11 does.

This is still the case 😉

[lurch]

Yikes, CI builds are all failing with

/opt/actions-runner/_work/pico-sdk/pico-sdk/src/rp2_common/pico_double/include/pico/double.h:7: error: unterminated #ifndef
    7 | #ifndef _PICO_DOUBLE_H

[lurch]

• test/pico_float_test/pico_double_test.c is testing sqrt_fast - should test/pico_float_test/pico_float_test.c be testing sqrtf_fast?
• Should test/pico_float_test/pico_double_test.c also be testing ddiv_fast ?
• Should test/pico_float_test/pico_float_test.c also be testing fdiv_fast ?

P.S. furious_fast(7) 🏎️ 😆

[kilograham]

• test/pico_float_test/pico_double_test.c is testing sqrt_fast - should test/pico_float_test/pico_float_test.c be testing sqrtf_fast?

sure

* Should `test/pico_float_test/pico_double_test.c` also be testing `ddiv_fast` ?

already was

* Should `test/pico_float_test/pico_float_test.c` also be testing `fdiv_fast` ?

sure

P.S. furious_fast(7) 🏎️ 😆