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 the appropriate Mach

Re: question about coercions between primitive types in STG level

2015-12-17 Thread Simon Marlow
erent register sets. Re (2) I have no idea. You'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 |

RE: question about coercions between primitive types in STG level

2015-12-17 Thread Simon Peyton Jones
ow ; Simon Peyton Jones | ; ghc-devs ; 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 ticket about converting between | floating point types and integers? I spend q

Re: question about coercions between primitive types in STG level

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

Re: question about coercions between primitive types in STG level

2015-12-07 Thread Simon Marlow
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 | Subject: question about coercions between primitive types in STG level

Re: question about coercions between primitive types in STG level

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

Re: question about coercions between primitive types in STG level

2015-12-07 Thread Ömer Sinan Ağacan
Ömer > | Sinan Agacan > | Sent: 06 December 2015 18:25 > | To: ghc-devs > | 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 the STG

RE: question about coercions between primitive types in STG level

2015-12-07 Thread Simon Peyton Jones
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 | Subject: question about coercions between primitive types in STG level | | H

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 genera