September 2013 - ghc-tickets

Re: [GHC] #7866: floor (0/0) :: Int is different with -O0 and -O1
by GHC 20 Sep '13

20 Sep '13

#7866: floor (0/0) :: Int is different with -O0 and -O1 ------------------------------------------------+-------------------------- Reporter: alang9 | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: invalid | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by bgamari): * status: new => closed * resolution: => invalid Comment: Looking at the report it's not entirely clear how operations on NaN are defined. That being said, the documentation of `RealFloat` is quite clear that many operations on NaN are undefined. In light of this, it makes sense to assume similar behavior in `RealFrac` operations. For this reason, I'm going to close this as not a bug. If someone would like to disagree, feel free to reopen it with an explanation. http://hackage.haskell.org/packages/archive/base/latest/doc/html/Prelude.ht… -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7866#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7866: floor (0/0) :: Int is different with -O0 and -O1
by GHC 20 Sep '13

20 Sep '13

#7866: floor (0/0) :: Int is different with -O0 and -O1 ------------------------------------------------+-------------------------- Reporter: alang9 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by bgamari): * difficulty: => Unknown Comment: This appears to be due to the (lack of) handling of NaN in `compiler/nativeGen/X86/CodeGen.hs:coerceFP2Int` which in the SSE case lowers to a plain `CVTTSD2TIQ` instruction. In the event that the source is NaN, this places the indeterminate integer value (which appears to be 0x80000000) in the destination register. Oddly enough, your test produces instead a value of -0x8000000000000000. Regardless, assuming the produce is NaN handling, it's not entirely clear how this should be handled without performance loss. If the goal were perfect "correctness" (whatever this means in the fact of NaN values being cast to integers), we'd want to ensure we check for an indeterminate result and return the "appropriate" value (which judging from the -O0 results is apparently 0). This seems like an excessive measure, however, punishing all users for what is likely a rare occurrence and one that should be handled explicitly anyways. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7866#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7968: fft2 benchmark sometimes fails (nofib)
by GHC 20 Sep '13

20 Sep '13

#7968: fft2 benchmark sometimes fails (nofib) ------------------------------------------------+-------------------------- Reporter: jstolarek | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: NoFib benchmark suite | Version: 7.7 Resolution: duplicate | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: #5793 ------------------------------------------------+-------------------------- Changes (by jstolarek): * status: new => closed * resolution: => duplicate Comment: I close this as a duplicate of #5793 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7968#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5793: make nofib awesome
by GHC 20 Sep '13

20 Sep '13

#5793: make nofib awesome ------------------------------------------+-------------------------------- Reporter: dterei | Owner: dterei Type: task | Status: new Priority: normal | Milestone: _|_ Component: NoFib benchmark suite | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 5794 | Blocked By: | Related Tickets: ------------------------------------------+-------------------------------- Comment (by jstolarek): One thing I really dislike about nofib design is that for some reasons it checks correctness of results produced by programs. Perhaps I wouldn't mind if it didn't try to compare floating point values for equality. But still, these are benchmarks, not tests. Having said that here, I can now close #7968 as duplicate :-) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5793#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7968: fft2 benchmark sometimes fails (nofib)
by GHC 20 Sep '13

20 Sep '13

#7968: fft2 benchmark sometimes fails (nofib) ------------------------------------------------+-------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: NoFib benchmark suite | Version: 7.7 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: #5793 ------------------------------------------------+-------------------------- Changes (by jstolarek): * difficulty: => Unknown * related: => #5793 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7968#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5841: seg fault in ghci but not ghc when using chart-gtk code
by GHC 20 Sep '13

20 Sep '13

#5841: seg fault in ghci but not ghc when using chart-gtk code ---------------------------------+---------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: 5816 ---------------------------------+---------------------------------- Comment (by carter): this issue is probably solved with ghci in head, but someone (perhaps me) needs to test it out! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5841#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7823: ARM Thumb relocation fails to handle sign of veneer jumps
by GHC 20 Sep '13

20 Sep '13

#7823: ARM Thumb relocation fails to handle sign of veneer jumps -----------------------------------+------------------------------------ Reporter: cjwatson | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.2 Resolution: fixed | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+------------------------------------ Changes (by bgamari): * cc: bgamari@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7823#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4366: in-tree GMP build problem with shared libraries
by GHC 20 Sep '13

20 Sep '13

#4366: in-tree GMP build problem with shared libraries ----------------------------------------+---------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Build System | Version: 6.13 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8156 ----------------------------------------+---------------------------------- Comment (by errge): #8156 would fix this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4366#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4374: Remove in-tree gmp
by GHC 20 Sep '13

20 Sep '13

#4374: Remove in-tree gmp -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: Build System | Version: 7.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8156 -------------------------------------+------------------------------------ Comment (by errge): Please read #8156, before taking this one, it may make sense to reconsider removing the in-tree GMP. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4374#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8314: ASSERTion at TcMType:809 fails on test polykinds/T6068
by GHC 19 Sep '13

19 Sep '13

#8314: ASSERTion at TcMType:809 fails on test polykinds/T6068 ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- On a recent run through the testsuite on a debug build, testcase polykinds/T6068 was triggering an assertion failure on line 809 of TcMType, which reads {{{ ASSERT2( isWantedCt orig_ct, ppr orig_ct ) }}} in `try_zonk_fun_eq` in `zonkFlats` (just in case line numbers wibble a bit). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8314> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4