May 2014 - ghc-tickets

Re: [GHC] #3693: Show stack traces
by GHC 25 May '14

25 May '14

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by altaic): * cc: william.knop.nospam@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:71> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9141: ghc panic linking persistent-sqlite ghc 7.8.2 x86_64-unknown-mingw32 Win 7
by GHC 25 May '14

25 May '14

#9141: ghc panic linking persistent-sqlite ghc 7.8.2 x86_64-unknown-mingw32 Win 7 ------------------------------------+------------------------------------- Reporter: stuartallenmills | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Error occurs attempting to build MFlow. The following is the relevant excerpt: Loading package persistent-sqlite-1.3.0.5 ... ghc.exe: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-unknown-mingw32): loadObj "C:\\shared\\msys64\\home\\smills\\Hask\\mflow\\.cabal- sandbox\\x86_64-windows-ghc-7.8.2\\persistent-sqlite-1.3.0.5 \\HSpersistent-sqlite-1.3.0.5.o": failed Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug .... ghc.exe: Unknown PEi386 section name `.text.unlikely' (while processing: C:\shared\msys64\home\smills\Hask\mflow\.cabal-sandbox\x86_64-windows- ghc-7.8.2\persistent-sqlite-1.3.0.5\HSpersistent-sqlite-1.3.0.5.o) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9141> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by altaic): Replying to [comment:31 bgamari]: > I could be mistaken but I don't believe this should be necessary with symbol offsets as the inliner won't see the info table at all (since the symbol points to the entrypoint of the function as it should). Oh, that sounds right. Cool. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:32> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by bgamari): Replying to [comment:30 altaic]: > I pointed out two shortcomings of the current semantics already. Even with the proposed symbol offsets, the prefix data must start with a target-dependent frontend-constructed instruction, which is subsequently not used. I.e. it requires carefully constructed garbage bytes. To me, that sounds kind of... not good. I could be mistaken but I don't believe this should be necessary with symbol offsets as the inliner won't see the info table at all (since the symbol points to the entrypoint of the function as it should). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:31> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by altaic): Replying to [comment:24 bgamari]: > I hope that the LLVM folks would reject outright any proposal to change the semantics of an already released feature in a non-compatible way. An already released feature which is likely to have yet to be used in the wild. > Especially when there is nothing wrong with the existing semantics. I pointed out two shortcomings of the current semantics already. Even with the proposed symbol offsets, the prefix data must start with a target- dependent frontend-constructed instruction, which is subsequently not used. I.e. it requires carefully constructed garbage bytes. To me, that sounds kind of... not good. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by dterei): So I haven't looked at the proposed offsetting feature for LLVM. If that feature indeed means we can support TNTC without any changes to our current design (i.e., no changes to NCG or RTS) then awesome! We should defiantly make that change. I agree that minimizing how much we use the mangler is a good thing. If we can remove it then we should be able to avoid any intermediate files at all other than the .ll file. It's silly right now that we run `opt` and produce an intermediate .bc file, and then run `llc`. We should be able to just use a driver to go from .ll to an object file. At that point I'd be very surprised if changing to the LLVM API had any advantage. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by altaic): Replying to [comment:26 awson]: > Now LLVM-compiled 64-bit code [https://ghc.haskell.org/trac/ghc/ticket/8974 segfaults on Windows]. I've prepared the patch, but [https://ghc.haskell.org/trac/ghc/ticket/8974#comment:10 I don't know the way to implement it without mangler] because LLVM does not want to silently truncate 64-bit address constant to 32-bit but bitwise ands it with `-1` (`&-1`) also. Ah, my apologies, I'm not sure why your ticket didn't appear on my trac query. LLVM does have a {{{trunc .. to}}} instruction, which may be of use to you, though admittedly I don't really know what's going on in your ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8197: telling people how to use GHC 7.6 correctly with Xcode 5/ OS X Mavericks
by GHC 24 May '14

24 May '14

#8197: telling people how to use GHC 7.6 correctly with Xcode 5/ OS X Mavericks ----------------------------------+--------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- Are we going to make available directions so that people can use 7.6 correctly with xcode 5 and/or mavericks? eg: will we provide directions to either 1. use Luke Ianni's clang wrapper hack, and bundle that with a 7.6 release thats 7.6.3 + that extra binary to make a 10.8 friendly "stability" release 2. tell people to stick to xcode 4.6 and/or install a newer GCC (say, GCC 4.8) and adjust their ghc settings file to point to that other GCC? We need to provide this information in a clear way, because this WILL be a problem where we'll have a support load from it (whether we want to or not, until GHC 7.8 gets a haskell platform release, this WILL happen. We need to have a mitigation strategy so that we aren't dealing with it constantly) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8197> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by bgamari): For the record, the current state of my experiments with implementing TNTC on top of LLVM's new IR features can be found here, https://github.com/bgamari/ghc/compare/ghc:ghc-7.8...llvm-demangle. Note that this needs to be used with my llvm branch for symbol offset support, https://github.com/bgamari/llvm/compare/symbol-offset -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4213: LLVM: Add support for TNTC to LLVM compiler suite
by GHC 24 May '14

24 May '14

#4213: LLVM: Add support for TNTC to LLVM compiler suite -------------------------------------+------------------------------------ Reporter: dterei | Owner: dterei Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (LLVM) | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by awson): Replying to [comment:25 altaic]: > I also couldn't find anything WRT Windows and the mangler. Now LLVM-compiled 64-bit code segfaults on Windows. I've prepared the patch, but [https://ghc.haskell.org/trac/ghc/ticket/8974#comment:10 I don't know the way to implement it without mangler] because LLVM does not want to silently truncate 64-bit address constant to 32-bit but bitwise ands it with `-1` (`&-1`) also. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4213#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0