Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.forth > #42988

Re: Stoked

From rickman <gnuarm@gmail.com>
Newsgroups comp.lang.forth
Subject Re: Stoked
Date 2015-10-30 01:33 -0400
Organization A noiseless patient Spider
Message-ID <n0uvb7$17n$1@dont-email.me> (permalink)
References (5 earlier) <e5f5c82d-8446-42ed-838b-da8d232ac285@googlegroups.com> <n0trvd$n12$1@dont-email.me> <9e9c6415-26fd-4093-a89a-fb537f718505@googlegroups.com> <n0u0jp$a1o$1@dont-email.me> <6cc25a67-4328-42c2-a282-a8f31434d3f7@googlegroups.com>

Show all headers | View raw


On 10/29/2015 7:47 PM, mhx@iae.nl wrote:
> On Thursday, October 29, 2015 at 9:49:02 PM UTC+1, rickman wrote:
>> On 10/29/2015 4:27 PM, mhx@iae.nl wrote:
>>> On Thursday, October 29, 2015 at 8:29:54 PM UTC+1, rickman wrote:
>>>> On 10/29/2015 2:31 PM, mhx@iae.nl wrote:
> [..]
>>
>> I guess it all depends on what code the tools generate, but this might
>> be shorter yet since it should only have one branch in the loop.
>>
>> : inner begin 1- dup 0= until ;
>>
>> : test dup if inner then drop ;
>
> FORTH> : inner begin 1- dup 0= until ;   ok
> FORTH> : test dup if inner then drop ;   ok
> FORTH> timer-reset 1e8 f>s test .elapsed 0.026 seconds elapsed. ok
> FORTH> ' test idis
> $01220B80  : test
> $01220B8A  pop           rbx
> $01220B8B  cmp           rbx, 0 b#
> $01220B8F  je            $01220BA9 offset NEAR
> $01220B95  mov           rax, rax
> $01220B98  lea           rdi, [rbx -1 +] qword
> $01220B9C  cmp           rdi, 0 b#
> $01220BA0  mov           rbx, rdi
> $01220BA3  jne           $01220B98 offset NEAR
> $01220BA9  ;
>
> Indeed, I doubt that can be improved.

Wow, I'm surprised it was so much faster.  Looks like the code was 
inlined with inner being inserted into test rather than called.  That 
call was not of great consequence since it would only be executed once. 
  Still that's pretty nice.

-- 

Rick

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 09:04 -0700
  Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 09:18 -0700
    Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-28 12:35 -0400
      Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 09:54 -0700
        Re: Stoked lehs <skydda.barnen@gmail.com> - 2015-10-28 10:35 -0700
        Re: Stoked Jason Damisch <jasondamisch@yahoo.com> - 2015-10-28 11:21 -0700
        Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-28 14:24 -0400
          Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 13:12 -0700
            Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-28 16:31 -0400
          Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 14:55 -0700
            Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-29 01:36 -0400
          Re: Stoked Alfred Singlestone <vitonis@gmail.com> - 2015-10-30 06:01 -0700
            Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-30 13:22 -0400
          Re: Stoked Marcos Cruz <use_the_contact_page@programandala.net> - 2015-11-07 17:50 +0000
            Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-07 13:04 -0500
              Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-07 10:19 -0800
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 08:29 -1000
                Re: Stoked hughaguilar96@gmail.com - 2015-11-07 13:28 -0800
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-07 13:33 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-07 16:40 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-07 14:25 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-07 18:03 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-07 15:22 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 01:13 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-07 22:35 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 01:58 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-07 23:17 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 02:49 -0500
                Re: Stoked Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-11-08 00:06 -0800
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 01:40 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 15:18 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 13:31 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 17:19 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-11 20:49 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-12 00:57 -0500
                Re: Stoked hughaguilar96@gmail.com - 2015-11-11 22:24 -0800
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-11 23:34 -0800
                Re: Stoked Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-11-12 00:03 -0800
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-12 19:37 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-12 15:24 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-12 13:18 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-12 16:40 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-12 20:59 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-13 01:50 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-12 23:11 -0800
                Re: Stoked forthisit@gmail.com - 2015-11-12 13:47 -0800
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-12 16:27 -0800
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-12 12:18 -1000
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-13 00:28 -0800
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-11 22:37 -1000
                Re: Stoked hughaguilar96@gmail.com - 2015-11-12 23:37 -0800
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-09 14:19 +0000
                Re: Stoked Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-23 07:47 +0100
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-23 11:27 +0000
                Re: Stoked Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-23 13:43 +0100
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-08 12:49 -1000
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 19:20 -0500
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 23:44 -1000
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-08 18:23 +0000
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 10:32 -0800
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-08 18:45 +0000
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 10:53 -0800
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-08 21:25 +0000
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 14:09 -0800
                Re: Stoked "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-11-09 05:32 -0500
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-09 14:58 +0000
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 23:42 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 21:11 -0800
                Re: Stoked Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-15 12:50 +0100
                Re: Stoked Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-11-07 23:56 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 03:24 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 01:31 -0800
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 23:57 -1000
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 02:18 -0800
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-08 08:33 -1000
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-09 00:07 -0500
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-08 23:49 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 21:06 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-09 00:20 -0500
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-08 22:51 -0800
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-09 02:22 -0500
                Re: Stoked Alfred Singlestone <vitonis@gmail.com> - 2015-11-10 04:32 -0800
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-10 13:48 +0000
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-10 16:17 -0500
                Re: Stoked "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-11-10 17:26 -0500
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-08 21:50 -1000
                Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-11-09 12:15 +0000
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-09 15:09 +0000
                Re: Stoked Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-24 09:47 +0100
                Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-11-24 12:54 +0000
                Re: Stoked Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-24 15:03 +0100
                Emulating a 16-bit Forth Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-25 13:18 +0100
                Re: Emulating a 16-bit Forth Lars Brinkhoff <lars.spam@nocrew.org> - 2015-11-25 14:08 +0100
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-09 14:30 +0000
                Re: Stoked Bernd Linsel <bl1@gmx.com> - 2015-11-09 18:27 +0100
                Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-10 00:50 -0800
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 23:52 -1000
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 23:16 -1000
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 23:07 -1000
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-08 17:58 +0000
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-11-07 12:00 -1000
                Re: Stoked Albert van der Horst <albert@spenarnc.xs4all.nl> - 2015-11-08 17:49 +0000
        Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-10-28 23:24 +0000
          Re: Stoked Jason Damisch <jasondamisch@yahoo.com> - 2015-10-28 17:30 -0700
          Re: Stoked Waldek Hebisch <hebisch@antispam.uni.wroc.pl> - 2015-10-29 02:40 +0000
            Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-10-29 10:11 +0000
          Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 21:07 -0700
            Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-10-28 21:16 -0700
            Re: Stoked franck.bensusan@gmail.com - 2015-10-29 01:35 -0700
            Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-10-29 10:16 +0000
              Re: Stoked lehs <skydda.barnen@gmail.com> - 2015-10-29 03:35 -0700
                Re: Stoked lehs <skydda.barnen@gmail.com> - 2015-10-29 03:48 -0700
          Re: Stoked mhx@iae.nl - 2015-10-29 11:31 -0700
            Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-29 12:01 -0700
              Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-10-29 12:26 -0700
            Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-29 15:29 -0400
              Re: Stoked mhx@iae.nl - 2015-10-29 13:27 -0700
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-29 16:48 -0400
                Re: Stoked josv@planet.nl - 2015-10-29 14:58 -0700
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-30 01:36 -0400
                Re: Stoked josv@planet.nl - 2015-10-30 04:34 -0700
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-30 13:28 -0400
                Re: Stoked josv@planet.nl - 2015-10-30 12:05 -0700
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-30 15:32 -0400
                Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-10-30 18:53 -1000
                Re: Stoked josv@planet.nl - 2015-11-01 04:28 -0800
                Re: Stoked hughaguilar96@gmail.com - 2015-11-03 22:27 -0800
                Re: Stoked mhx@iae.nl - 2015-10-29 16:47 -0700
                Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-30 01:33 -0400
                Re: Stoked mhx@iae.nl - 2015-10-31 00:55 -0700
                Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-10-30 11:52 +0000
              Re: Stoked josv@planet.nl - 2015-10-29 14:49 -0700
              Re: Stoked stephen@mpeforth.com (Stephen Pelc) - 2015-10-30 11:50 +0000
    Re: Stoked Hans Bezemer <the.beez.speaks@gmail.com> - 2015-10-28 18:39 +0100
      Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 11:11 -0700
        Re: Stoked Hans Bezemer <the.beez.speaks@gmail.com> - 2015-10-28 20:01 +0100
        Re: Stoked hughaguilar96@gmail.com - 2015-10-28 12:34 -0700
          Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 13:09 -0700
    Re: Stoked François <francois.ganza@wanadoo.fr> - 2015-10-28 15:25 -0700
      Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 21:01 -0700
        Re: Stoked "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-10-29 01:58 -0400
          Re: Stoked Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-10-28 23:34 -0700
        Re: Stoked Lars Brinkhoff <lars.spam@nocrew.org> - 2015-10-29 08:56 +0100
    Re: Stoked "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-10-28 18:41 -0400
      Re: Stoked josv@planet.nl - 2015-10-29 05:28 -0700
      Re: Stoked "Rod Pemberton" <boo@fasdfrewar.cdm> - 2015-12-12 11:25 -0500
        Re: Stoked "Elizabeth D. Rather" <erather@forth.com> - 2015-12-12 08:43 -1000
          Re: Stoked hughaguilar96@gmail.com - 2015-12-16 13:45 -0800
            Re: Stoked hughaguilar96@gmail.com - 2015-12-17 10:26 -0800
        Re: Stoked Rob Sciuk <rob@controlq.com> - 2015-12-13 23:29 -0500
          Re: Stoked Raimond Dragomir <raimond.dragomir@gmail.com> - 2015-12-13 22:31 -0800
    Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-10-28 15:52 -0700
      Re: Stoked anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-29 16:57 +0000
        Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-10-29 12:36 -0700
          Re: Stoked anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-31 14:57 +0000
            Re: Stoked Bernd Paysan <bernd.paysan@gmx.de> - 2015-10-31 20:25 +0100
        Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-11-03 20:39 -0800
    Re: Stoked Pablo Hugo Reda <pabloreda@gmail.com> - 2015-10-28 16:27 -0700
    Re: Stoked Alfred Singlestone <vitonis@gmail.com> - 2015-10-30 05:57 -0700
    Re: Stoked "HAA" <someone@microsoft.com> - 2015-11-02 13:15 +1100
      Re: Stoked François <francois.ganza@wanadoo.fr> - 2015-11-02 02:08 -0800
  Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-10-28 09:28 -0700
    Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 09:37 -0700
      Re: Stoked Paul Rubin <no.email@nospam.invalid> - 2015-10-28 10:28 -0700
  Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 10:52 -0700
    Re: Stoked anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2015-10-28 18:14 +0000
  Re: Stoked François <francois.ganza@wanadoo.fr> - 2015-10-28 15:20 -0700
    Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-28 21:16 -0700
  Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-10-30 12:13 -0700
    Re: Stoked rickman <gnuarm@gmail.com> - 2015-10-30 15:34 -0400
  Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-11-07 13:57 -0800
    Re: Stoked rickman <gnuarm@gmail.com> - 2015-11-07 17:19 -0500
  Re: Stoked François <francois.ganza@wanadoo.fr> - 2015-11-09 00:10 -0800
  Re: Stoked Chris Curl <ccurl609@gmail.com> - 2015-12-12 18:52 -0800

csiph-web