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

#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: ------------------------------------------------+-------------------------- Comment (by bgamari): Interestingly enough building with `-O1 -fllvm` also results in `0`. However, it seems this is only accidental as the conversion is lowered to `%ln1JE = fptosi double %ln1JD to i64` in LLVM IR which is undefined when the source can't fit in the destination type. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7866#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC