Here you should find five binary files:

  ecdl.gcc281.ev4.gz
  ecdl.gcc281.ev5.gz

of about 16 K each and:

  ecdl.cc.alt2.ev4.non_shared.munged.for.linux.gz
  ecdl.cc.alt2.ev5.non_shared.munged.for.linux.gz
  ecdl.cc.alt2.ev6.non_shared.munged.for.linux.gz

of about 96K each.  They were produced by:

  gcc-2.8.1 -O4 -mcpu=ev4/5 ecdl2K-95.c -o whatever

on Linux and:

  cc.alt2 -O5 -tune ev4/5/6 -std1 -non_shared ecdl2K-95.c -o whatever

on Digital Unix (cc.alt2 is DEC's cc compiler version T5.8-005).

The ones compiled on Linux use the shared C library:

> ldd ecdl.gcc281.ev5
        libc.so.6 => /lib/libc.so.6 (0x0000015555558000)
        /lib/ld.so.1 => /lib/ld.so.1 (0x0000000000000000)


The ones compiled on Digital Unix are compiled non_shared and are
"munged" by changing /sbin/sh to /bin/sh so they will run on Linux.

To run: "gunzip", "chmod u+x" and read ../../ReadMe.

Typical speeds are 40 to 50 K iterations per second on a 300 MHz ev4
chip and 130 to 150 K on a 500 MHz ev5.

Please let me know of any problems.

  Rob
  (Robert.Harley@inria.fr)