Comment author: jteg68

The original command was 'opam install eliom', but as the offending file is in ocamlnet I also tried 'opam install ocamlnet'. The output file is from the eliom install attempt, the result is identical in the two cases.

/Jörgen

Comment author: @alainfrisch

Since this seems to be a back-end related problem, it is probably related to the patched compiler you are using. I suggest to send this bug report to the maintainer of this compiler.

Comment author: meurer

It'd help to know what patches were used. And why don't you use the trunk/4.00.1-dev version, which already supports ARMv6?

Comment author: jteg68

The patch was from
http://www.cl.cam.ac.uk/projects/ocamllabs/projects/rpi.html

"...
Alternatively, you can also use OPAM to compile a custom compiler (see the Jane Street blog post above for instructions on how to install OPAM):

$ opam switch 4.00.1+raspberrypi
..."

I'll try 4.00.1-dev instead tonight.

Thanks,
Jörgen

Comment author: jteg68

root@raspberrypi:~# opam switch show
4.01.0dev+trunk

'opam install eliom' gave the output below. It looks like the same error as before.

The offending instruction seems to be
mov r2, r1, lsl #32

/Jörgen

==== ERROR [while recompiling ocamlnet.3.6.0] ====

command make opt

path /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0

exit-code 2

env-file /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/ocamlnet-d37749.env

stdout-file /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/ocamlnet-d37749.out

stderr-file /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/ocamlnet-d37749.err

stdout

...[truncated]
make[2]: Entering directory /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram' make[2]: Inget behöver göras för "realgenerate". make[2]: Leaving directory /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram'
make[1]: Leaving directory /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram' make[1]: Entering directory /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram'
make[1]: "depend" är färsk.
make[1]: Leaving directory /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram' make[1]: Entering directory /root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram'
ocamlfind ocamlopt -I ../../src/netsys -I ../../src/netstring -I ../../src/netgssapi -package "cryptokit unix" -c netmech_scram.ml
make[1]: Leaving directory `/root/.opam/4.01.0dev+trunk/build/ocamlnet.3.6.0/src/netmech-scram'

stderr

...[truncated]
Warning 11: this match case is unused.
File "nethttpd_services.ml", line 1118, characters 4-5:
Warning 11: this match case is unused.
/tmp/camlasm209b09.s: Assembler messages:
/tmp/camlasm209b09.s:9460: Error: shift expression is too large
/tmp/camlasm209b09.s:9552: Error: shift expression is too large
File "netmech_scram.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasm209b09.s
make[1]: *** [netmech_scram.cmx] Fel 2
make: *** [opt] Fel 2

Comment author: meurer

It looks like a bug in the ARM instruction selection. I'll try to look into this during the week.

Comment author: guleesh

any progress on this issue ?
I have encountered the same problem with , shift expression is too large

Again the problem seems to be
lsl #32

which is too large for ARM6 (?)

Comment author: meurer

I'm sorry, I was too busy with real life to have a look at the issue. The problem is indeed related to the shift left by 32. I'm going to push a fix later.

Comment author: meurer

Fixed in trunk and version/4.00.

Comment author: wime

Thanks for the fix!

Comment author: vaidas

Problem still exists as I see in file in trunk: https://godirepo.camlcity.org/wwwsvn/trunk/code/src/netmech-scram/netmech_scram.ml?rev=1954&root=lib-ocamlnet2&view=markup

One line is fixed but there is another line in next function which also needs to be fixed.
It is in line 1344. Please fix this.