#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler => Runtime System (Linker) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Phyx- Type: bug | Status: patch Priority: normal | Milestone: Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Changes (by Phyx-): * status: new => patch * differential: => Phab:D2303 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Phyx- Type: bug | Status: patch Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Comment (by erikd): I have "GNU assembler (GNU Binutils for Debian) 2.26" on my Debian system. but have not yet hit this issue. Is there a test case? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Phyx- Type: bug | Status: patch Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Phyx-): I haven't written a testcase since you need `binutils-2.26` for it to trigger and I don't think I can force the test only then. In any case, simplest case to reproduce this is to compile `GHC` with `DYNAMIC_GHC_PROGRAMS=NO` I use this assembly file as input: {{{ # x86_64 # as as_test.s -o as_test.o && objdump -Dr as_test.o # ghc --interactive hs_test as_test.o .text .globl foo foo: push %rbp mov %rsp, %rbp mov msg@GOTPCREL(%rip), %rdi call puts@PLT pop %rbp ret .data msg: .ascii "Hello World!\0" len = . - msg }}} Which with {{{ [phyx@localhost ~]$ as --version GNU assembler (GNU Binutils) 2.26.20160125 }}} returns the expected relocation {{{ [phyx@localhost ~]$ as as_test.s -o as_test.o && objdump -Dr as_test.o as_test.o: file format elf64-x86-64 Disassembly of section .text: 0000000000000000 <foo>: 0: 55 push %rbp 1: 48 89 e5 mov %rsp,%rbp 4: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # b 7: R_X86_64_REX_GOTPCRELX msg-0x4 b: e8 00 00 00 00 callq 10 c: R_X86_64_PLT32 puts-0x4 10: 5d pop %rbp 11: c3 retq Disassembly of section .data: 0000000000000000 <msg>: 0: 48 rex.W 1: 65 6c gs insb (%dx),%es:(%rdi) 3: 6c insb (%dx),%es:(%rdi) 4: 6f outsl %ds:(%rsi),(%dx) 5: 20 57 6f and %dl,0x6f(%rdi) 8: 72 6c jb 76 a: 64 21 00 and %eax,%fs:(%rax) }}} Before the patch it crashes as expected {{{ [phyx@localhost ~]$ ghc/inplace/bin/ghc-stage2 --interactive as_test.o hs_test.hs GHCi, version 8.1.20160604: http://www.haskell.org/ghc/ :? for help ghc-stage2: as_test.o: unhandled ELF relocation(RelA) type 42 linking extra libraries/objects failed }}} And after the patch {{{ GHCi, version 8.1.20160604: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( hs_test.hs, interpreted ) Ok, modules loaded: Main. *Main> main Hello World! }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Phyx- Type: bug | Status: closed Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: fixed | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Changes (by Phyx-): * status: patch => closed * resolution: => fixed Comment: NOTE: The bindist for elf platforms need to be build using a system that has `glibc >= 2.23` in order for `elf.h` to contain these constants and for GHC to then be able to use them. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Type: bug | Status: merge Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => merge -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Type: bug | Status: merge Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): Quoting @erikd in https://phabricator.haskell.org/D2303#67070:

I'm pretty sure that will be handled by the Linux distros. They wouldn't ship an GNU `as` until their `glibc` handled these new relocations.

We have our first victim of this assumption: https://github.com/snowleopard/hadrian/issues/259#issuecomment-224618414. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Type: bug | Status: merge Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomasjm): I'm another victim: this has been failing for me on Ubuntu 16.04 when trying to use IHaskell and IHaskell's display libraries--both the cryptonite package and the glib package are triggering this problem. (The stack resolver is lts-6.2.) I think there are some workarounds I could use where I compile these packages with some stack settings like ghc-options: glib: -opta-Wa,-mrelax-relocations=no rebuild-ghc-options: true apply-ghc-options: everything but I'd really appreciate if there were a 7.10.4 release that fixes this. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Type: bug | Status: merge Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): Yes, what rwbarton says. I can reproduce the problem with a statically linked `ihaskell`, but `--enable-executable-dynamic` solves it: {{{ $ cabal install -w ghc-7.10.3 ihaskell --enable-executable-dynamic $ jupyter console --kernel haskell Jupyter Console 4.1.1 In [1]: }}} You need to build all dependencies with `--enabled-shared` as well (set `shared: True` in `.cabal/config`). Other things I had to install: {{{ $ sudo apt-get install libzmq3-dev $ pip install jupyter }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12147: GHC's Linker Should Support Relocation Type 42 -------------------------------------+------------------------------------- Reporter: gershomb | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 (Linker) | Resolution: fixed | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2303 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed Comment: comment:8 merged to `ghc-8.0` as efc7ef67d3fe2064dc8f40e73d88026d57bd836f. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12147#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler