Re: libc-mini.a should also include integer division algorithm

[Danny Milosavljevic]

Hi Janneke,

On Thu, 28 May 2020 14:59:28 +0200
Jan Nieuwenhuizen <janneke@gnu.org> wrote:

> so...we coeuld put __mesabi_uldiv and __assert_fail into a new
> "libc-builtin" and pass -fno-builtin to disable doing that.
> WDYT?

I'd like that both, but I don't think the name is good.

I'd like a name like "mescc-builtin(s)" or "mes-builtin(s)" more.
Doesn't have anything to do with a C library (which is more like a UNIX library 
anyway).
The builtin lib would be for builtins the compiler emits calls for (mostly the 
definitions of things whose names start with "__" in gcc).

However, right now assertion failure would need support for printing stuff, so 
I don't think we can usefully move __assert_fail out of the libc.

For comparison, GCC just emits a SIGFPE signal on division by zero (I've 
tried).  That would mean that signal emission (or syscalls in general) would 
have to be builtin, too.  But I guess that would be OK.

pgpPvxSTObzja.pgp
Description: OpenPGP digital signature