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

[Jan Nieuwenhuizen]

Danny Milosavljevic writes:

Hi Danny,

> 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.

+1

> Doesn't have anything to do with a C library (which is more like a
> UNIX library anyway).

Yes, I agree.

> The builtin lib would be for builtins the compiler emits calls for
> (mostly the definitions of things whose names start with "__" in gcc).

Okay..that slightly helps to support we're making the right choice.

> 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.

Hmm...that's not great.  We need a more lightweight support, IMO. 

> 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.

Yes, can we do that?  That would be great.

Would you like to have a go adding this libmescc-builtin, don't hesitate
to ask for help (on IRC if you like).

Thanks!
Janneke

-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com