Re: [PATCH 2/7] jit: fix verify_correct_nesting() and add verify_no_recursion()

2009-07-15 Thread Pekka Enberg
Hi Tomek, 2009/7/15 Pekka Enberg : >> On Tue, 2009-07-14 at 21:12 +0200, Tomek Grabiec wrote: >>> verify_no_recursion() checks whether all call sites of given subroutine >>> all outside its body. It's a requirement for inlining to be possible. >> Does this mean we won't be able to inline all subro

Re: [PATCH 2/7] jit: fix verify_correct_nesting() and add verify_no_recursion()

2009-07-15 Thread Tomek Grabiec
2009/7/15 Pekka Enberg : > On Tue, 2009-07-14 at 21:12 +0200, Tomek Grabiec wrote: >> verify_no_recursion() checks whether all call sites of given subroutine >> all outside its body. It's a requirement for inlining to be possible. > > Does this mean we won't be able to inline all subroutines and th

Re: [PATCH 2/7] jit: fix verify_correct_nesting() and add verify_no_recursion()

2009-07-15 Thread Pekka Enberg
On Tue, 2009-07-14 at 21:12 +0200, Tomek Grabiec wrote: > verify_no_recursion() checks whether all call sites of given subroutine > all outside its body. It's a requirement for inlining to be possible. Does this mean we won't be able to inline all subroutines and thus need support for the 'jsr' an

[PATCH 2/7] jit: fix verify_correct_nesting() and add verify_no_recursion()

2009-07-14 Thread Tomek Grabiec
verify_no_recursion() checks whether all call sites of given subroutine all outside its body. It's a requirement for inlining to be possible. Signed-off-by: Tomek Grabiec --- jit/subroutine.c | 34 ++ 1 files changed, 30 insertions(+), 4 deletions(-) diff --git