diff options
author | Zong Li <zong@andestech.com> | 2018-06-25 16:49:38 +0800 |
---|---|---|
committer | Palmer Dabbelt <palmer@sifive.com> | 2018-07-04 13:53:33 -0700 |
commit | 8f79125d285d2d71ed110e875754942256efa51d (patch) | |
tree | b668697c4680007ad9781e1ac6094495a5d9d625 /arch | |
parent | d5fad48cfb4b183d87960904c177eeeb9412b929 (diff) |
RISC-V: Select GENERIC_UCMPDI2 on RV32I
On 32-bit, it need to use __ucmpdi2, otherwise, it can't find the __ucmpdi2
symbol.
Signed-off-by: Zong Li <zong@andestech.com>
Reviewed-by: Christoph Hellwig <hch@lst.de>
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
Diffstat (limited to 'arch')
-rw-r--r-- | arch/riscv/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/riscv/Kconfig b/arch/riscv/Kconfig index f12680c9b947..4764fdeb4f1f 100644 --- a/arch/riscv/Kconfig +++ b/arch/riscv/Kconfig @@ -107,6 +107,7 @@ config ARCH_RV32I select GENERIC_LIB_ASHLDI3 select GENERIC_LIB_ASHRDI3 select GENERIC_LIB_LSHRDI3 + select GENERIC_LIB_UCMPDI2 config ARCH_RV64I bool "RV64I" |