--- gforth/kernel/cond.fs	2000/09/23 15:47:09	1.10
+++ gforth/kernel/cond.fs	2007/12/31 17:34:59	1.21
@@ -1,6 +1,6 @@
 \ Structural Conditionals                              12dec92py
 
-\ Copyright (C) 1995,1996,1997,2000 Free Software Foundation, Inc.
+\ Copyright (C) 1995,1996,1997,2000,2003,2004,2007 Free Software Foundation, Inc.
 
 \ This file is part of Gforth.
 
@@ -105,12 +105,17 @@ variable backedge-locals
 
 \ Structural Conditionals                              12dec92py
 
+defer other-control-flow ( -- )
+\ hook for control-flow stuff that's not handled by begin-like etc.
+
 : ?struc      ( flag -- )       abort" unstructured " ;
 : sys?        ( sys -- )        dup 0= ?struc ;
 : >mark ( -- orig )
- cs-push-orig 0 , ;
-: >resolve    ( addr -- )        here over - swap ! ;
-: <resolve    ( addr -- )        here - , ;
+ cs-push-orig 0 , other-control-flow ;
+: >resolve    ( addr -- )
+    here swap !
+    basic-block-end ;
+: <resolve    ( addr -- )        , ;
 
 : BUT
     1 cs-roll ;                      immediate restrict
@@ -146,7 +151,7 @@ immediate restrict
 \ people who have not been brought up with Forth (or who have been
 \ brought up with fig-Forth).
 
-: ELSE ( compilation orig1 -- orig2 ; run-time f -- ) \ core
+: ELSE ( compilation orig1 -- orig2 ; run-time -- ) \ core
     POSTPONE ahead
     1 cs-roll
     POSTPONE then ; immediate restrict
@@ -155,7 +160,8 @@ Defer begin-like ( -- )
 ' noop IS begin-like
 
 : BEGIN ( compilation -- dest ; run-time -- ) \ core
-    begin-like cs-push-part dest ; immediate restrict
+    begin-like cs-push-part dest
+    basic-block-end ; immediate restrict
 
 Defer again-like ( dest -- addr )
 ' nip IS again-like
@@ -299,12 +305,13 @@ Defer exit-like ( -- )
 ' noop IS exit-like
 
 : EXIT ( compilation -- ; run-time nest-sys -- ) \ core
-    \G Return to the calling definition; usually used as a way of
-    \G forcing an early return from a definition. Before
-    \G @code{EXIT}ing you must clean up the return stack and
-    \G @code{UNLOOP} any outstanding @code{?DO}...@code{LOOP}s.
+\G Return to the calling definition; usually used as a way of
+\G forcing an early return from a definition. Before
+\G @code{EXIT}ing you must clean up the return stack and
+\G @code{UNLOOP} any outstanding @code{?DO}...@code{LOOP}s.
     exit-like
     POSTPONE ;s
+    basic-block-end
     POSTPONE unreachable ; immediate restrict
 
 : ?EXIT ( -- ) ( compilation -- ; run-time nest-sys f -- | nest-sys ) \ gforth