[1 of 1] Compiling VectorFusionExample ( testing.hs, testing.o )
==================== Tidy Core ====================
Result size of Tidy Core = {terms: 256, types: 335, coercions: 94}
case GHC.Show.$wshowSignedInt 0 256 ([] @ Char)
of _ [Occ=Dead] { (# ww5_a6MB, ww6_a6MC #) ->
: @ Char ww5_a6MB ww6_a6MC
}
\ (@ s_a4RQ) (s1_a4RR [OS=OneShot] :: GHC.Prim.State# s_a4RQ) ->
case GHC.Classes.divInt# 9223372036854775807 8
of ww4_a6M4 { __DEFAULT ->
case tagToEnum# @ Bool (># 256 ww4_a6M4)
of _ [Occ=Dead] {
False ->
case newByteArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ))
2048
(s1_a4RR `cast` ...)
of _ [Occ=Dead] { (# ipv_a6Dn, ipv1_a6Do #) ->
case {__pkg_ccall primitive-0.5.4.0 hsprimitive_memset_Word forall s.
MutableByteArray# s
-> Int#
-> Int#
-> Int#
-> State# RealWorld
-> (# State# RealWorld #)}_a6rI
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ))
ipv1_a6Do
0
256
123
(ipv_a6Dn `cast` ...)
of _ [Occ=Dead] { (# ds5_a6rL #) ->
case unsafeFreezeByteArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ))
ipv1_a6Do
(ds5_a6rL `cast` ...)
of _ [Occ=Dead] { (# ipv2_a6BL, ipv3_a6BM #) ->
(# ipv2_a6BL `cast` ...,
(Data.Vector.Primitive.Vector @ Int 0 256 ipv3_a6BM) `cast` ... #)
}
}
};
True ->
case error
@ (GHC.ST.ST
s_a4RQ
(Data.Vector.Primitive.Mutable.MVector
(Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4RQ)) Int))
VectorFusionExample.makeCountsPurely6
of wild_00 {
}
}
}
unpackCString# "./Data/Vector/Generic/Mutable.hs"#
\ (@ s_a4Or ) (x1_a4OB :: GHC.Prim.Int#) ->
Data.Vector.Internal.Check.checkError
@ (GHC.ST.ST
s_a4Or
(Data.Vector.Generic.Base.Mutable
V.Vector
(Control.Monad.Primitive.PrimState (GHC.ST.ST s_a4Or))
CountOfValue))
lvl3_rc7b
lvl2_rc7a
Data.Vector.Internal.Check.Bounds
lvl1_rc79
(Data.Vector.Internal.Check.checkLength_msg# x1_a4OB)
\ (@ s_X4Tw ) (ww_sa3v :: GHC.Prim.Int#) ->
error
@ (GHC.ST.ST
s_X4Tw
(Data.Vector.Primitive.Mutable.MVector
(Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4Tw)) Int))
(unpackAppendCString#
"Primitive.basicUnsafeNew: length to large: "#
(case GHC.Show.$wshowSignedInt 0 ww_sa3v ([] @ Char)
of _ [Occ=Dead] { (# ww5_a6MB, ww6_a6MC #) ->
: @ Char ww5_a6MB ww6_a6MC
}))
\ (@ s_X4Tw ) (ww_sa3v :: GHC.Prim.Int#) ->
error
@ (GHC.ST.ST
s_X4Tw
(Data.Vector.Primitive.Mutable.MVector
(Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4Tw)) Int))
(unpackAppendCString#
"Primitive.basicUnsafeNew: negative length: "#
(case GHC.Show.$wshowSignedInt 0 ww_sa3v ([] @ Char)
of _ [Occ=Dead] { (# ww5_a6MB, ww6_a6MC #) ->
: @ Char ww5_a6MB ww6_a6MC
}))
\ (ww_sa41 :: GHC.Prim.Int#) (ww1_sa42 :: GHC.Prim.Int#) (ww2_sa43 :: GHC.Prim.ByteArray#) ->
case VectorFusionExample.makeCountsPurely4 `cast` ...
of nt_s7EL
{ Data.Vector.Primitive.Vector ipv_s7EN ipv1_s7EO ipv2_s7EP ->
GHC.ST.runSTRep
@ (V.Vector CountOfValue)
(\ (@ s_X4TS) (s1_X4TU [OS=OneShot] :: GHC.Prim.State# s_X4TS) ->
case Data.Vector.Generic.length
@ V.Vector
@ CountOfValue
Data.Vector.Unboxed.Base.$fVectorVectorInt
(nt_s7EL `cast` ...)
of _ [Occ=Dead] { I# x1_a4OB ->
case tagToEnum# @ Bool (>=# x1_a4OB 0)
of _ [Occ=Dead] {
False ->
case VectorFusionExample.makeCountsPurely3 @ s_X4TS x1_a4OB
of wild_00 {
};
True ->
case tagToEnum# @ Bool (<# x1_a4OB 0)
of _ [Occ=Dead] {
False ->
case GHC.Classes.divInt# 9223372036854775807 8
of ww4_a6M4 { __DEFAULT ->
case tagToEnum# @ Bool (># x1_a4OB ww4_a6M4)
of _ [Occ=Dead] {
False ->
case newByteArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
(*# x1_a4OB 8)
(s1_X4TU `cast` ...)
of _ [Occ=Dead] { (# ipv3_a6Dn, ipv4_a6Do #) ->
case {__pkg_ccall primitive-0.5.4.0 hsprimitive_memset_Word8 forall s.
MutableByteArray# s
-> Int#
-> Int#
-> Word#
-> State# RealWorld
-> (# State# RealWorld #)}_a6ts
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
ipv4_a6Do
0
(*# x1_a4OB 8)
(__word 0)
(ipv3_a6Dn `cast` ...)
of _ [Occ=Dead] { (# ds5_a6tv #) ->
case copyByteArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
ipv2_s7EP
(*# ipv_s7EN 8)
ipv4_a6Do
0
(*# x1_a4OB 8)
(ds5_a6tv `cast` ...)
of s'#_a6y2 [OS=OneShot] { __DEFAULT ->
letrec {
$s$wa_sbku [Occ=LoopBreaker]
:: GHC.Prim.Int#
-> GHC.Prim.State# s_X4TS -> (# GHC.Prim.State# s_X4TS, () #)
[LclId, Arity=2, Str=DmdType <L,U><L,U>]
$s$wa_sbku =
\ (sc_sbkr :: GHC.Prim.Int#)
(sc1_sbkt [OS=OneShot] :: GHC.Prim.State# s_X4TS) ->
case tagToEnum# @ Bool (>=# sc_sbkr ww1_sa42)
of _ [Occ=Dead] {
False ->
case indexWord8Array#
ww2_sa43 (+# ww_sa41 sc_sbkr)
of wild6_a6Af { __DEFAULT ->
let {
a_s824 :: GHC.Prim.Int#
[LclId, Str=DmdType]
a_s824 = word2Int# wild6_a6Af } in
case readIntArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
ipv4_a6Do
a_s824
(sc1_sbkt `cast` ...)
of _ [Occ=Dead] { (# ipv5_a6S6, ipv6_a6S7 #) ->
case writeIntArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
ipv4_a6Do
a_s824
(+# ipv6_a6S7 789)
ipv5_a6S6
of s'#1_a6st [OS=OneShot] { __DEFAULT ->
$s$wa_sbku (+# sc_sbkr 1) (s'#1_a6st `cast` ...)
}
}
};
True -> (# sc1_sbkt, GHC.Tuple.() #)
}; } in
case $s$wa_sbku 0 (s'#_a6y2 `cast` ...)
of _ [Occ=Dead] { (# ipv6_a4RE, ipv7_a4RF #) ->
case unsafeFreezeByteArray#
@ (Control.Monad.Primitive.PrimState (GHC.ST.ST s_X4TS))
ipv4_a6Do
(ipv6_a4RE `cast` ...)
of _ [Occ=Dead] { (# ipv5_a6BL, ipv9_a6BM #) ->
(# ipv5_a6BL `cast` ...,
(Data.Vector.Primitive.Vector @ Int 0 x1_a4OB ipv9_a6BM)
`cast` ... #)
}
}
}
}
};
True ->
case VectorFusionExample.makeCountsPurely2 @ s_X4TS x1_a4OB
of wild_00 {
}
}
};
True ->
case VectorFusionExample.makeCountsPurely1 @ s_X4TS x1_a4OB
of wild_00 {
}
}
}
})
}
\ (w_sa3Y :: V.Vector Value) ->
case w_sa3Y `cast` ...
of _ [Occ=Dead]
{ Data.Vector.Primitive.Vector ww1_sa41 ww2_sa42 ww3_sa43 ->
VectorFusionExample.$wmakeCountsPurely ww1_sa41 ww2_sa42 ww3_sa43
}