Re: [Gcl-devel] [PATCH 00/11] Add support for AArch64

[Camm Maguire]

Greetings, and thanks so much for this!!

Am assuming aarch64 is some sort of 64bit arm.


Will Newton <address@hidden> writes:

> This patch series allows building gcl on AArch64. The series is ordered
> roughly in order of patch quality, with the final patch being a hack
> to #ifdef out some x86 code that presumably should be #ifdefed in a
> more subtle manner.
>
> Most of the patches are not AArch64 specific but are general issues that
> I hit during the porting process. I was building with gcc 4.8 on Ubuntu
> Trusty.
>
> The port requires using --enable-dlopen --disable-custreloc as the
> branch range on AArch64 is +/-128MB and the heap soon gets too large
> to branch between the loaded code objects. The maxpage tweak was an
> effort to avoid that issue but it just delayed the inevitable.
>

More on your patches later, but dlopen is really a last resort.  The
limitation on open file descriptors alone makes it almost useless for
acl2.  We have many custreloc targets making use of some sort of
trampoline, and I'd be happy to implement the same here, if machine
access can be made available.  The quickest though non-optimal custreloc
port is usually via some -mlongcalls switch to gcc.  Is this available
here?

Take care,


> Will Newton (11):
>   config.{sub,guess}: Update to latest versions of GNU config
>   o/main.c: Ensure cs_org is always pointer aligned
>   Add support for AArch64
>   Reorder code to avoid problems with dis-asm.h defining DEFUN.
>   Always pass a va_list as the last arg of call_proc_new
>   Check for preceding NULL in find_init_name1
>   Fix handling of varargs in sSuniversal_error_handler
>   Handle dladdr failure correctly
>   Avoid looking up dynamic symbols in the executable
>   Reduce threshold for increasing maxpage
>   Hack to disable x86 floating point code
>
>  gcl/cmpnew/gcl_cmpcall.lsp  |   4 +-
>  gcl/config.guess            | 560 
> +++++++++++++++++++-------------------------
>  gcl/config.sub              | 298 ++++++++++++++---------
>  gcl/configure               |  19 +-
>  gcl/configure.in            |   6 +-
>  gcl/h/aarch64-linux.h       |   5 +
>  gcl/h/elf64_aarch64_reloc.h |  43 ++++
>  gcl/lsp/gcl_dl.lsp          |   4 +-
>  gcl/o/alloc.c               |   4 +-
>  gcl/o/cfun.c                |   8 +-
>  gcl/o/cmpaux.c              |   2 +-
>  gcl/o/error.c               |   4 +-
>  gcl/o/main.c                |  84 ++++---
>  gcl/o/usig.c                |   4 +-
>  14 files changed, 561 insertions(+), 484 deletions(-)
>  mode change 100755 => 100644 gcl/config.guess
>  mode change 100755 => 100644 gcl/config.sub
>  create mode 100755 gcl/h/aarch64-linux.h
>  create mode 100644 gcl/h/elf64_aarch64_reloc.h

-- 
Camm Maguire                                        address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah