[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Mostly fix #1604
From: |
Peter Bex |
Subject: |
Re: [Chicken-hackers] [PATCH] Mostly fix #1604 |
Date: |
Mon, 20 May 2019 15:20:26 +0200 |
User-agent: |
NeoMutt/20170113 (1.7.2) |
On Mon, May 20, 2019 at 03:15:20PM +0200, address@hidden wrote:
> > > Interprocedural flow-analysis is hard, we shouldn't underestimate
> > > this. What happens when we declare a type for a toplevel function?
> >
> > If you're thinking about reassigning globals, how about making
> > -fixnum-arithmetic imply -local? If globals cannot be re-defined then
> > the types are always correct.
> >
> > If fixnum-arithmetic is wanted for speed then -local is wanted anyway,
> > not to mention global inlining.
>
> I understand - but I'm wary of options implying other options. This makes
> it hard to figure out the final set of applicable settings, in the name of
> convenience
> I have made this mistake often enough. If one wants speed, "-O<n>" is probably
> the easiest and simplest way. Otherwise each option should have a single
> effect only.
I agree; this sounds like it's making a lot of assumptions about exactly
how the user wants to bend the Scheme semantics to make it faster.
Cheers,
Peter
signature.asc
Description: PGP signature
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, (continued)
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, felix . winkelmann, 2019/05/19
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, megane, 2019/05/19
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, Peter Bex, 2019/05/19
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, felix . winkelmann, 2019/05/20
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, Peter Bex, 2019/05/20
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, felix . winkelmann, 2019/05/20
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, Peter Bex, 2019/05/20
- Re: [Chicken-hackers] [PATCH] Mostly fix #1604, felix . winkelmann, 2019/05/20