#9920: Segfault in arm binary -------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+--------------------------- Comment (by erikd): This problem occurs both with and without the two gold linker patches from #9873. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary -------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+--------------------------- Comment (by bgamari): For the record this is built with LLVM 3.5. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary -------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+--------------------------- Changes (by erikd): * cc: bgamari, rwbarton (added) Comment: Captured the various tmp files when compiling `rts/StgStartup.cmm`. The disassembled llvm byte code for `stg_init_finish` and `stg_init` look like this: {{{ ; Function Attrs: nounwind define cc10 void @"stg_init_finish$def"(i32* noalias nocapture %Base_Arg , i32* noalias nocapture %Sp_Arg, i32* noalias nocapture %Hp_Arg , i32 %R1_Arg, i32 %R2_Arg, i32 %R3_Arg , i32 %R4_Arg, i32 %SpLim_Arg) #0 align 4 { cF: tail call cc10 void bitcast (i8* @StgReturn to void (i32*, i32*, i32*, i32, i32, i32, i32, i32)*)(i32* %Base_Arg , i32* %Sp_Arg, i32* %Hp_Arg, i32 %R1_Arg, i32 undef , i32 undef, i32 undef, i32 %SpLim_Arg) #0 ret void } ; Function Attrs: nounwind define cc10 void @"stg_init$def"(i32* noalias nocapture %Base_Arg , i32* noalias nocapture readnone %Sp_Arg , i32* noalias nocapture %Hp_Arg, i32 %R1_Arg, i32 %R2_Arg , i32 %R3_Arg, i32 %R4_Arg, i32 %SpLim_Arg) #0 align 4 { cH: %ln5z = getelementptr inbounds i32* %Base_Arg, i32 198 .... }}} which is fine, but when that gets run through `llc` we get the following assembly code: {{{ .text .globl stg_init_finish$def .align 2 .type stg_init_finish$def,%function stg_init_finish$def: @ @"stg_init_finish$def" .fnstart .Leh_func_begin7: @ BB#0: @ %cF .Ltmp7: .size stg_init_finish$def, .Ltmp7-stg_init_finish$def .cantunwind .fnend .globl stg_init$def .align 2 .type stg_init$def,%function stg_init$def: @ @"stg_init$def" .fnstart .Leh_func_begin8: @ BB#0: @ %cH ldr r5, [r4, #792] ldr r0, [r5], #4 .Ltmp8: .size stg_init$def, .Ltmp8-stg_init$def .cantunwind .fnend }}} For some reason `llc` is dropping the actual body of the function `stg_init_finish`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary -------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+--------------------------- Comment (by erikd): `llc` from llvm git HEAD (3681929e116d9b 2014/12/24) seems to work and produces the following assembly language: {{{ stg_init_finish$def: @ @"stg_init_finish$def" .fnstart .Leh_func_begin0: @ BB#0: @ %cF b StgReturn .Ltmp0: .size stg_init_finish$def, .Ltmp0-stg_init_finish$def }}} which seems correct. However, using llvm from git HEAD requires changes to the metdata definitons from this: {{{ !0 = metadata !{metadata !1, metadata !1, i64 0} }}} to this: {{{ !0 = !{!1, !1, i64 0} }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary -------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+--------------------------- Comment (by erikd): If I compile my test file `test.ll` with llvm-3.5 compiled from source I get: {{{ llc: /home/erikd/LLVM/llvm-3.5.0.src/lib/Target/ARM/InstPrinter/../ARMGenAsmWriter.inc:6048: void llvm::ARMInstPrinter::printInstruction(const llvm::MCInst *, llvm::raw_ostream &): Assertion `Bits != 0 && "Cannot print this instruction."' failed. 0 llc 0x0000000001391255 llvm::sys::PrintStackTrace(_IO_FILE*) + 37 1 llc 0x0000000001391a43 2 libpthread.so.0 0x00007ffa635718d0 3 libc.so.6 0x00007ffa6259e107 gsignal + 55 4 libc.so.6 0x00007ffa6259f4e8 abort + 328 5 libc.so.6 0x00007ffa62597226 6 libc.so.6 0x00007ffa625972d2 7 llc 0x0000000000a3df99 llvm::ARMInstPrinter::printInstruction(llvm::MCInst const*, llvm::raw_ostream&) + 17673 8 llc 0x0000000000a49052 llvm::ARMInstPrinter::printInst(llvm::MCInst const*, llvm::raw_ostream&, llvm::StringRef) + 4322 9 llc 0x00000000013171f5 10 llc 0x00000000008fa01c 11 llc 0x0000000000dbbba0 llvm::AsmPrinter::EmitFunctionBody() + 3840 12 llc 0x00000000008ebad6 13 llc 0x0000000000ea44fc llvm::MachineFunctionPass::runOnFunction(llvm::Function&) + 124 14 llc 0x00000000012c8cbb llvm::FPPassManager::runOnFunction(llvm::Function&) + 539 15 llc 0x00000000012c8f2b llvm::FPPassManager::runOnModule(llvm::Module&) + 43 16 llc 0x00000000012c94a7 llvm::legacy::PassManagerImpl::run(llvm::Module&) + 967 17 llc 0x00000000005926ea main + 6682 18 libc.so.6 0x00007ffa6258ab45 __libc_start_main + 245 19 llc 0x000000000058f62d Stack dump: 0. Program arguments: /home/erikd/LLVM/3.5/bin/llc -O3 -relocation- model=static --enable-tbaa=true -mattr=+v7,+vfp3 -float-abi=hard test.ll -o test.s 1. Running pass 'Function Pass Manager' on module 'test.ll'. 2. Running pass 'ARM Assembly / Object Emitter' on function '@"stg_init_finish$def"' }}} This does not happen with llvm-3.5 installed from Debian. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary with llvm 3.5 -------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+--------------------------- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary with llvm 3.5 -------------------------------------+--------------------------------- Reporter: erikd | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+--------------------------------- Changes (by erikd): * status: new => closed * resolution: => fixed Comment: LLVM 3.6 has been released with @bgamari's arm-lower-tail-calls patch and git HEAD now also expects llvm-3.6. I've been compiling GHC git HEAD on arm without this problem for weeks now. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary with llvm 3.5 -------------------------------------+--------------------------------- Reporter: erikd | Owner: erikd Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+--------------------------------- Changes (by erikd): * cc: erikd (added) * owner: => erikd -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary with llvm 3.5 -------------------------------------+--------------------------------- Reporter: erikd | Owner: erikd Type: bug | Status: closed Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+--------------------------------- Comment (by erikd): Version 3.5.2 of llvm went into Debian Unstable on 2015/04/30 and will likely hit Debian Testing in 2-3 weeks. If anyone hits this in Debian Stable they shold reopen https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=782868 asking for a Debian Stable backport of the bug fix. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:18 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary with llvm 3.5 -------------------------------------+------------------------------ Reporter: erikd | Owner: erikd Type: bug | Status: closed Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------ Comment (by nomeata):

We probably should have merged that configure check into ghc-7.10 but it's water under the bridge now.

JFTR, the configure script made it into ghc-7.10.3, at least I can see it at {{{ checking for llc-3.4... /usr/bin/llc-3.4 checking for opt-3.4... /usr/bin/opt-3.4 checking whether bootstrap compiler is affected by bug 9439... no checking if llvm version is affected by bug 9920... yes configure: error: in `/«PKGBUILDDIR»': configure: error: Cannot compile for ARM with llc-3.5. See GHC trac ticket #9920. See `config.log' for more details debian/rules:50: recipe for target 'override_dh_auto_configure' failed }}} https://buildd.debian.org/status/fetch.php?pkg=ghc&arch=armel&ver=7.10.3-6~bpo8%2B1&stamp=1453205456 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9920: Segfault in arm binary with llvm 3.5 -------------------------------------+------------------------------ Reporter: erikd | Owner: erikd Type: bug | Status: closed Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Runtime crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------ Comment (by rwbarton): Maybe look at #11190, rather than here? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9920#comment:22 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler