[GHC] #12614: Integer division can overwrite other arguments to foreign call

24 Sep 2016

      #12614: Integer division can overwrite other arguments to foreign call
-------------------------------------+-------------------------------------
           Reporter:  jscholl        |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.0.1
  (NCG)                              |
           Keywords:  integer        |  Operating System:  Unknown/Multiple
  division                           |
       Architecture:  x86_64         |   Type of failure:  Incorrect result
  (amd64)                            |  at runtime
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 If you call a foreign function, GHC can generate incorrect code while
 passing the arguments to the function, overwriting the 3rd argument if a
 later argument contains an integer division.

 Main.hs:

 {{{
 {-# LANGUAGE ForeignFunctionInterface #-}
 module Main where

 {-# NOINLINE foo #-}
 foo :: Int -> IO ()
 foo x = c_foo 0 0 x $ x + x `quot` 10

 foreign import ccall "foo" c_foo :: Int -> Int -> Int -> Int -> IO ()

 main :: IO ()
 main = do
     foo 202
     foo 203
     foo 204
 }}}

 foo.c:

 {{{
 #include 

 void foo(int a, int b, int c, int d) {
     printf("%d, %d, %d, %d\n", a, b, c, d);
 }
 }}}

 Expected output:
 {{{
 0, 0, 202, 222
 0, 0, 203, 223
 0, 0, 204, 224
 }}}

 Actual output:
 {{{
 0, 0, 2, 222
 0, 0, 3, 223
 0, 0, 4, 224
 }}}

 The bug has to be somewhere in the code generator. The cmm reads:

 {{{
 call "ccall" arg hints:  [‘signed’, ‘signed’, ‘signed’, ‘signed’]  result
 hints:  [] foo(0, 0, _s3nE::I64, _s3nE::I64 + %MO_S_Quot_W64(_s3nE::I64,
 10));
 }}}

 This generates the following assembler code:

 {{{
         xorl %edi,%edi
         xorl %esi,%esi
         movq %rbx,%rdx
         movl $10,%ecx
         movq %rax,%rdx  <-- move 3rd argument into rdx
         movq %rbx,%rax
         movq %rdx,%r8
         cqto
         idivq %rcx      <-- rax := rax / rcx; rdx := rax % rcx
         movq %rbx,%rcx
         addq %rax,%rcx
         subq $8,%rsp
         xorl %eax,%eax
         movq %r8,%rbx
         call foo
 }}}

 Thus rdx is overwritten again before the call, leading to incorrect
 results.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12614
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

GHC

GHC

GHC

GHC

GHC

GHC

GHC

GHC

tags

participants (1)