SwiftX optimizer and IF some-subroutine-call EXIT THEN

SwiftX does proper tail call elimination on "IF single-subroutine-call
EXIT THEN" but it still produces the uneccesary conditional branch around
the unconditonal branch. Is there any way to bypass the extra branch and
just do one conditional branch? The conditonal branch would be the inverse
of the what the IF produces.

I think IF single-subroutine-call EXIT THEN can be optimized on a per word
basis, but can't be done globally.

From what I've worked with I think "IF foo EXIT THEN" might be able to be
optimized, but it has been a while since I tried it.

Dwight
----------------------------------------------------------------------
swiftx_at_forth.com The SwiftX programming discussion email list
To unsubscribe, send subject "unsubscribe" to swiftx-request_at_forth.com
For list command help, send subject "help" to swiftx-request_at_forth.com
Message archives are located at http://www.forth.com/archive/swiftx
----------------------------------------------------------------------
This list is a forum for SwiftX users. For product support and bug
reports, please send email to support_at_forth.com
----------------------------------------------------------------------
Received on Fri Jul 02 2004 - 06:05:50 PDT