Xeno examples
| -- RHS size: {terms: 254, types: 135, coercions: 0} | |
| Xeno.$wparse [InlPrag=[0]] | |
| :: GHC.Prim.Addr# | |
| -> GHC.ForeignPtr.ForeignPtrContents | |
| -> GHC.Prim.Int# | |
| -> GHC.Prim.Int# | |
| -> () | |
| [GblId, | |
| Arity=4, | |
| Str=DmdType <L,U><L,U><L,U><S,U>, | |
| Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, | |
| WorkFree=True, Expandable=True, Guidance=IF_ARGS [0 0 0 0] 722 0}] | |
| Xeno.$wparse = | |
| \ (ww_s3PP :: GHC.Prim.Addr#) | |
| (ww1_s3PQ :: GHC.ForeignPtr.ForeignPtrContents) | |
| (ww2_s3PR :: GHC.Prim.Int#) | |
| (ww3_s3PS :: GHC.Prim.Int#) -> | |
| let { | |
| p'_s3RK :: GHC.Prim.Addr# | |
| [LclId, Str=DmdType] | |
| p'_s3RK = GHC.Prim.plusAddr# ww_s3PP ww2_s3PR } in | |
| letrec { | |
| $w$j_s3RI [InlPrag=[0]] :: GHC.Prim.Int# -> () | |
| [LclId, Arity=1, Str=DmdType <S,U>] | |
| $w$j_s3RI = | |
| \ (ww4_s3PD [OS=OneShot] :: GHC.Prim.Int#) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<=# ww4_s3PD 0#) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww4_s3PD ww3_s3PS) | |
| of _ [Occ=Dead] { | |
| False -> | |
| let { | |
| p'1_s3KV [Dmd=<S,U>] :: GHC.Prim.Addr# | |
| [LclId, Str=DmdType] | |
| p'1_s3KV = | |
| GHC.Prim.plusAddr# ww_s3PP (GHC.Prim.+# ww2_s3PR ww4_s3PD) } in | |
| case {__pkg_ccall bytestring-0.10.8.1 memchr Addr# | |
| -> Int# | |
| -> Word# | |
| -> State# RealWorld | |
| -> (# State# RealWorld, Addr# #)}_a3J5 | |
| p'1_s3KV | |
| 62# | |
| (GHC.Prim.int2Word# (GHC.Prim.-# ww3_s3PS ww4_s3PD)) | |
| GHC.Prim.realWorld# | |
| of _ [Occ=Dead] { (# ds4_a3Ja, ds5_a3Jb #) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.eqAddr# ds5_a3Jb __NULL) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| $wparseTags_s3PL | |
| (GHC.Prim.+# | |
| (GHC.Prim.+# (GHC.Prim.minusAddr# ds5_a3Jb p'1_s3KV) ww4_s3PD) 1#) | |
| }; | |
| True -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| GHC.Tuple.() | |
| } | |
| } | |
| }; | |
| True -> | |
| case {__pkg_ccall bytestring-0.10.8.1 memchr Addr# | |
| -> Int# | |
| -> Word# | |
| -> State# RealWorld | |
| -> (# State# RealWorld, Addr# #)}_a3J5 | |
| __NULL 62# 0## GHC.Prim.realWorld# | |
| of _ [Occ=Dead] { (# ds4_a3Ja, ds5_a3Jb #) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.eqAddr# ds5_a3Jb __NULL) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| Data.ByteString.Internal.$fMonoidByteString3 | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| $wparseTags_s3PL | |
| (GHC.Prim.+# | |
| (GHC.Prim.+# (GHC.Prim.minusAddr# ds5_a3Jb __NULL) ww4_s3PD) 1#) | |
| }; | |
| True -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| Data.ByteString.Internal.$fMonoidByteString3 | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| GHC.Tuple.() | |
| } | |
| } | |
| } | |
| }; | |
| True -> | |
| case {__pkg_ccall bytestring-0.10.8.1 memchr Addr# | |
| -> Int# | |
| -> Word# | |
| -> State# RealWorld | |
| -> (# State# RealWorld, Addr# #)}_a3J5 | |
| p'_s3RK 62# (GHC.Prim.int2Word# ww3_s3PS) GHC.Prim.realWorld# | |
| of _ [Occ=Dead] { (# ds4_a3Ja, ds5_a3Jb #) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.eqAddr# ds5_a3Jb __NULL) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| $wparseTags_s3PL | |
| (GHC.Prim.+# | |
| (GHC.Prim.+# (GHC.Prim.minusAddr# ds5_a3Jb p'_s3RK) ww4_s3PD) 1#) | |
| }; | |
| True -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| GHC.Tuple.() | |
| } | |
| } | |
| } | |
| }; | |
| $wparseTags_s3PL [InlPrag=[0], Occ=LoopBreaker] | |
| :: GHC.Prim.Int# -> () | |
| [LclId, Arity=1, Str=DmdType <S,U>] | |
| $wparseTags_s3PL = | |
| \ (ww4_s3PJ :: GHC.Prim.Int#) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<=# ww4_s3PJ 0#) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# ww4_s3PJ ww3_s3PS) | |
| of _ [Occ=Dead] { | |
| False -> | |
| let { | |
| p'1_s3KA [Dmd=<S,U>] :: GHC.Prim.Addr# | |
| [LclId, Str=DmdType] | |
| p'1_s3KA = | |
| GHC.Prim.plusAddr# ww_s3PP (GHC.Prim.+# ww2_s3PR ww4_s3PJ) } in | |
| case {__pkg_ccall bytestring-0.10.8.1 memchr Addr# | |
| -> Int# | |
| -> Word# | |
| -> State# RealWorld | |
| -> (# State# RealWorld, Addr# #)}_a3J5 | |
| p'1_s3KA | |
| 60# | |
| (GHC.Prim.int2Word# (GHC.Prim.-# ww3_s3PS ww4_s3PJ)) | |
| GHC.Prim.realWorld# | |
| of _ [Occ=Dead] { (# ds4_a3Ja, ds5_a3Jb #) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.eqAddr# ds5_a3Jb __NULL) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| $w$j_s3RI | |
| (GHC.Prim.+# (GHC.Prim.minusAddr# ds5_a3Jb p'1_s3KA) ww4_s3PJ) | |
| }; | |
| True -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| GHC.Tuple.() | |
| } | |
| } | |
| }; | |
| True -> | |
| case {__pkg_ccall bytestring-0.10.8.1 memchr Addr# | |
| -> Int# | |
| -> Word# | |
| -> State# RealWorld | |
| -> (# State# RealWorld, Addr# #)}_a3J5 | |
| __NULL 60# 0## GHC.Prim.realWorld# | |
| of _ [Occ=Dead] { (# ds4_a3Ja, ds5_a3Jb #) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.eqAddr# ds5_a3Jb __NULL) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| Data.ByteString.Internal.$fMonoidByteString3 | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| $w$j_s3RI | |
| (GHC.Prim.+# (GHC.Prim.minusAddr# ds5_a3Jb __NULL) ww4_s3PJ) | |
| }; | |
| True -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| Data.ByteString.Internal.$fMonoidByteString3 | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| GHC.Tuple.() | |
| } | |
| } | |
| } | |
| }; | |
| True -> | |
| case {__pkg_ccall bytestring-0.10.8.1 memchr Addr# | |
| -> Int# | |
| -> Word# | |
| -> State# RealWorld | |
| -> (# State# RealWorld, Addr# #)}_a3J5 | |
| p'_s3RK 60# (GHC.Prim.int2Word# ww3_s3PS) GHC.Prim.realWorld# | |
| of _ [Occ=Dead] { (# ds4_a3Ja, ds5_a3Jb #) -> | |
| case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.eqAddr# ds5_a3Jb __NULL) | |
| of _ [Occ=Dead] { | |
| False -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| $w$j_s3RI | |
| (GHC.Prim.+# (GHC.Prim.minusAddr# ds5_a3Jb p'_s3RK) ww4_s3PJ) | |
| }; | |
| True -> | |
| case GHC.Prim.touch# | |
| @ 'GHC.Types.PtrRepLifted | |
| @ GHC.ForeignPtr.ForeignPtrContents | |
| ww1_s3PQ | |
| ds4_a3Ja | |
| of _ [Occ=Dead, OS=OneShot] { __DEFAULT -> | |
| GHC.Tuple.() | |
| } | |
| } | |
| } | |
| }; } in | |
| $wparseTags_s3PL 0# | |
| -- RHS size: {terms: 9, types: 6, coercions: 0} | |
| parse [InlPrag=INLINE[0]] :: ByteString -> () | |
| [GblId, | |
| Arity=1, | |
| Str=DmdType <S(LLLS),U(U,U,U,U)>, | |
| Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, | |
| WorkFree=True, Expandable=True, | |
| Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False) | |
| Tmpl= \ (w_s3PM [Occ=Once!] :: ByteString) -> | |
| case w_s3PM | |
| of _ [Occ=Dead] | |
| { Data.ByteString.Internal.PS ww1_s3PP [Occ=Once] | |
| ww2_s3PQ [Occ=Once] ww3_s3PR [Occ=Once] | |
| ww4_s3PS [Occ=Once] -> | |
| Xeno.$wparse ww1_s3PP ww2_s3PQ ww3_s3PR ww4_s3PS | |
| }}] | |
| parse = | |
| \ (w_s3PM :: ByteString) -> | |
| case w_s3PM | |
| of _ [Occ=Dead] | |
| { Data.ByteString.Internal.PS ww1_s3PP ww2_s3PQ ww3_s3PR | |
| ww4_s3PS -> | |
| Xeno.$wparse ww1_s3PP ww2_s3PQ ww3_s3PR ww4_s3PS | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment