Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006222OCamlOCaml standard librarypublic2013-11-03 19:522013-11-04 16:05
Reportergildor 
Assigned Tomeurer 
PrioritynormalSeveritymajorReproducibilitysometimes
StatusresolvedResolutionfixed 
Platformraspberry piOSraspbianOS Version7.0
Product Versionlater 
Target VersionFixed in Version 
Summary0006222: Native compilation of char.ml fails on RPi
Description./Compflags char.cmx
/var/lib/jenkins/workspace/ocaml/label/raspberrypi/boot/ocamlrun /var/lib/jenkins/workspace/ocaml/label/raspberrypi/ocamlopt -warn-error A -nostdlib -g -c char.ml
/tmp/camlasmd0b3a7.s: Assembler messages:
/tmp/camlasmd0b3a7.s:262: Error: selected processor does not support ARM mode `mls r6,r6,r12,r5'
/tmp/camlasmd0b3a7.s:276: Error: selected processor does not support ARM mode `mls r4,r4,r12,r3'
File "char.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasmd0b3a7.s
Steps To ReproduceTry to rebuild ocaml from sources.
Additional InformationSee attached camlasmd0b3a7.s.
TagsNo tags attached.
Attached Files? file icon camlasmd0b3a7.s [^] (8,411 bytes) 2013-11-03 19:52

- Relationships

-  Notes
(0010565)
gildor (developer)
2013-11-03 20:27

Latest changes integrated in this build.

#134 (3 nov. 2013 10:35:06)

[arm] r12 is destroyed for constants that are not a power of 2. — bmeurer / ViewSVN
[arm] Optimize integer division and modulus by constant. — bmeurer / ViewSVN
Compile multiplication by power of 2 constant to left shift. — bmeurer / ViewSVN
(0010567)
meurer (developer)
2013-11-04 08:39

Yep, MLS is ARMv6T2 only. I'll fix that.
(0010574)
meurer (developer)
2013-11-04 13:26

Fixed in trunk.
(0010582)
gildor (developer)
2013-11-04 16:05

FTR, fixed in jenkins.
http://deci.ovh.le-gall.net:8080/job/ocaml/ [^]

- Issue History
Date Modified Username Field Change
2013-11-03 19:52 gildor New Issue
2013-11-03 19:52 gildor File Added: camlasmd0b3a7.s
2013-11-03 20:27 gildor Note Added: 0010565
2013-11-04 08:39 meurer Note Added: 0010567
2013-11-04 08:39 meurer Assigned To => meurer
2013-11-04 08:39 meurer Status new => assigned
2013-11-04 13:26 meurer Note Added: 0010574
2013-11-04 13:26 meurer Status assigned => resolved
2013-11-04 13:26 meurer Resolution open => fixed
2013-11-04 16:05 gildor Note Added: 0010582


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker