Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006091OCamlback end (clambda to assembly)public2013-07-27 00:352015-12-11 19:21
Assigned Tomeurer 
PriorityurgentSeverityminorReproducibilityhave not tried
PlatformARM V7OSLinuxOS Version3.4.0
Product Version4.02.0+dev 
Target Version4.01.0+devFixed in Version 
Summary0006091: Thumb-2 MUL must not set flags -- `muls r4,r3,r2'
DescriptionDuring 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

../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags array.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags list.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags char.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags string.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags sys.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags sort.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags marshal.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags int32.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags obj.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags int64.cmx` -c
../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags nativeint.cmx` -c

../boot/ocamlrun ../ocamlopt -warn-error A -nostdlib -g `./Compflags lexing.cmx` -c
/tmp/camlasm28fefc.s: Assembler messages:
/tmp/camlasm28fefc.s:428: Error: Thumb-2 MUL must not set flags -- `muls r4,r3,r2'
File "", line 1:
Error: Assembler error, input left in file /tmp/camlasm28fefc.s
make[5]: *** [lexing.cmx] Error 2

Additional Informationgcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
GNU assembler (GNU Binutils for Ubuntu) 2.22
TagsNo tags attached.
Attached Fileslog file icon configure.log [^] (3,895 bytes) 2013-07-27 00:37

- Relationships

-  Notes
meyer (developer)
2013-07-27 00:49

Revision 13837 introduced this problem.
meurer (developer)
2013-07-27 08:16

Fixed in trunk revision 13939.

- Issue History
Date Modified Username Field Change
2013-07-27 00:35 meyer New Issue
2013-07-27 00:35 meyer Status new => assigned
2013-07-27 00:35 meyer Assigned To => meurer
2013-07-27 00:37 meyer File Added: configure.log
2013-07-27 00:49 meyer Note Added: 0009876
2013-07-27 08:16 meurer Note Added: 0009891
2013-07-27 08:16 meurer Status assigned => resolved
2013-07-27 08:16 meurer Resolution open => fixed
2015-12-11 19:21 xleroy Status resolved => closed
2017-02-23 16:35 doligez Category OCaml backend (code generation) => Back end (clambda to assembly)
2017-02-23 16:44 doligez Category Back end (clambda to assembly) => back end (clambda to assembly)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker