rlo...@gmail.com>; Simon Peyton Jones
| <simo...@microsoft.com>; ghc-devs <ghc-devs@haskell.org>; rwbar...@gmail.com
| Subject: Re: question about coercions between primitive types in STG level
|
| Thanks for all the answers,
|
| Simon, do you remember anything about the ticke
u'll need to get more information... pprTrace or
something.
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer
| Sinan Agacan
| Sent: 06 December 2015 18:25
| To: ghc-devs <ghc-devs@haskell.org>
| Subject: question about coercio
Simon Marlow writes:
> I'm not sure what you did to get to this point, but let me elaborate on
> what I think is needed:
>
> - Add primops for the conversions
> - Add appropriate MachOps for the conversions (F32 -> I32, F64 -> I64)
> - Make sure the primops get compiled into
pprTrace or
>> something.
>>
>> Simon
>>
>> | -Original Message-
>> | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer
>> | Sinan Agacan
>> | Sent: 06 December 2015 18:25
>> | To: ghc-devs <ghc-devs@haskell.org>
oat and a non-float will require an
> instruction on some architectures, since they use different register sets.
> >
> > Re (2) I have no idea. You'll need to get more information... pprTrace
> or something.
> >
> > Simon
> >
> > | -Original
t; | Sinan Agacan
> | Sent: 06 December 2015 18:25
> | To: ghc-devs <ghc-devs@haskell.org>
> | Subject: question about coercions between primitive types in STG level
> |
> | Hi all,
> |
> | In my compiler pass(D1559, see ElimUbxSums.hs) I'm doing some unsafe
> | coercions at
information... pprTrace or
something.
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer
| Sinan Agacan
| Sent: 06 December 2015 18:25
| To: ghc-devs <ghc-devs@haskell.org>
| Subject: question about coercions between primitive types
... pprTrace or
something.
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer
| Sinan Agacan
| Sent: 06 December 2015 18:25
| To: ghc-devs <ghc-devs@haskell.org>
| Subject: question about coercions between primitive types in STG
Hi all,
In my compiler pass(D1559, see ElimUbxSums.hs) I'm doing some unsafe coercions
at the STG level. It works fine for lifted types, but for unlifted ones I'm
having some problems. What I'm trying to do is given a number of primitive
types I'm finding the one with biggest size, and then