Re: [PATCH] Eliminate GC check when no extra stack is used.

2011-04-24 Thread Edward Z. Yang
Excerpts from Simon Marlow's message of Wed Apr 20 05:28:43 -0400 2011: > On 19/04/2011 22:58, Edward Z. Yang wrote: > > A sanity check on this patch would be nice. Note that I need to > > update the lint check with this change. > > Don't you mean "Sp is always *greater* than SpLim"? Uhh, yes.

Re: [PATCH] Eliminate GC check when no extra stack is used.

2011-04-20 Thread Simon Marlow
On 19/04/2011 22:58, Edward Z. Yang wrote: A sanity check on this patch would be nice. Note that I need to update the lint check with this change. Don't you mean "Sp is always *greater* than SpLim"? I wonder whether this would be better done at a higher level, i.e. don't generate a stack che

Re: [PATCH] Eliminate GC check when no extra stack is used.

2011-04-19 Thread Edward Z. Yang
A sanity check on this patch would be nice. Note that I need to update the lint check with this change. Edward Excerpts from Edward Z. Yang's message of Tue Apr 19 17:53:38 -0400 2011: > Signed-off-by: Edward Z. Yang > --- > compiler/cmm/CmmLint.hs|1 + > compiler/cmm/CmmStackLayou

[PATCH] Eliminate GC check when no extra stack is used.

2011-04-19 Thread Edward Z. Yang
Signed-off-by: Edward Z. Yang --- compiler/cmm/CmmLint.hs|1 + compiler/cmm/CmmStackLayout.hs | 13 + 2 files changed, 14 insertions(+), 0 deletions(-) diff --git a/compiler/cmm/CmmLint.hs b/compiler/cmm/CmmLint.hs index c14ad65..32fead3 100644 --- a/compiler/cmm/CmmLin