[GHC] #14619: Output value of program changes upon compiling with -O optimizations
GHC
ghc-devs at haskell.org
Sun Jan 14 20:36:56 UTC 2018
#14619: Output value of program changes upon compiling with -O optimizations
-------------------------------------+-------------------------------------
Reporter: sheaf | Owner: (none)
Type: bug | Status: new
Priority: highest | Milestone: 8.4.1
Component: Compiler | Version: 8.2.2
Resolution: | Keywords:
Operating System: Windows | Architecture: x86_64
Type of failure: Incorrect result | (amd64)
at runtime | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by carter):
summary notes of findings / information so far.
1) reproducible in 64bit windows/ mingw32 windows 64bit build. Phyx-
indicated that the bug is observable with ghc 8.2 and old, but not with
8.4/head?
2) O2 and disabling the CMM SINK optimization pass makes the bug go away,
which seems to indicate / hint at the issue being some piece of
compilation / optimization that interacts with the CMM Sink algorithm
using platform dependent data is incorrect
theres not that many places (seemingly) where the information / action
differs at this layer between different x86_64 compiler targets. So i
think one of the spots in cmm/ native code gen that does something
different when the platform in MinGW32 is the culptrit?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14619#comment:23>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list