January 2013 - ghc-tickets

Re: [GHC] #7490: ghc-stage1 panic when building a cross-compiler or cross-building a compiler
by GHC 17 Jan '13

17 Jan '13

#7490: ghc-stage1 panic when building a cross-compiler or cross-building a compiler ----------------------------------+----------------------------------------- Reporter: singpolyma | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: cross-compilation | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Building GHC failed Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------+----------------------------------------- Changes (by simonmar): * priority: normal => high * difficulty: => Unknown * milestone: => 7.8.1 Comment: Confirmed; I just saw this when building a cross-compiler for Raspberry Pi. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7490#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5793: make nofib awesome (was: make nofib not suck)
by GHC 17 Jan '13

17 Jan '13

#5793: make nofib awesome --------------------------------------+------------------------------------- Reporter: dterei | Owner: dterei Type: task | Status: new Priority: normal | Milestone: _|_ Component: NoFib benchmark suite | Version: Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: 5794 Related: | --------------------------------------+------------------------------------- -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5793#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7600: cgrun044 failing with LLVM backend
by GHC 17 Jan '13

17 Jan '13

#7600: cgrun044 failing with LLVM backend -------------------------------+-------------------------------------------- Reporter: dterei | Owner: dterei Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- test case cgrun044 fails currently with the LLVM backend. I believe this started with the switch to the new-code-generator. LLVM fails to compile the file due to an invalid floating point constant: {{{ /Users/davidt/bin/opt: Bug31.ll:23:155: error: floating point constant invalid for type @Bug31_floatzunumber_closure = global %Bug31_floatzunumber_closure_struct<{i64 ptrtoint ([0 x i64]* @ghczmprim_GHCziTypes_Fzh_static_info to i64), float 0x7F800000, i32 0}> }}} This is an old, annoying bug needing to be fixed for about the third time. Basically, LLVM requires all floating points (float, doubles...) be printed in IEEE 754 Double format, even single precision numbers (float). However, it expects types labeled float to be representable in IEEE 754 Single precision format... So what we do is store all floating point numbers as Double and then narrow those that are Float by trying to do 'Double -> Float -> Double'. Then we can use the same machinery to produce the output for LLVM. Annoying, GHC seems to like to optimize away these narrowing operations. If it should or shouldn't do that is questionable. I'd argue it shouldn't, but oh well. The new-code-generator seems to have defeated existing techniques for stopping the optimizer firing. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7600> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7494: Allow compatible type synonyms to be the return type of a GADT data constructor.
by GHC 17 Jan '13

17 Jan '13

#7494: Allow compatible type synonyms to be the return type of a GADT data constructor. ----------------------------------------+----------------------------------- Reporter: topi | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.4.1 Keywords: GADT | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Comment(by topi): Replying to [comment:1 simonpj]: I stumbled upon this while writing a monad transformer. I do not have any urgent reason to have this feature. It just seemed like a natural extension that would be simple to add. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7494#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7573: Testsuite should easily be able to compile .cmm files.
by GHC 17 Jan '13

17 Jan '13

#7573: Testsuite should easily be able to compile .cmm files. -----------------------------+---------------------------------------------- Reporter: thoughtpolice | Owner: thoughtpolice Type: bug | Status: new Priority: normal | Component: Test Suite Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- While writing a test for #7571, I found it annoying to have to use multi_compile to just compile cmm code. I have a patch that adds support for cmm_src modifier for tests. The test for #7571 will depend on this. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7573> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #7579: Command line option to suppress LLVM version warning
by GHC 17 Jan '13

17 Jan '13

#7579: Command line option to suppress LLVM version warning -----------------------------+---------------------------------------------- Reporter: thoughtpolice | Owner: thoughtpolice Type: feature request | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- When developing I'm sometimes testing the LLVM backend and often it's with a development version. In this case I'd like to be able to configure my ```mk/build.mk``` to suppress the annoying version constraint warning, since I know what llc etc it will use. It makes the build output a lot less annoying. Attached is a patch. It's undocumented, since it's probably is only useful to developers. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7579> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7572: mk/build.mk does not let you build 'quick-llvm' style
by GHC 17 Jan '13

17 Jan '13

#7572: mk/build.mk does not let you build 'quick-llvm' style -----------------------------+---------------------------------------------- Reporter: thoughtpolice | Owner: thoughtpolice Type: bug | Status: new Priority: normal | Component: Build System Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- In mk/build.mk, you specify the build flavor you want for the compiler. Often during development, a good default is 'quick'. But sometimes I also want to be able to do a quick build using the LLVM backend. This is in line with other build modes, such as perf/perf-llvm. I have a patch for this that I will offer up shortly. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7572> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #6070: Fun with the demand analyser
by GHC 16 Jan '13

16 Jan '13

#6070: Fun with the demand analyser ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by carter): * cc: carter.schonwald@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6070#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7520: Implement cardinality analysis
by GHC 16 Jan '13

16 Jan '13

#7520: Implement cardinality analysis ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by carter): * cc: carter.schonwald@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7520#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7534: allocateRegsAndSpill: Cannot read from uninitialized register
by GHC 16 Jan '13

16 Jan '13

#7534: allocateRegsAndSpill: Cannot read from uninitialized register --------------------------+------------------------------------------------- Reporter: erikd | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Os: Linux Architecture: powerpc64 | Failure: Building GHC failed Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | --------------------------+------------------------------------------------- Changes (by erikd): * status: infoneeded => new Comment: I added -ddump-cmm to the command line of the compile that was failing and saved the output to a file. Unfortunately there is no sign on the uninitialized register %vI_na5b in the dumped file. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7534#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0