|
|
@@ -278,6 +278,26 @@ mainmenu "Espressif IoT Development Framework Configuration"
|
|
|
|
|
|
endchoice # assertions
|
|
|
|
|
|
+ choice COMPILER_FLOAT_LIB_FROM
|
|
|
+ prompt "Compiler float lib source"
|
|
|
+ default COMPILER_FLOAT_LIB_FROM_RVFPLIB if ESP_ROM_HAS_RVFPLIB
|
|
|
+ default COMPILER_FLOAT_LIB_FROM_GCCLIB
|
|
|
+ help
|
|
|
+ In the soft-fp part of libgcc, riscv version is written in C,
|
|
|
+ and handles all edge cases in IEEE754, which makes it larger
|
|
|
+ and performance is slow.
|
|
|
+
|
|
|
+ RVfplib is an optimized RISC-V library for FP arithmetic on 32-bit
|
|
|
+ integer processors, for single and double-precision FP.
|
|
|
+ RVfplib is "fast", but it has a few exceptions from IEEE 754 compliance.
|
|
|
+
|
|
|
+ config COMPILER_FLOAT_LIB_FROM_GCCLIB
|
|
|
+ bool "libgcc"
|
|
|
+ config COMPILER_FLOAT_LIB_FROM_RVFPLIB
|
|
|
+ depends on ESP_ROM_HAS_RVFPLIB
|
|
|
+ bool "librvfp"
|
|
|
+ endchoice # COMPILER_FLOAT_LIB_FROM
|
|
|
+
|
|
|
config COMPILER_OPTIMIZATION_ASSERTION_LEVEL
|
|
|
int
|
|
|
default 0 if COMPILER_OPTIMIZATION_ASSERTIONS_DISABLE
|
|
|
@@ -418,7 +438,6 @@ mainmenu "Espressif IoT Development Framework Configuration"
|
|
|
If enabled, RTL files will be produced during compilation. These files
|
|
|
can be used by other tools, for example to calculate call graphs.
|
|
|
|
|
|
-
|
|
|
endmenu # Compiler Options
|
|
|
|
|
|
menu "Component config"
|