[GHC] #6135: Unboxed Booleans

Simon Peyton-Jones simonpj at microsoft.com
Wed Mar 13 15:23:07 CET 2013


Ben

Would you like to take a look, since you initiated this :-).  We need a definite win to make it worth it.

Simon

| -----Original Message-----
| From: ghc-tickets-bounces at haskell.org [mailto:ghc-tickets-
| bounces at haskell.org] On Behalf Of GHC
| Sent: 13 March 2013 14:19
| Cc: ghc-tickets at haskell.org
| Subject: Re: [GHC] #6135: Unboxed Booleans
| 
| #6135: Unboxed Booleans
| ---------------------------------+--------------------------------------
| ---------------------------------+----
|     Reporter:  benl              |       Owner:  jstolarek
|         Type:  feature request   |      Status:  new
|     Priority:  normal            |   Milestone:  7.8.1
|    Component:  Compiler          |     Version:  7.4.1
|     Keywords:                    |          Os:  Unknown/Multiple
| Architecture:  Unknown/Multiple  |     Failure:  None/Unknown
|   Difficulty:  Unknown           |    Testcase:
|    Blockedby:                    |    Blocking:
|      Related:  #605              |
| ---------------------------------+--------------------------------------
| ---------------------------------+----
| 
| Comment(by jstolarek):
| 
|  I implemented a prototype version of new comparison primops. They
| compare  two `Int#`s but as a result they return either `0#` (denoting
| False) or  `1#` (denoting True) instead of returning a `Bool`. Now the
| results of  comparing can be combined using bitwise `orI#`, `andI#`,
| `xorI#` and  `notI#` primops, which addresses the original problem that
| was reported  (at least partially). I'm attaching patches for GHC and
| the testsuite  (includes some cleanup of my other code for testing
| primops). These  patches are for review and discussion purposes - they
| are not yet ready  for integration because they don't contain primops
| for comparing values of  type `Word#`, `Float#` and `Double#`. I will
| implement comparisons for  these types once I am certain that I got
| things right with `Int#`.
|  Feedback will be much appreciated.
| 
| --
| Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6135#comment:21>
| GHC <http://www.haskell.org/ghc/>
| The Glasgow Haskell Compiler
| 
| _______________________________________________
| ghc-tickets mailing list
| ghc-tickets at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-tickets



More information about the ghc-devs mailing list