Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Out of range jumps to caml_call_gc labels #7667

Closed
vicuna opened this issue Nov 5, 2017 · 6 comments
Closed

Out of range jumps to caml_call_gc labels #7667

vicuna opened this issue Nov 5, 2017 · 6 comments

Comments

@vicuna
Copy link

vicuna commented Nov 5, 2017

Original bug ID: 7667
Reporter: @kayceesrk
Status: acknowledged (set by @xavierleroy on 2017-11-05T17:42:51Z)
Resolution: open
Priority: normal
Severity: minor
Platform: powerpc64le
OS: Linux
Category: back end (clambda to assembly)
Related to: #3086 #3117
Monitored by: @gasche

Bug description

On PowerPC Linux, trunk OCaml generates out of range jumps to caml_call_gc label. The bug was triggered while installing alt-ergo.1.01 and magic-mime.1.1.0.


debian@ocaml-debian-le:~/.opam/4.07.0+trunk+bench/.opam-switch/build/alt-ergo.1.01$ make
ocamlopt.opt -c -annot -inline 100 -I /home/debian/.opam/4.07.0+trunk+bench/lib/zarith -I /home/debian/.opam/4.07.0+trunk+bench/lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -I non-free/plugins/common -I non-free/plugins/satML -I non-free/plugins/profiler -I non-free/plugins/fm-simplex src/theories/intervals.ml
/tmp/camlasma487b4.s: Assembler messages:
/tmp/camlasma487b4.s:15010: Error: operand out of range (0x00000000000080a8 is not between 0xffffffffffff8000 and 0x0000000000007ffc)
File "src/theories/intervals.ml", line 1:
Error: Assembler error, input left in file /tmp/camlasma487b4.s
Makefile.users:229: recipe for target 'src/theories/intervals.cmx' failed
make: *** [src/theories/intervals.cmx] Error 2


This bug is a duplicate of #3117 (#3117&history=1) which is marked as fixed (?). Wondering whether the change suggested in #3117 should be incorporated.

@vicuna
Copy link
Author

vicuna commented Nov 5, 2017

Comment author: @xavierleroy

770 [#3117] and 723 [#3086] were for PowerPC 32 bits, while this one is PowerPC 64 bits little-endian, and since they were fixed in 2001-2002 the code for PowerPC branch relaxation was rewritten.

@vicuna
Copy link
Author

vicuna commented Nov 5, 2017

Comment author: @xavierleroy

I don't have access to a POWER8 (ppc64le) machine, so someone who does should handle this MPR.

@vicuna
Copy link
Author

vicuna commented Nov 5, 2017

Comment author: @kayceesrk

I have access to a ppc64le machine. I'll handle this MPR.

@nojb
Copy link
Contributor

nojb commented May 5, 2019

Has this been fixed @kayceesrk ?

@github-actions
Copy link

github-actions bot commented May 7, 2020

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

@github-actions github-actions bot added the Stale label May 7, 2020
@stedolan stedolan removed the Stale label May 18, 2020
@github-actions
Copy link

github-actions bot commented Oct 4, 2021

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

@github-actions github-actions bot added the Stale label Oct 4, 2021
@github-actions github-actions bot closed this as completed Nov 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants