[GHC] #10295: Putting SCC in heavily inlined code results in "error: redefinition of global"

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- {{{ /usr/bin/opt: /tmp/ghc27119_0/ghc27119_272.ll:21159722:1: error: redefinition of global named '@c17Kd9_info' @c17Kd9_info = alias internal i8* bitcast (void (i64*, i64*, i64*, i64, i64, i64, i64, i64, i64, i64)* @c17Kd9_info$def to i8*) ^ <no location info>: ghc: phase `LLVM Optimiser' failed (exitcode = 1) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by yongqli): Here is another error message: {{{ /usr/bin/opt: /tmp/ghc7745_0/ghc7745_56.ll:20727482:1: error: redefinition of type %iAupe_str_struct = type <{[36 x i8]}> ^ <no location info>: ghc: phase `LLVM Optimiser' failed (exitcode = 1) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by rwbarton): Hi, sorry to sound like a broken record, but can you provide a reproducer? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by yongqli): I can't isolate a test case -- whenever I set a function in my program to `undefined` the problem goes away. Is it possible I'm hitting against a limit in terms of how large a function can be? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): Does `-dcore-lint` show up anything? What happens if you do not use LLVM? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by bgamari): * failure: None/Unknown => Compile-time crash Comment: Any update here, yongqli? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => infoneeded -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10295: Putting SCC in heavily inlined code results in "error: redefinition of global" -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler (LLVM) | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler => Compiler (LLVM) Comment: yongqli: which version of llvm were you using? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10295#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC