Re: Lightning Digest, Vol 114, Issue 4

[Paulo César Pereira de Andrade]

Em dom., 6 de nov. de 2022 às 12:55, Francis McCabe
<frankmccabe@icloud.com> escreveu:

> Hi Paulo

  Hi Francis,

>  So, your suggestion definitely allowed more progress.
>
> I now get:
>
>  make CFLAGS="-D__OpenBSD__=1" check

  The commit
https://git.savannah.gnu.org/cgit/lightning.git/commit/?id=cf4e23aa06e07db3ce5a2debef7431add4b11674
 makes it build and pass all tests.

  But note that some tests were disabled, because stack arguments
are packed and the caller must adjust the argument. It is the inverse
of what Windows and any Unix or Unix like system ABI does.

  It is advisable to only use jit_word_t and jit_float64_t data types.

  To be fully compliant, it would be required to add support for packed
stack, and a new family of pusharg calls, for example:

jit_pushargr_c
jit_pushargr_uc

etc

  This is required because it would not be required to have:

jit_getarg_c and jit_getarg_uc

 because it is the caller that must zero or sign extend the argument.

  I am afraid lightning probably has been broken for 32 bit arm also
for significant time. But, for 32 bit, it should work if not using any
variadic function nor using types other than int, float and double.

  Due to a major issue with the 32 bit x86 compilation failure,
a new Lightning 2.1.5 release should be made soon. This will
include the patch listed above, to pass all tests in the sample
Apple M1.

> …
>
> FAIL: 3to2
>
> ln -s ./check.sh add
>
> FAIL: add
>
> ln -s ./check.sh align
>
> FAIL: align
>
> ln -s ./check.sh allocai
>
> FAIL: allocai
>
> ln -s ./check.sh allocar
>
> FAIL: allocar
>
> ln -s ./check.sh bp
>
> FAIL: bp
>
> ln -s ./check.sh divi
>
> FAIL: divi
>
> ln -s ./check.sh fib
>
> FAIL: fib
>
> ln -s ./check.sh rpn
>
> FAIL: rpn
>
> ln -s ./check.sh ldstr
>
> PASS: ldstr
>
> ln -s ./check.sh ldsti
>
> PASS: ldsti
>
> ln -s ./check.sh ldstxr
>
> PASS: ldstxr
>
>
> …
>
> ============================================================================
>
> Testsuite summary for GNU lightning 2.1.4
>
> ============================================================================
>
> # TOTAL: 64
>
> # PASS:  46
>
> # SKIP:  0
>
> # XFAIL: 0
>
> # FAIL:  18
>
> # XPASS: 0
>
> # ERROR: 0
>
> ============================================================================
>
> See check/test-suite.log
>
> Please report to pcpa@gnu.org
>
> ============================================================================
>
>
>
>
> Looking forward to seeing more progress :)
>
> Francis
>
> On Nov 6, 2022, at 2:31 AM, Paulo César Pereira de Andrade 
> <paulo.cesar.pereira.de.andrade@gmail.com> wrote:
>
> Em dom., 6 de nov. de 2022 às 02:30, Francis McCabe
> <frankmccabe@icloud.com> escreveu:
>
>  Hi Francis,
>
> So, I am having a hard time with this stuff:
>
> I can’t use gdb, because it is not compiled for arm. I can use clang & lldb 
> however.
> I can’t seem to find my way through the thicket of libtool and auto tool 
> junk. In particular, I can’t figure out what is the actual executable that I 
> can use to load into lldb.
>
>
>  Sorry for this issue. My bad as I had access to this system
> https://cfarm.tetaneutral.net/news/41#
>
>  When reading your email, I mostly guessed what could be wrong.
>
>  I just tested in gcc104, and you can get it to mostly work if building as:
>
> $ ./configure --enable-assertions CFLAGS="-D__OpenBSD__=1"
> $ make CFLAGS="-D__OpenBSD__=1"
>
>  Fixing the above is trivial.
> The major problem should be a different ABI for variadic functions.
>
>  It should also be mostly trivial. It appears to use a very simple
> va_list as described at
> https://developer.apple.com/documentation/xcode/writing-arm64-code-for-apple-platforms
>
>  Doing some initial work/research with a very simple example I get:
>
> gcc104:check pcpa$ lldb .libs/lightning
> ...
> (lldb) r add.tst
> error: process exited with status -1 (this is a non-interactive debug
> session, cannot get permission to debug processes.)
>
> apparently need some special procedures if running in a ssh connection.
>
>  But hopefully  it will not be required to be able to use a debugger as
> long as my guesses are right :), and fixing the lldb issue probably
> needs sudo privilege.
>
>  I believe I will not be able to work on it early today. But hopefully
> by tomorrow I will have a patch.
>
>  Sorry for not having properly tested it for the Lightning 2.1.4 release.
>
>
> On Nov 5, 2022, at 9:00 AM, lightning-request@gnu.org wrote:
>
> Send Lightning mailing list submissions to
>      lightning@gnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>      https://lists.gnu.org/mailman/listinfo/lightning
> or, via email, send a message with subject or body 'help' to
>      lightning-request@gnu.org
>
> You can reach the person managing the list at
>      lightning-owner@gnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Lightning digest..."
>
>
> Today's Topics:
>
>  1. Re: Lightning Digest, Vol 114, Issue 2 (Marc Nieper-Wißkirchen)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sat, 5 Nov 2022 16:58:21 +0100
> From: Marc Nieper-Wißkirchen <marc.nieper+gnu@gmail.com>
> To: Francis McCabe <frankmccabe@icloud.com>
> Cc: Marc Nieper-Wißkirchen <marc.nieper+gnu@gmail.com>,
>      lightning@gnu.org
> Subject: Re: Lightning Digest, Vol 114, Issue 2
> Message-ID:
>      <CAEYrNrTfrHDazMtifwCdgH5aS0mnBS+Lms5pXKs9Nra8HBh2Rw@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> Am Sa., 5. Nov. 2022 um 15:54 Uhr schrieb Francis McCabe
> <frankmccabe@icloud.com>:
>
>
> It hangs on that 3ro2 test. If I control-c then it cleans up that log file
>
>
> Can you run it with gdb?
>
>
> Sent from my iPhone
>
> On Nov 5, 2022, at 6:24 AM, Marc Nieper-Wißkirchen 
> <marc.nieper+gnu@gmail.com> wrote:
>
> Am Sa., 5. Nov. 2022 um 06:59 Uhr schrieb Francis McCabe
> <frankmccabe@icloud.com>:
>
>
> I tried downloading and building lightning-2.1.4
>
> On my mac M1
>
> make check hangs on 3to2
>
> Is this ever going to get fixed?
>
>
> Can you be a bit more precise about what actually happens?  Or does
> the process crash without any output?
>
>
> Francis
> P.S. If not, then I will not bother y’all again.
>
> On Nov 4, 2022, at 9:00 AM, lightning-request@gnu.org wrote:
>
>
> Send Lightning mailing list submissions to
>    lightning@gnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>    https://lists.gnu.org/mailman/listinfo/lightning
> or, via email, send a message with subject or body 'help' to
>    lightning-request@gnu.org
>
> You can reach the person managing the list at
>    lightning-owner@gnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Lightning digest..."
>
>
> Today's Topics:
>
> 1. GNU lightning 2.1.4 release (Paulo César Pereira de Andrade)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 4 Nov 2022 09:54:01 -0300
> From: Paulo César Pereira de Andrade
>    <paulo.cesar.pereira.de.andrade@gmail.com>
> To: lightning <lightning@gnu.org>
> Subject: GNU lightning 2.1.4 release
> Message-ID:
>    <CAHAq8pGNRjSo_hoUyduATCc6GRQs4utGJkA5h4Qxa4cOvrDwaQ@mail.gmail.com>
> Content-Type: text/plain; charset="UTF-8"
>
> GNU lightning 2.1.4 released!
>
> GNU lightning is a library to aid in making portable programs
> that compile assembly code at run time.
>
> Development:
> http://git.savannah.gnu.org/cgit/lightning.git
>
> Download release:
> ftp://ftp.gnu.org/gnu/lightning/lightning-2.1.4.tar.gz
>
> 2.1.4 main features are the new Loongarch port, currently supporting
> only Linux 64 bit, and a new rewrite of the register live and
> unknown state logic. Now it should be faster to generate code.
>
> The matrix of built and tested environments is:
> aarch64        Linux
> alpha        Linux (QEMU)
> armv7l        Linux (QEMU)
> armv7hl        Linux (QEMU)
> hppa        Linux (32 bit, QEMU)
> i686        Linux, FreeBSD, NetBSD, OpenBSD and Cygwin/MingW
> ia64        Linux
> mips        Linux
> powerpc32    AIX
> powerpc64    AIX
> powerpc64le    Linux
> riscv        Linux
> s390        Linux
> s390x        Linux
> sparc        Linux
> sparc64        Linux
> x32        Linux
> x86_64        Linux and Cygwin/MingW
>
> ------------------------------------------------------------------------
>
> Highlights are:
>
> o Faster jit generation.
> o New loongarch port.
> o New skip instruction and rework of the align instruction.
> o New bswapr_us, bswapr_ui, bswapr_ul byte swap instructions.
> o New movzr and movnr conditional move instructions.
> o New casr and casi atomic compare and swap instructions.
> o Use short unconditional jumps and calls to forward, not yet defined labels.
> o And several bug fixes and optimizations.
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Lightning mailing list
> Lightning@gnu.org
> https://lists.gnu.org/mailman/listinfo/lightning
>
>
> ------------------------------
>
> End of Lightning Digest, Vol 114, Issue 2
> *****************************************
>
>
>
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Lightning mailing list
> Lightning@gnu.org
> https://lists.gnu.org/mailman/listinfo/lightning
>
>
> ------------------------------
>
> End of Lightning Digest, Vol 114, Issue 4
> *****************************************
>
>
>
> Thanks,
> Paulo

Thanks!
Paulo