Naming the RV32E ABI with -mabi
asb opened this issue · 3 comments
asb commented
Should the RV32E ABI be explicitly targeted using -mabi=ilp32e
? This would seem consistent with the other supported ABIs having unique -mabi
strings. Of course for RV32E, no other ABI string is valid.
asb commented
@palmer-dabbelt, @kito-cheng - thoughts? -mabi=ilp32e makes a lot of sense to me.
kito-cheng commented
Yeah, sounds good idea, I'll take gcc and binutils part.
palmer-dabbelt commented
I agree that we need some way for -march=rv32i
to target the E ABI. -march=rv32i -mabi=ilp32e
seems good to me.