tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-09-11 08:55:32 +03:00
Code Issues Projects Releases Wiki Activity

Add missing sized variants of FFIValueTypeRep (#849)

Browse Source
This commit is contained in:
Cheng Shao 2021-01-14 17:59:30 +01:00 committed by GitHub
parent 9c27f372ce
commit 384f0bca5e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 40 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
asterius/src-types/Asterius/Types.hs
View File

@ -622,11 +622,19 @@ data RelooperRun
deriving (Show, Data)
data FFIValueTypeRep
= FFILiftedRep
= FFIJSValRep
| FFILiftedRep
| FFIUnliftedRep
| FFIJSValRep
| FFIIntRep
| FFIInt8Rep
| FFIInt16Rep
| FFIInt32Rep
| FFIInt64Rep
| FFIWordRep
| FFIWord8Rep
| FFIWord16Rep
| FFIWord32Rep
| FFIWord64Rep
| FFIAddrRep
| FFIFloatRep
| FFIDoubleRep

14
asterius/src/Asterius/Foreign/SupportedTypes.hs
View File

@ -27,7 +27,15 @@ ffiValueTypeSigned FFIValueType {..} = case ffiValueTypeRep of
FFIUnliftedRep -> False
FFIJSValRep -> False
FFIIntRep -> True
FFIInt8Rep -> True
FFIInt16Rep -> True
FFIInt32Rep -> True
FFIInt64Rep -> True
FFIWordRep -> False
FFIWord8Rep -> False
FFIWord16Rep -> False
FFIWord32Rep -> False
FFIWord64Rep -> False
FFIAddrRep -> False
FFIFloatRep -> True
FFIDoubleRep -> True
@ -37,7 +45,13 @@ getFFIValueTypeRep tc = case GHC.tyConPrimRep tc of
[GHC.LiftedRep] -> FFILiftedRep
[GHC.UnliftedRep] -> FFIUnliftedRep
[GHC.IntRep] -> FFIIntRep
[GHC.Int8Rep] -> FFIInt8Rep
[GHC.Int16Rep] -> FFIInt16Rep
[GHC.Int64Rep] -> FFIInt64Rep
[GHC.WordRep] -> FFIWordRep
[GHC.Word8Rep] -> FFIWord8Rep
[GHC.Word16Rep] -> FFIWord16Rep
[GHC.Word64Rep] -> FFIWord64Rep
[GHC.AddrRep] -> FFIAddrRep
[GHC.FloatRep] -> FFIFloatRep
[GHC.DoubleRep] -> FFIDoubleRep

16
asterius/src/Asterius/JSFFI.hs
View File

@ -35,7 +35,15 @@ recoverWasmWrapperValueType FFIValueType {..} = case ffiValueTypeRep of
FFIUnliftedRep -> I64
FFIJSValRep -> I64
FFIIntRep -> I64
FFIInt8Rep -> I32
FFIInt16Rep -> I32
FFIInt32Rep -> I32
FFIInt64Rep -> I64
FFIWordRep -> I64
FFIWord8Rep -> I32
FFIWord16Rep -> I32
FFIWord32Rep -> I32
FFIWord64Rep -> I64
FFIAddrRep -> I64
FFIFloatRep -> F32
FFIDoubleRep -> F64
@ -158,7 +166,15 @@ recoverCmmType dflags FFIValueType {..} = case ffiValueTypeRep of
FFIUnliftedRep -> GHC.gcWord dflags
FFIJSValRep -> GHC.gcWord dflags
FFIIntRep -> GHC.bWord dflags
FFIInt8Rep -> GHC.b8
FFIInt16Rep -> GHC.b16
FFIInt32Rep -> GHC.b32
FFIInt64Rep -> GHC.b64
FFIWordRep -> GHC.bWord dflags
FFIWord8Rep -> GHC.b8
FFIWord16Rep -> GHC.b16
FFIWord32Rep -> GHC.b32
FFIWord64Rep -> GHC.b64
FFIAddrRep -> GHC.bWord dflags
FFIFloatRep -> GHC.f32
FFIDoubleRep -> GHC.f64