OpenBSD Mail Box: Re: GHC on OpenBSD/arm64?

All the object files in the stage 2 build directory are aarch64, except

the GHC binary itself; now, I don't know why this happens, but this line

seems a little weird in hadrian/src/Rules/Program.hs:

-- For cross compiler, copy @stage0/bin/<pgm>@ to @stage1/bin/@.

Anyway, with the hello world program I mentioned I built using stage 1,

I ran it with LLDB in the OpenBSD/arm64 machine, and it segfaults here:

(lldb) run

Process 66875 launched: '/home/habib/hello' (aarch64)

Process 66875 stopped

* thread #1, stop reason = signal SIGSEGV

frame #0: 0x0000000000a2c3a0 hello`stg_enter_info + 24

hello`stg_enter_info:

-> 0xa2c3a0 <+24>: ldur w15, [x17, #-0x8]

0xa2c3a4 <+28>: sxtw x15, w15

0xa2c3a8 <+32>: mov x14, #0x1a

0xa2c3ac <+36>: cmp x15, x14

(lldb)

I saw an old ticket for macOS where it errors on the line before the

ldur (which you can't see here), because it accesses the reserved x18

where,

due to GHC not yet having tested or even specifically designed for, the

OpenBSD/arm64 compilation target, maybe there's some OpenBSD-specific

thing that hasn't been accounted for that the OpenBSD devs know about.

If an OpenBSD dev wants to look at it, I can send the binary or an

assembly dump of it as an attachment, however you want. I can then let

the GHC developers know where their aarch64 output is wrong for OpenBSD.

I'll try using the LLVM backend to compile the hello world program,

since that obviously supports OpenBSD/arm64, so I don't see it

outputting incorrect assembly for a hello world program for that target.

I might or might not keep working on this today, but I'll try and get

back in with another progress update tomorrow evening.

Cheers,
Habib

On 30 Oct 2024, at 12:53, ⁨حبيب محمد الأمين محمد الهـاد⁩ <⁨ha.alamin@gmail.com⁩> wrote:

Progress update: stage 2 compiler built, kind of, this morning after 7
hours overnight. It turns out it built an amd64 binary.

Note: use --with-intree-gmp. Also, it by default doesn't find
libiconv, not even the version installed in the amd64 system;
anyway, I just pointed it to the one in the aarch64 sysroot using
--with-libiconv-{includes,libraries}, and that worked (so I don't even
understand how it built an amd64 binary).

Okay, but the build system built the libraries for stage 1 as a
dependency of this so that the stage 1 compiler could actually run, so
I was able to manually compile a hello world program with it this time
without a missing Prelude — passing in --target= to -opta, -optc,
-optl, and --sysroot to one of them as well — and I saw that it was an
aarch64 binary.

I'm sure I'm passing the same arguments to the build of the stage 2
compiler, but knowing the build system, I'm sure there's some place
where it's getting missed. Still, it can't be a mixture of aarch64 and
amd64, so I need to figure out what's going on, because a lot of stuff
was complaining about not finding the sysroot and I'd fix that, or the
assembler wasn't understanding the instructions, so I specified to the
assembler that it's aarch64, and that fixed it, etc.

Anyway, when I scp'd that hello world binary to the OpenBSD/arm64 system
I took the sysroot from and ran it, it segfaulted.

Cheers,
Habib

On 29 Oct 2024, at 18:29, ⁨حبيب محمد الأمين محمد الهـاد⁩ <⁨ha.alamin@gmail.com⁩> wrote:

Just a correction to my previous message. I meant sigevent, not
timer_create; the timer_* stuff was just warnings, what's really missing
is struct sigevent, which seems to usually be defined in signal.h,
including in FreeBSD.

And it's not just header checking, the configure script actually checks
that a program with timer_create can compile and link, and it reports
yes (correctly), but can't run the test that it actually works (with
sigevent and everything plumbed in) when cross-compiling;

"checking for a working timer_create", emphasis on "working"
doesn't show up in the config.log but does in the configure script where
it writes a test program with sigevent, and the configure script makes
it obvious that it can't run this test when cross-compiling.

It optimistically assumes that timer_create works with sigevent and
all that when cross-compiling… which it doesn't. So I guess GHC's
configure script needs to learn so it knows this when cross-compiling on
OpenBSD. I'll hack it for now to see if the build otherwise works.

Cheers,
Habib

On 29 Oct 2024, at 14:49, ⁨حبيب محمد الأمين محمد الهـاد⁩ <⁨ha.alamin@gmail.com⁩> wrote:

Thanks Greg. Yeah, I saw you mention that in the GitLab and attempted it, but could not make heads or tails.

Anyway, my current obstacle is a lack of timer_create in OpenBSD. There's fallback code, but the configure isn't recognising the feature lack (maybe it's only checking the headers signal.h and time.h which both exist, haven't dug in yet).

Cheers,
Habib

On 28 Oct 2024, at 18:36, Greg Steuck <greg@nest.cx> wrote:

Habib, I just wanted to tell you that I am following your progress, just don't have time yet to reproduce nor much insight to share. Thank you for digging into this, I know it's a hard slog.

One thing that occurred to me some time ago was to try comparing the runs upstream does in their working cross-environment to what we attempt. Their setup is heavily factored, so we can't easily extract the relevant command lines. Looking at their logs might be illuminating, also running the same environment under linux might help. None of it is easy or fun.

‪On Sat, Oct 26, 2024 at 10:52 PM ‫حبيب محمد الأمين محمد الهـاد‬‎ <ha.alamin@gmail.com> wrote:‬
Progress report:

- I managed to build the C parts of rts through Hadrian. It proved
impossible to pass multiple options via LDFLAGS, as Hadrian doesn't
allow spaces in arguments passed to tools. I fixed this with a
bin/clang-with-sysroot-env shim.
- There are some (C) libraries built without a Cabal file, like
libffi, and there seems to be no way to pass arguments through
Hadrian to control these builds.
- Using $CONF_GCC_LINKER_OPTS_STAGE{0,1,2} seems to work and passes
through arguments with spaces to both rts and libffi; I had tried
$CONF_LD_LINKER_OPTS_STAGE{0,1,2} before, but the compiler binary
is called as a linker, so only the former arguments to configure
work to control flags to the linker (even for Clang). Anyway,
I still seem to require the shim, despite it seeming to pass
arguments to rts, but whatever, it gets me past the libffi build.
- To get any further than that, to compile libffi, I had to edit the
Hadrian code directly (it's part of the GHC source tree).

I'm now working on getting the Haskell parts of rts to compile
without "invalid instruction mnemonic" errors; so far,
with some more arguments via Hadrian to GHC of the form
-optl--host=aarch64-unknown-openbsd (and similar), I can get it to
compile a little bit instead of blowing up with the errors straight
away, but it does eventually spit out the same errors, just further
along in the build.

Cheers,
Habib

On 25 Oct 2024, at 15:48, ⁨حبيب محمد الأمين محمد الهـاد⁩ <⁨ha.alamin@gmail.com⁩> wrote:

For some reason, pretty much all the options aren't getting passed
through to cabal configure. These are the log messages for what
arguments get passed to cabal configure and ultimately to configure (rts
is the part of the build that fails with the missing libpthread and libm
I mentioned in my previous message):

# | Package 'rts' configuration flags: configure --distdir /home/habib/ghc-9.10.1/_build/stage1/rts --disable-executable-stripping --disable-library-stripping --disable-executable-stripping --disable-library-stripping --cabal-file rts/rts.cabal --ipid rts-1.0.2 --prefix ${pkgroot}/.. --htmldir ${pkgroot}/../../doc/html/libraries/rts-1.0.2 --with-ghc=/home/habib/ghc-9.10.1/_build/stage0/bin/aarch64-unknown-openbsd-ghc --with-ghc-pkg=/home/habib/ghc-9.10.1/_build/stage0/bin/aarch64-unknown-openbsd-ghc-pkg --with-gcc=clang --with-ar=/usr/local/bin/llvm-ar-13 --ghc-option=-no-global-package-db --ghc-option=-package-db=/home/habib/ghc-9.10.1/_build/stage1/inplace/package.conf.d --ghc-pkg-option=--global-package-db=/home/habib/ghc-9.10.1/_build/stage1/inplace/package.conf.d --enable-library-vanilla --disable-library-profiling --disable-library-for-ghci --disable-shared --with-ld=clang --with-alex=/usr/local/bin/alex --with-happy=/usr/local/bin/happy --configure-option=CFLAGS=-Qunused-arguments -iquote /home/habib/ghc-9.10.1/rts -Qunused-arguments --configure-option=LDFLAGS=--target=aarch64-unknown-openbsd --configure-option=--host=aarch64-unknown-openbsd --configure-option=--with-cc=clang --ghc-option=-ghcversion-file=rts/include/ghcversion.h --ghc-option=-ghcversion-file=rts/include/ghcversion.h --configure-option=LDFLAGS= --configure-option=CPPFLAGS= --extra-lib-dirs=/home/habib/ghc-9.10.1/aarch64-sysroot/usr/lib --extra-lib-dirs=/usr/lib --extra-include-dirs=/home/habib/ghc-9.10.1/aarch64-sysroot/usr/include --extra-include-dirs=/usr/include --ghc-option= --ghc-option= --ghc-option= --ghc-option= --ghc-option= -v3 --flags=-profiling -debug -dynamic threaded libm -librt -libdl -use-system-libffi libffi-adjustors need-pthread -libbfd -need-atomic -libdw -libnuma -libzstd -static-libzstd -leading-underscore -unregisterised tables-next-to-code -find-ptr -v2
[…]
Running: /bin/sh //home/habib/ghc-9.10.1/rts/configure '--with-compiler=ghc' '--prefix=${pkgroot}/..' 'CFLAGS=-Qunused-arguments -iquote /home/habib/ghc-9.10.1/rts -Qunused-arguments' 'LDFLAGS=--target=aarch64-unknown-openbsd' '--host=aarch64-unknown-openbsd' '--with-cc=clang' 'LDFLAGS=' 'CPPFLAGS=' 'CC=/usr/local/llvm13/bin/clang' '--host=aarch64-openbsd'

This is from running (on one line):

hadrian/build \
--docs=none \
--flavour=quickest \
"stage0.*.cabal.configure.opts += --configure-option=LDFLAGS= --configure-option=--target=aarch64-unknown-openbsd" \
"stage1.*.cabal.configure.opts += --configure-option=LDFLAGS=\"-syslibroot=$SYSROOT -L/usr/lib -L$SYSROOT/usr/lib\"" \
"stage1.*.cabal.configure.opts += --configure-option=CPPFLAGS=\"-isysroot=$SYSROOT -I/usr/include -I$SYSROOT/usr/include\"" \
"stage1.*.cabal.configure.opts += --extra-lib-dirs=$SYSROOT/usr/lib" \
"stage1.*.cabal.configure.opts += --extra-lib-dirs=/usr/lib" \
"stage1.*.cabal.configure.opts += --extra-include-dirs=$SYSROOT/usr/include" \
"stage1.*.cabal.configure.opts += --extra-include-dirs=/usr/include" \
"stage1.*.cabal.configure.opts += --ghc-option=\"-optl -L$SYSROOT/usr/lib\"" \
"stage1.*.cabal.configure.opts += --ghc-option=\"-optl -L/usr/lib\"" \
"stage1.*.cabal.configure.opts += --ghc-option=\"-optl -lpthread -lm\"" \
"stage1.*.cabal.configure.opts += --ghc-option=\"-optc -I$SYSROOT/usr/include\"" \
"stage1.*.cabal.configure.opts += --ghc-option=\"-optc -I/usr/include\"" \
"stage1.*.cabal.configure.opts += -v3" \
"stage1.*.ghc.hs.opts += \"-optl -L$SYSROOT/usr/lib\"" \
"stage1.*.ghc.hs.opts += \"-optl -L/usr/lib\"" \
"stage1.*.ghc.hs.opts += \"-optl -lpthread -lm\"" \
"stage1.*.ghc.hs.opts += \"-optc -I$SYSROOT/usr/include\"" \
"stage1.*.ghc.hs.opts += \"-optc -I/usr/include\"" \
"stage1.*.ghc.c.opts += -I$SYSROOT/usr/include -I/usr/include" \
"stage1.*.ghc.link.opts += -L$SYSROOT/usr/lib -L/usr/lib -lpthread -lm" \
"stage1.*.cc.c.opts += -L$SYSROOT/usr/lib -L/usr/lib -lpthread -lm" \
-VVVVVVVVVV --freeze1 \
stage2:exe:ghc-bin

It seems like pretty much none of the arguments are getting passed
through (unlike with the stage0 compilation, where I verified that the
flags I was giving to Hadrian were getting passed through).

I'm gonna create a ticket on GHC's Gitlab.

Cheers,
Habib

On 25 Oct 2024, at 13:20, ⁨حبيب محمد الأمين محمد الهـاد⁩ <⁨ha.alamin@gmail.com⁩> wrote:

What follows are my notes on where I'm at so far, how I got here, what
my next steps are, and some rambling and infodump that may be useful.

I managed to build the stage 1 compiler Wednesday. It seems to run as
expected, though I can't test actual compilation and whether it can
successfully output AArch64 binaries, as it (correctly) gives an error
about the lack of Prelude.

I spent yesterday trying to build the stage 2 compiler using the stage
1 compiler. By default, the configure tests fail at C compiler cannot
create executables, and the logs show this:

configure:2773: /usr/local/llvm13/bin/clang -Qunused-arguments -iquote /home/habib/ghc-9.10.1/rts -Qunused-arguments --target=aarch64-unknown-openbsd conftest.c >&5
ld: error: /tmp/conftest-0430b9.o is incompatible with /usr/lib/crt0.o
libraries: m, pthread".

However, by setting `-syslibroot` and `-isysroot` (indirectly and with
difficulty via Hadrian) to a folder containing the `/usr/lib` and
`/usr/include` directories from an OpenBSD/arm64 installation, as well
as including the , I managed to fix that error (so I know it's having an
effect), but then I get an error like this:

Error: hadrian: Missing dependencies on foreign libraries:
* Missing (or bad) C libraries: m, pthread
[…]
If the libraries are already installed but in a non-standard
location then you can use the flags --extra-include-dirs=
and --extra-lib-dirs= to specify where they are.

(I then added those flags as well, but no dice.)

Well, the sysroot definitely contains a `libpthread.so.27.1` (and a
libm.so.*); does it need to be symlinked without the version as well?
Perhaps my tar of it from an OpenBSD/arm64 installation didn't properly
capture the symlinks on the original installation?

Anyway, I won't be able to work on this much today, but I'm gonna try
increasing the verbosity of configure as the error message above (I've
elided this part) suggests, though I've already increased Hadrian's
verbosity as far as I can, not sure if it forwards that to the tools it
runs. I'm also gonna try and check that I shouldn't have a libpthread.so
symlink without the version suffix, and try and pass in the sysroot
and/or include and lib directories through GHC's -optl and -optc flags.

I searched for a while yesterday if there were any known issues with
building GHC on OpenBSD failing due to pthreads, but nothing fruitful.

Sorry I couldn't trim this message further, I'm in a bit of a rush. I
just wanted to leave this here with some notes in case one of you knows
something about building GHC on OpenBSD w/ pthreads, or in general the
interaction between GHC, OpenBSD, and pthreads. Or to hopefully stop you
wasting your time if you're still stuck on the stage 1 compiler (sorry,
I meant to send the initial version of this message on Wednesday, but
some things prevented me).

BTW, before I forget, steps to get a seemingly-working stage 1 compiler
(it seems to run fine, but I can't test compilation as it fails to
find the Prelude module; AFAICT, there's a complicated interplay here
between the libraries/package dbs for each stage of the compiler, and
the compilers themselves, but suffice to say that I'm gonna take the
building of the stage 2 compiler as the confirmation that stage 1 can
successfully compile AArch64 binaries):

export PATH="/usr/local/llvm13/bin:$PATH"
# I don't recall why this is needed, but I'm fairly sure it is
export LD_LIBRARY_PATH=/usr/local/llvm13/lib
export SYSROOT="$PWD/aarch64-sysroot" # populate this yourself

cabal update

# This isn't necessary for stage 1 to build, but I have a hunch it was
# holding me back from building stage 2 (which I still haven't). The
# configure script picks up clang-13 and all that, but not these tools,
# and I rebuilt on a freshly extracted source tree with these exports,
# and it still worked to build stage 1 (though it crapped out halfway
# through; I don't recall the error message, but I remember thinking it
# seemed transient, so I just restarted it and it seemed to resume from
# the same file, and I got a running stage 1 build that still fails to
# find Prelude)
export \
AR=/usr/local/bin/llvm-ar-13 \
RANLIB=/usr/local/bin/llvm-ranlib-13 \
LD=/usr/local/bin/ld.lld-13 \
OBJDUMP=/usr/local/bin/llvm-objdump-13 \
NM=/usr/local/bin/llvm-nm-13

./configure --target=aarch64-unknown-openbsd

# I wipe out the LDFLAGS because it erroneously had a flag
# `--host=aarch64-unknown-openbsd`, which it gets from the target;
# there's some discussion in Greg's link about how that's wrong, and
# questioning why it does that, so I just wiped that flag; it added
# `--target` as well, but that gets added through other means, too, and
# I even add it myself as you can see, though not sure how needed it is.
hadrian/build \
--docs=none \
--flavour=quickest \
"stage0.*.cabal.configure.opts += \
--configure-option=LDFLAGS= \
--configure-option=--target=aarch64-unknown-openbsd" \
stage1:exe:ghc-bin

# I'm trying this monster command now to build stage 2, I've tried
# most of the different flags in there with different variations, but
# not all together, and some I haven't. breaking it up into lines and
# paragraphs, but I paste all of these commands on one line. I've frozen
# the stage 1 compiler just in case something I do rebuilds it (it takes
# 4 hours on my 4 core, 8gb amd64 QEMU machine being emulated on an M1
# Pro).
hadrian/build \
--docs=none \
--flavour=quickest \

"stage0.*.cabal.configure.opts += \
--configure-option=LDFLAGS= \
--configure-option=--target=aarch64-unknown-openbsd" \

"stage1.*.cabal.configure.opts += \
--configure-option=LDFLAGS=\"-syslibroot=$SYSROOT -L/usr/lib -L$SYSROOT/usr/lib\" \
--configure-option=CPPFLAGS=\"-isysroot=$SYSROOT -I/usr/include -I$SYSROOT/usr/include\" \

--configure-option=--extra-lib-dirs=$SYSROOT/usr/lib\" \
--configure-option=--extra-lib-dirs=/usr/lib\" \
--configure-option=--extra-include-dirs=$SYSROOT/usr/include\" \
--configure-option=--extra-include-dirs=/usr/include\" \

--configure-option=--ghc-option=\"-optl -L$SYSROOT/usr/lib\"
--configure-option=--ghc-option=\"-optl -L/usr/lib\"
--configure-option=--ghc-option=\"-optl -lpthread\"
--configure-option=--ghc-option=\"-optc -I$SYSROOT/usr/include\" \
--configure-option=--ghc-option=\"-optc -I/usr/include\" \

--configure-option=-v3" \

"stage1.*.ghc.c.opts += -I$SYSROOT/usr/include -I/usr/include" \
"stage1.*.ghc.link.opts += -L$SYSROOT/usr/lib -L/usr/lib -lpthread" \
"stage1.*.cc.c.opts += -L$SYSROOT/usr/lib -L/usr/lib -lpthread" \
-VVVVVVVVVV --freeze1 \
stage2:exe:ghc-bin

I only put them all together like that so you can see the different
contortions I'm testing out to get options passed to the compiler
and linker. sysroot should mean that -I/usr/lib should be treated as
$SYSROOT/usr/lib, but I'm not sure if it is or not, all I had to go
on were configure logs, no compiler logs (hopefully -v3 should change
that). I'm dumping all this on you guys in a disorganised fashion
because I can't work on this much today, so I hope my messy notes and
rambling will be useful.

(One last note I forgot to add; testing this with GHC 9.8.3 may prove
easier to test whether the stage 1 compiler can successfully output
binary files, as the Cabal version from ports would be compatible with
it, and so one can more easily populate the package db to get Prelude?)

Cheers,
Habib

On 21 Oct 2024, at 04:01, ⁨حبيب محمد الأمين محمد الهـاد⁩ <⁨ha.alamin@gmail.com⁩> wrote:

I just finished a PR to get GHCup to build and run on OpenBSD (though
not necessarily support it w/ working build manifests and bindists yet),
so it'll be great to see GHC in ports on OpenBSD/arm64.

I'll hopefully start working on it this week. Lydia, feel free to share
any notes w/ myself and Greg if you make any progress or are banging
your head against a specific error.

Cheers,
Habib

On 19 Oct 2024, at 06:54, Greg Steuck <gnezdo@openbsd.org> wrote:

Lydia Sobot <chilledfrogs@disroot.org> writes:

Perfect. How far in are you?
Not very, still figuring out how exactly the pieces fit in together

FWIW, I made some effort in this area and it didn't go particularly
smoothly. Some info in https://gitlab.haskell.org/ghc/ghc/-/issues/24431

--
nest.cx is Gmail hosted, use PGP: https://pgp.key-server.io/0x0B1542BD8DF5A1B0
Fingerprint: 5E2B 2D0E 1E03 2046 BEC3 4D50 0B15 42BD 8DF5 A1B0

OpenBSD Mail Box

Thursday, October 31, 2024

Re: GHC on OpenBSD/arm64?

No comments:

Post a Comment