[GHC] #10962: Improved arithmetic primops

[GHC]

#10962: Improved arithmetic primops
-------------------------------------+-------------------------------------
        Reporter:  nkaretnikov       |                Owner:  nkaretnikov
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
  wiki:ImprovedArithmeticPrimops     |
-------------------------------------+-------------------------------------

Old description:

> There are a few primops that report arithmetic overflow, which work on
> `Int`s and a couple or so for `Word`s. But that's not enough! Let's add
> more and clean up the existing code (e.g., make overflow-reporting
> helpers proper primops) on the go. See the wiki page for the proposal.

New description:

 See the todo list on the wiki page.

--

Comment (by tibbe):

 Could you clarify (on the wiki) what assembly you get if you just
 implement this in Haskell (on top of the "unsafe" primops) and what
 assembly you'd like to see. Elsewhere (e.g. with the shift primops) we
 have been able to implement "safe" primops on top of the unsafe ones.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10962#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler