Original bug ID: 6091
Reporter: meyer
Assigned to: meurer
Status: closed (set by @xavierleroy on 2015-12-11T18:21:10Z)
Resolution: fixed
Priority: urgent
Severity: minor
Platform: ARM V7
OS: Linux
OS Version: 3.4.0
Version: 4.02.0+dev
Target version: 4.01.0+dev
Category: back end (clambda to assembly)

Bug description

During building of current trunk of ocaml on Samsung Chromebook based on A15 V7 core:

make[5]: Entering directory `/home/danmey/src/ocaml-trunk/stdlib'
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags pervasives.cmx` -c pervasives.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags array.cmx` -c array.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags list.cmx` -c list.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags char.cmx` -c char.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags string.cmx` -c string.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags sys.cmx` -c sys.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags sort.cmx` -c sort.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags marshal.cmx` -c marshal.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags int32.cmx` -c int32.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags obj.cmx` -c obj.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags int64.cmx` -c int64.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags nativeint.cmx` -c nativeint.ml
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags lexing.cmx` -c lexing.ml
/tmp/camlasm28fefc.s: Assembler messages:
/tmp/camlasm28fefc.s:428: Error: Thumb-2 MUL must not set flags -- `muls r4,r3,r2'
File "lexing.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasm28fefc.s
make[5]: *** [lexing.cmx] Error 2

Additional information

gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
GNU assembler (GNU Binutils for Ubuntu) 2.22

File attachments

• configure.log