RE: question about coercions between primitive types in STG level

2015-12-17 Thread Simon Peyton Jones
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

Re: question about coercions between primitive types in STG level

2015-12-17 Thread Simon Marlow
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

Re: question about coercions between primitive types in STG level

2015-12-17 Thread Ben Gamari
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

Re: question about coercions between primitive types in STG level

2015-12-09 Thread Ömer Sinan Ağacan
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>

Re: question about coercions between primitive types in STG level

2015-12-07 Thread Reid Barton
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

Re: question about coercions between primitive types in STG level

2015-12-07 Thread Ömer Sinan Ağacan
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

RE: question about coercions between primitive types in STG level

2015-12-07 Thread Simon Peyton Jones
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

Re: question about coercions between primitive types in STG level

2015-12-07 Thread Simon Marlow
... 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

question about coercions between primitive types in STG level

2015-12-06 Thread Ömer Sinan Ağacan
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