[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     |
-------------------------------------+-------------------------------------

Comment (by nkaretnikov):

 Replying to [comment:3 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.

 https://ghc.haskell.org/trac/ghc/wiki/ImprovedArithmeticPrimops#AsmfromsubWordCvs
 .asmfromauser-definedoverflow-checkingfunction

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