Re: Lightning Digest, Vol 114, Issue 4

[Paulo César Pereira de Andrade]

Em seg., 7 de nov. de 2022 às 11:50, Paulo César Pereira de Andrade
<paulo.cesar.pereira.de.andrade@gmail.com> escreveu:
>
> 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

  I will wait a few more days before a new release, and once I
have enough time I plan to implement (but no guarantees) the new:

jit_code_pushargr_c, jit_code_pushargr_uc,
jit_code_pushargr_s, jit_code_pushargr_us,
jit_code_pushargr_i, jit_code_pushargr_ui

that would be aliases to jit_pushargr and jit_pushargi
on environments other than __APPLE__. Then, for __APPLE__
would add extra code to make a packed stack based on the
pusharg*_T and getarg*_T pairs. Basically only need to update
offsets, as it already uses ldx*_T and stx*_T, just that it does
not use a packed stack layout as all other ports do not need it.

>   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