Build #1 for linearscan-0.11.1
| Package | linearscan-0.11.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-10-08 18:56:33.364123 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | transformers-0.4.2.0, mtl-2.2.1, ghc-prim-0.4.0.0, containers-0.5.6.2, base-4.8.1.0 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
Running hscolour for mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Preprocessing library mtl-2.2.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
100% ( 5 / 5) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
Missing documentation for:
MonadRWS (Control/Monad/RWS/Class.hs:44)
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
100% ( 3 / 3) in 'Control.Monad.Trans'
93% ( 14 / 15) in 'Control.Monad.Error'
Missing documentation for:
runErrorT
100% ( 19 / 19) in 'Control.Monad.Except'
100% ( 5 / 5) in 'Control.Monad.List'
95% ( 21 / 22) in 'Control.Monad.RWS.Lazy'
Missing documentation for:
runRWST
100% ( 2 / 2) in 'Control.Monad.RWS'
96% ( 22 / 23) in 'Control.Monad.Reader'
Missing documentation for:
runReaderT
95% ( 21 / 22) in 'Control.Monad.RWS.Strict'
Missing documentation for:
runRWST
96% ( 24 / 25) in 'Control.Monad.State.Lazy'
Missing documentation for:
runStateT
100% ( 2 / 2) in 'Control.Monad.State'
96% ( 24 / 25) in 'Control.Monad.State.Strict'
Missing documentation for:
runStateT
89% ( 17 / 19) in 'Control.Monad.Writer.Lazy'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
runWriterT
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
Missing documentation for:
MonadWriter (Control/Monad/Writer/Class.hs:62)
91% ( 20 / 22) in 'Control.Monad.Cont'
Missing documentation for:
MonadCont (Control/Monad/Cont/Class.hs:73)
runContT
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.2278722862233665123.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Downloading linearscan-0.11.1...
Configuring linearscan-0.11.1...
Building linearscan-0.11.1...
Preprocessing library linearscan-0.11.1...
[ 1 of 57] Compiling Hask.Utils ( Hask/haskell/Hask/Utils.hs, dist/build/Hask/Utils.o )
[ 2 of 57] Compiling LinearScan.Context ( LinearScan/Context.hs, dist/build/LinearScan/Context.o )
[ 3 of 57] Compiling LinearScan.Maybe ( LinearScan/Maybe.hs, dist/build/LinearScan/Maybe.o )
[ 4 of 57] Compiling LinearScan.Specif ( LinearScan/Specif.hs, dist/build/LinearScan/Specif.o )
[ 5 of 57] Compiling LinearScan.Ssr ( LinearScan/Ssr.hs, dist/build/LinearScan/Ssr.o )
[ 6 of 57] Compiling LinearScan.Ssrbool ( LinearScan/Ssrbool.hs, dist/build/LinearScan/Ssrbool.o )
[ 7 of 57] Compiling LinearScan.Ascii ( LinearScan/Ascii.hs, dist/build/LinearScan/Ascii.o )
[ 8 of 57] Compiling LinearScan.Datatypes ( LinearScan/Datatypes.hs, dist/build/LinearScan/Datatypes.o )
[ 9 of 57] Compiling LinearScan.Logic ( LinearScan/Logic.hs, dist/build/LinearScan/Logic.o )
[10 of 57] Compiling LinearScan.NonEmpty ( LinearScan/NonEmpty.hs, dist/build/LinearScan/NonEmpty.o )
[11 of 57] Compiling LinearScan.Prelude0 ( LinearScan/Prelude0.hs, dist/build/LinearScan/Prelude0.o )
[12 of 57] Compiling LinearScan.Ssrfun ( LinearScan/Ssrfun.hs, dist/build/LinearScan/Ssrfun.o )
[13 of 57] Compiling LinearScan.Eqtype ( LinearScan/Eqtype.hs, dist/build/LinearScan/Eqtype.o )
[14 of 57] Compiling LinearScan.Ssrnat ( LinearScan/Ssrnat.hs, dist/build/LinearScan/Ssrnat.o )
[15 of 57] Compiling LinearScan.Seq ( LinearScan/Seq.hs, dist/build/LinearScan/Seq.o )
[16 of 57] Compiling LinearScan.IntSet ( LinearScan/IntSet.hs, dist/build/LinearScan/IntSet.o )
[17 of 57] Compiling LinearScan.List1 ( LinearScan/List1.hs, dist/build/LinearScan/List1.o )
[18 of 57] Compiling LinearScan.IntMap ( LinearScan/IntMap.hs, dist/build/LinearScan/IntMap.o )
[19 of 57] Compiling LinearScan.Choice ( LinearScan/Choice.hs, dist/build/LinearScan/Choice.o )
[20 of 57] Compiling LinearScan.Fintype ( LinearScan/Fintype.hs, dist/build/LinearScan/Fintype.o )
[21 of 57] Compiling LinearScan.Vector0 ( LinearScan/Vector0.hs, dist/build/LinearScan/Vector0.o )
[22 of 57] Compiling LinearScan.Contravariant ( LinearScan/Contravariant.hs, dist/build/LinearScan/Contravariant.o )
[23 of 57] Compiling LinearScan.Graph ( LinearScan/Graph.hs, dist/build/LinearScan/Graph.o )
[24 of 57] Compiling LinearScan.Lib ( LinearScan/Lib.hs, dist/build/LinearScan/Lib.o )
[25 of 57] Compiling LinearScan.List0 ( LinearScan/List0.hs, dist/build/LinearScan/List0.o )
[26 of 57] Compiling LinearScan.Nat ( LinearScan/Nat.hs, dist/build/LinearScan/Nat.o )
[27 of 57] Compiling LinearScan.Ssreflect ( LinearScan/Ssreflect.hs, dist/build/LinearScan/Ssreflect.o )
[28 of 57] Compiling LinearScan.Tuple ( LinearScan/Tuple.hs, dist/build/LinearScan/Tuple.o )
[29 of 57] Compiling LinearScan.String0 ( LinearScan/String0.hs, dist/build/LinearScan/String0.o )
[30 of 57] Compiling LinearScan.UsePos ( LinearScan/UsePos.hs, dist/build/LinearScan/UsePos.o )
[31 of 57] Compiling LinearScan.Trace ( LinearScan/Trace.hs, dist/build/LinearScan/Trace.o )
[32 of 57] Compiling LinearScan.Range ( LinearScan/Range.hs, dist/build/LinearScan/Range.o )
[33 of 57] Compiling LinearScan.Interval ( LinearScan/Interval.hs, dist/build/LinearScan/Interval.o )
[34 of 57] Compiling LinearScan.ScanState ( LinearScan/ScanState.hs, dist/build/LinearScan/ScanState.o )
[35 of 57] Compiling LinearScan.Morph ( LinearScan/Morph.hs, dist/build/LinearScan/Morph.o )
[36 of 57] Compiling LinearScan.Cursor ( LinearScan/Cursor.hs, dist/build/LinearScan/Cursor.o )
[37 of 57] Compiling LinearScan.Spill ( LinearScan/Spill.hs, dist/build/LinearScan/Spill.o )
[38 of 57] Compiling LinearScan.Split ( LinearScan/Split.hs, dist/build/LinearScan/Split.o )
[39 of 57] Compiling LinearScan.Allocate ( LinearScan/Allocate.hs, dist/build/LinearScan/Allocate.o )
[40 of 57] Compiling LinearScan.Functor ( LinearScan/Functor.hs, dist/build/LinearScan/Functor.o )
[41 of 57] Compiling LinearScan.Const ( LinearScan/Const.hs, dist/build/LinearScan/Const.o )
[42 of 57] Compiling LinearScan.Applicative ( LinearScan/Applicative.hs, dist/build/LinearScan/Applicative.o )
[43 of 57] Compiling LinearScan.Monad ( LinearScan/Monad.hs, dist/build/LinearScan/Monad.o )
[44 of 57] Compiling LinearScan.Blocks ( LinearScan/Blocks.hs, dist/build/LinearScan/Blocks.o )
[45 of 57] Compiling LinearScan.Class ( LinearScan/Class.hs, dist/build/LinearScan/Class.o )
[46 of 57] Compiling LinearScan.Identity ( LinearScan/Identity.hs, dist/build/LinearScan/Identity.o )
[47 of 57] Compiling LinearScan.State ( LinearScan/State.hs, dist/build/LinearScan/State.o )
[48 of 57] Compiling LinearScan.State0 ( LinearScan/State0.hs, dist/build/LinearScan/State0.o )
[49 of 57] Compiling LinearScan.Loops ( LinearScan/Loops.hs, dist/build/LinearScan/Loops.o )
[50 of 57] Compiling LinearScan.Lens ( LinearScan/Lens.hs, dist/build/LinearScan/Lens.o )
[51 of 57] Compiling LinearScan.LiveSets ( LinearScan/LiveSets.hs, dist/build/LinearScan/LiveSets.o )
[52 of 57] Compiling LinearScan.Resolve ( LinearScan/Resolve.hs, dist/build/LinearScan/Resolve.o )
[53 of 57] Compiling LinearScan.Build ( LinearScan/Build.hs, dist/build/LinearScan/Build.o )
[54 of 57] Compiling LinearScan.Verify ( LinearScan/Verify.hs, dist/build/LinearScan/Verify.o )
[55 of 57] Compiling LinearScan.Assign ( LinearScan/Assign.hs, dist/build/LinearScan/Assign.o )
[56 of 57] Compiling LinearScan.Main ( LinearScan/Main.hs, dist/build/LinearScan/Main.o )
[57 of 57] Compiling LinearScan ( LinearScan.hs, dist/build/LinearScan.o )
LinearScan.hs:25:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
In-place registering linearscan-0.11.1...
Running Haddock for linearscan-0.11.1...
Running hscolour for linearscan-0.11.1...
Preprocessing library linearscan-0.11.1...
Preprocessing library linearscan-0.11.1...
Haddock coverage:
0% ( 0 / 13) in 'Hask.Utils'
Missing documentation for:
Module header
trace (Hask/haskell/Hask/Utils.hs:8)
intMap_mergeWithKey' (Hask/haskell/Hask/Utils.hs:11)
uncons (Hask/haskell/Hask/Utils.hs:24)
vec_id (Hask/haskell/Hask/Utils.hs:29)
vshiftin (Hask/haskell/Hask/Utils.hs:32)
vreplace (Hask/haskell/Hask/Utils.hs:35)
vmap (Hask/haskell/Hask/Utils.hs:38)
vfoldl' (Hask/haskell/Hask/Utils.hs:41)
vfoldl'_with_index (Hask/haskell/Hask/Utils.hs:44)
vmap_with_index (Hask/haskell/Hask/Utils.hs:50)
vnth (Hask/haskell/Hask/Utils.hs:56)
vec_rect (Hask/haskell/Hask/Utils.hs:59)
0% ( 0 / 9) in 'LinearScan.Context'
Missing documentation for:
Module header
Context (LinearScan/Context.hs:16)
iask (LinearScan/Context.hs:19)
context (LinearScan/Context.hs:23)
iput (LinearScan/Context.hs:27)
imap (LinearScan/Context.hs:31)
ipure (LinearScan/Context.hs:39)
ijoin (LinearScan/Context.hs:43)
ibind (LinearScan/Context.hs:51)
0% ( 0 / 6) in 'LinearScan.Maybe'
Missing documentation for:
Module header
fromMaybe (LinearScan/Maybe.hs:16)
maybe (LinearScan/Maybe.hs:22)
isJust (LinearScan/Maybe.hs:28)
option_map (LinearScan/Maybe.hs:34)
option_choose (LinearScan/Maybe.hs:40)
0% ( 0 / 3) in 'LinearScan.Specif'
Missing documentation for:
Module header
Coq_sig (LinearScan/Specif.hs:16)
Coq_sig2 (LinearScan/Specif.hs:20)
0% ( 0 / 3) in 'LinearScan.Ssr'
Missing documentation for:
Module header
__ (LinearScan/Ssr.hs:16)
prop (LinearScan/Ssr.hs:19)
0% ( 0 / 24) in 'LinearScan.Ssrbool'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Ssrbool.hs:29)
Any (LinearScan/Ssrbool.hs:38)
__ (LinearScan/Ssrbool.hs:44)
isSome (LinearScan/Ssrbool.hs:47)
Coq_reflect (LinearScan/Ssrbool.hs:53)
iffP (LinearScan/Ssrbool.hs:57)
idP (LinearScan/Ssrbool.hs:65)
andP (LinearScan/Ssrbool.hs:71)
Coq_pred (LinearScan/Ssrbool.hs:80)
Coq_rel (LinearScan/Ssrbool.hs:82)
Coq_simpl_pred (LinearScan/Ssrbool.hs:84)
coq_SimplPred (LinearScan/Ssrbool.hs:86)
pred_of_simpl (LinearScan/Ssrbool.hs:90)
Coq_simpl_rel (LinearScan/Ssrbool.hs:94)
rel_of_simpl_rel (LinearScan/Ssrbool.hs:96)
Coq_mem_pred (LinearScan/Ssrbool.hs:100)
Coq_predType (LinearScan/Ssrbool.hs:103)
Coq_pred_sort (LinearScan/Ssrbool.hs:106)
mkPredType (LinearScan/Ssrbool.hs:108)
pred_of_mem (LinearScan/Ssrbool.hs:112)
mem (LinearScan/Ssrbool.hs:117)
in_mem (LinearScan/Ssrbool.hs:122)
pred_of_mem_pred (LinearScan/Ssrbool.hs:126)
0% ( 0 / 2) in 'LinearScan.Ascii'
Missing documentation for:
Module header
Coq_ascii (LinearScan/Ascii.hs:16)
0% ( 0 / 4) in 'LinearScan.Datatypes'
Missing documentation for:
Module header
nat_rect (LinearScan/Datatypes.hs:16)
list_rect (LinearScan/Datatypes.hs:25)
list_rec (LinearScan/Datatypes.hs:31)
0% ( 0 / 3) in 'LinearScan.Logic'
Missing documentation for:
Module header
coq_False_rect (LinearScan/Logic.hs:16)
coq_False_rec (LinearScan/Logic.hs:20)
0% ( 0 / 4) in 'LinearScan.NonEmpty'
Missing documentation for:
Module header
coq_NonEmpty_rect (LinearScan/NonEmpty.hs:16)
coq_NonEmpty_rec (LinearScan/NonEmpty.hs:26)
coq_NE_from_list (LinearScan/NonEmpty.hs:31)
0% ( 0 / 5) in 'LinearScan.Prelude0'
Missing documentation for:
Module header
flip (LinearScan/Prelude0.hs:16)
const (LinearScan/Prelude0.hs:20)
apply (LinearScan/Prelude0.hs:24)
lebf (LinearScan/Prelude0.hs:28)
0% ( 0 / 7) in 'LinearScan.Ssrfun'
Missing documentation for:
Module header
_Option__apply (LinearScan/Ssrfun.hs:18)
_Option__coq_default (LinearScan/Ssrfun.hs:24)
_Option__bind (LinearScan/Ssrfun.hs:28)
pcomp (LinearScan/Ssrfun.hs:33)
s2val (LinearScan/Ssrfun.hs:38)
sig_of_sig2 (LinearScan/Ssrfun.hs:42)
0% ( 0 / 38) in 'LinearScan.Eqtype'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Eqtype.hs:32)
Any (LinearScan/Eqtype.hs:41)
__ (LinearScan/Eqtype.hs:47)
Equality__Coq_axiom (LinearScan/Eqtype.hs:50)
Equality__Coq_mixin_of (LinearScan/Eqtype.hs:52)
_Equality__op (LinearScan/Eqtype.hs:55)
Equality__Coq_type (LinearScan/Eqtype.hs:60)
Equality__Coq_sort (LinearScan/Eqtype.hs:64)
_Equality__coq_class (LinearScan/Eqtype.hs:66)
eq_op (LinearScan/Eqtype.hs:71)
eqP (LinearScan/Eqtype.hs:75)
eqbP (LinearScan/Eqtype.hs:81)
bool_eqMixin (LinearScan/Eqtype.hs:103)
bool_eqType (LinearScan/Eqtype.hs:107)
Coq_subType (LinearScan/Eqtype.hs:111)
Coq_sub_sort (LinearScan/Eqtype.hs:114)
val (LinearScan/Eqtype.hs:116)
coq_Sub (LinearScan/Eqtype.hs:121)
insub (LinearScan/Eqtype.hs:126)
insubd (LinearScan/Eqtype.hs:133)
sig_subType (LinearScan/Eqtype.hs:138)
inj_eqAxiom (LinearScan/Eqtype.hs:143)
val_eqP (LinearScan/Eqtype.hs:148)
sig_eqMixin (LinearScan/Eqtype.hs:154)
sig_eqType (LinearScan/Eqtype.hs:160)
pair_eq (LinearScan/Eqtype.hs:165)
pair_eqP (LinearScan/Eqtype.hs:172)
prod_eqMixin (LinearScan/Eqtype.hs:188)
prod_eqType (LinearScan/Eqtype.hs:194)
opt_eq (LinearScan/Eqtype.hs:198)
opt_eqP (LinearScan/Eqtype.hs:205)
option_eqMixin (LinearScan/Eqtype.hs:228)
option_eqType (LinearScan/Eqtype.hs:233)
sum_eq (LinearScan/Eqtype.hs:237)
sum_eqP (LinearScan/Eqtype.hs:251)
sum_eqMixin (LinearScan/Eqtype.hs:274)
sum_eqType (LinearScan/Eqtype.hs:280)
0% ( 0 / 9) in 'LinearScan.Ssrnat'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Ssrnat.hs:32)
eqnP (LinearScan/Ssrnat.hs:39)
nat_eqMixin (LinearScan/Ssrnat.hs:43)
nat_eqType (LinearScan/Ssrnat.hs:47)
nat_of_bool (LinearScan/Ssrnat.hs:51)
odd (LinearScan/Ssrnat.hs:57)
double_rec (LinearScan/Ssrnat.hs:66)
double (LinearScan/Ssrnat.hs:75)
0% ( 0 / 28) in 'LinearScan.Seq'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Seq.hs:35)
__ (LinearScan/Seq.hs:42)
nilp (LinearScan/Seq.hs:45)
head (LinearScan/Seq.hs:50)
rcons (LinearScan/Seq.hs:56)
last (LinearScan/Seq.hs:62)
belast (LinearScan/Seq.hs:68)
Coq_last_spec (LinearScan/Seq.hs:74)
lastP (LinearScan/Seq.hs:78)
last_ind (LinearScan/Seq.hs:89)
find (LinearScan/Seq.hs:102)
count (LinearScan/Seq.hs:111)
all (LinearScan/Seq.hs:117)
drop (LinearScan/Seq.hs:123)
eqseq (LinearScan/Seq.hs:135)
eqseqP (LinearScan/Seq.hs:148)
seq_eqMixin (LinearScan/Seq.hs:179)
seq_eqType (LinearScan/Seq.hs:184)
mem_seq (LinearScan/Seq.hs:188)
Coq_eqseq_class (LinearScan/Seq.hs:196)
pred_of_eq_seq (LinearScan/Seq.hs:198)
seq_predType (LinearScan/Seq.hs:203)
undup (LinearScan/Seq.hs:208)
rem (LinearScan/Seq.hs:218)
pmap (LinearScan/Seq.hs:228)
iota (LinearScan/Seq.hs:235)
flatten (LinearScan/Seq.hs:244)
0% ( 0 / 19) in 'LinearScan.IntSet'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/IntSet.hs:34)
__ (LinearScan/IntSet.hs:41)
IntSet (LinearScan/IntSet.hs:44)
emptyIntSet (LinearScan/IntSet.hs:48)
coq_IntSet_singleton (LinearScan/IntSet.hs:52)
coq_IntSet_member (LinearScan/IntSet.hs:56)
coq_IntSet_size (LinearScan/IntSet.hs:61)
coq_IntSet_insert (LinearScan/IntSet.hs:65)
coq_IntSet_delete (LinearScan/IntSet.hs:72)
coq_IntSet_union (LinearScan/IntSet.hs:76)
coq_IntSet_difference (LinearScan/IntSet.hs:82)
coq_IntSet_foldl (LinearScan/IntSet.hs:90)
coq_IntSet_forFold (LinearScan/IntSet.hs:94)
coq_IntSet_toList (LinearScan/IntSet.hs:98)
eqIntSet (LinearScan/IntSet.hs:102)
eqIntSetP (LinearScan/IntSet.hs:107)
coq_IntSet_eqMixin (LinearScan/IntSet.hs:124)
coq_IntSet_eqType (LinearScan/IntSet.hs:128)
0% ( 0 / 11) in 'LinearScan.List1'
Missing documentation for:
Module header
__ (LinearScan/List1.hs:19)
concat (LinearScan/List1.hs:22)
maybeLookup (LinearScan/List1.hs:26)
forFold (LinearScan/List1.hs:39)
forFoldr (LinearScan/List1.hs:43)
catMaybes (LinearScan/List1.hs:47)
span (LinearScan/List1.hs:57)
partition (LinearScan/List1.hs:68)
insert (LinearScan/List1.hs:76)
sortBy (LinearScan/List1.hs:85)
0% ( 0 / 23) in 'LinearScan.IntMap'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/IntMap.hs:35)
__ (LinearScan/IntMap.hs:42)
IntMap (LinearScan/IntMap.hs:45)
emptyIntMap (LinearScan/IntMap.hs:49)
coq_IntMap_fromList (LinearScan/IntMap.hs:53)
coq_IntMap_size (LinearScan/IntMap.hs:57)
coq_IntMap_lookup (LinearScan/IntMap.hs:61)
coq_IntMap_alter (LinearScan/IntMap.hs:65)
coq_IntMap_insert (LinearScan/IntMap.hs:84)
coq_IntMap_map (LinearScan/IntMap.hs:88)
coq_IntMap_mergeWithKey (LinearScan/IntMap.hs:92)
coq_IntMap_foldl (LinearScan/IntMap.hs:101)
coq_IntMap_foldr (LinearScan/IntMap.hs:105)
coq_IntMap_foldlWithKey (LinearScan/IntMap.hs:109)
coq_IntMap_foldrWithKey (LinearScan/IntMap.hs:114)
coq_IntMap_toList (LinearScan/IntMap.hs:119)
coq_IntMap_combine (LinearScan/IntMap.hs:123)
eqIntMap (LinearScan/IntMap.hs:140)
eqIntMapP (LinearScan/IntMap.hs:146)
coq_IntMap_eqMixin (LinearScan/IntMap.hs:165)
coq_IntMap_eqType (LinearScan/IntMap.hs:171)
coq_IntMap_groupOn (LinearScan/IntMap.hs:175)
0% ( 0 / 30) in 'LinearScan.Choice'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Choice.hs:34)
Any (LinearScan/Choice.hs:43)
Choice__Coq_mixin_of (LinearScan/Choice.hs:49)
_Choice__find (LinearScan/Choice.hs:53)
Choice__Coq_class_of (LinearScan/Choice.hs:58)
_Choice__base (LinearScan/Choice.hs:61)
_Choice__mixin (LinearScan/Choice.hs:67)
Choice__Coq_type (LinearScan/Choice.hs:72)
Choice__Coq_sort (LinearScan/Choice.hs:76)
_Choice__coq_class (LinearScan/Choice.hs:78)
_Choice__InternalTheory__find (LinearScan/Choice.hs:83)
coq_PcanChoiceMixin (LinearScan/Choice.hs:89)
sub_choiceMixin (LinearScan/Choice.hs:105)
nat_choiceMixin (LinearScan/Choice.hs:112)
nat_choiceType (LinearScan/Choice.hs:122)
Countable__Coq_mixin_of (LinearScan/Choice.hs:127)
_Countable__pickle (LinearScan/Choice.hs:130)
_Countable__unpickle (LinearScan/Choice.hs:135)
Countable__Coq_class_of (LinearScan/Choice.hs:141)
_Countable__mixin (LinearScan/Choice.hs:144)
Countable__Coq_type (LinearScan/Choice.hs:150)
Countable__Coq_sort (LinearScan/Choice.hs:154)
_Countable__coq_class (LinearScan/Choice.hs:156)
unpickle (LinearScan/Choice.hs:161)
pickle (LinearScan/Choice.hs:166)
coq_PcanCountMixin (LinearScan/Choice.hs:170)
sub_countMixin (LinearScan/Choice.hs:176)
nat_countMixin (LinearScan/Choice.hs:183)
nat_countType (LinearScan/Choice.hs:187)
0% ( 0 / 27) in 'LinearScan.Fintype'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Fintype.hs:35)
Any (LinearScan/Fintype.hs:44)
__ (LinearScan/Fintype.hs:50)
Finite__Coq_mixin_of (LinearScan/Fintype.hs:53)
_Finite__mixin_enum (LinearScan/Fintype.hs:57)
Finite__Coq_class_of (LinearScan/Fintype.hs:63)
_Finite__base (LinearScan/Fintype.hs:66)
_Finite__mixin (LinearScan/Fintype.hs:71)
Finite__Coq_type (LinearScan/Fintype.hs:76)
Finite__Coq_sort (LinearScan/Fintype.hs:80)
_Finite__coq_class (LinearScan/Fintype.hs:82)
_Finite__EnumDef__enum (LinearScan/Fintype.hs:87)
_Finite__EnumDef__enumDef (LinearScan/Fintype.hs:93)
enum_mem (LinearScan/Fintype.hs:97)
image_mem (LinearScan/Fintype.hs:103)
ordinal_subType (LinearScan/Fintype.hs:108)
ordinal_eqMixin (LinearScan/Fintype.hs:115)
ordinal_eqType (LinearScan/Fintype.hs:125)
ordinal_choiceMixin (LinearScan/Fintype.hs:129)
ordinal_choiceType (LinearScan/Fintype.hs:136)
ordinal_countMixin (LinearScan/Fintype.hs:141)
ord_enum (LinearScan/Fintype.hs:149)
ordinal_finMixin (LinearScan/Fintype.hs:156)
ordinal_finType (LinearScan/Fintype.hs:161)
ord0 (LinearScan/Fintype.hs:166)
inord (LinearScan/Fintype.hs:170)
0% ( 0 / 20) in 'LinearScan.Vector0'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Vector0.hs:33)
Any (LinearScan/Vector0.hs:42)
__ (LinearScan/Vector0.hs:48)
Vec (LinearScan/Vector0.hs:51)
vnil (LinearScan/Vector0.hs:53)
vsing (LinearScan/Vector0.hs:57)
vcons (LinearScan/Vector0.hs:61)
fin_contra (LinearScan/Vector0.hs:65)
fin_rect (LinearScan/Vector0.hs:71)
vec_rect (LinearScan/Vector0.hs:85)
vecn_rect (LinearScan/Vector0.hs:101)
vec_to_seq (LinearScan/Vector0.hs:122)
vfoldr_with_index (LinearScan/Vector0.hs:138)
vfoldl_with_index (LinearScan/Vector0.hs:158)
vconst (LinearScan/Vector0.hs:178)
vreplace (LinearScan/Vector0.hs:183)
vnth (LinearScan/Vector0.hs:208)
vmodify (LinearScan/Vector0.hs:230)
vshiftin (LinearScan/Vector0.hs:234)
0% ( 0 / 3) in 'LinearScan.Contravariant'
Missing documentation for:
Module header
Any (LinearScan/Contravariant.hs:28)
Contravariant (LinearScan/Contravariant.hs:34)
0% ( 0 / 13) in 'LinearScan.Graph'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Graph.hs:34)
Graph (LinearScan/Graph.hs:41)
vertices (LinearScan/Graph.hs:46)
edges (LinearScan/Graph.hs:52)
emptyGraph (LinearScan/Graph.hs:58)
addVertex (LinearScan/Graph.hs:62)
addEdge (LinearScan/Graph.hs:71)
removeEdge (LinearScan/Graph.hs:82)
outbound (LinearScan/Graph.hs:90)
inbound (LinearScan/Graph.hs:95)
removeVertex (LinearScan/Graph.hs:100)
topsort (LinearScan/Graph.hs:106)
0% ( 0 / 1) in 'LinearScan.Lib'
Missing documentation for:
Module header
0% ( 0 / 1) in 'LinearScan.List0'
Missing documentation for:
Module header
0% ( 0 / 1) in 'LinearScan.Nat'
Missing documentation for:
Module header
0% ( 0 / 1) in 'LinearScan.Ssreflect'
Missing documentation for:
Module header
0% ( 0 / 3) in 'LinearScan.Tuple'
Missing documentation for:
Module header
first (LinearScan/Tuple.hs:16)
curry (LinearScan/Tuple.hs:21)
0% ( 0 / 1) in 'LinearScan.String0'
Missing documentation for:
Module header
0% ( 0 / 13) in 'LinearScan.UsePos'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/UsePos.hs:33)
VarKind (LinearScan/UsePos.hs:40)
eqVarKind (LinearScan/UsePos.hs:46)
eqVarKindP (LinearScan/UsePos.hs:66)
coq_VarKind_eqMixin (LinearScan/UsePos.hs:122)
coq_VarKind_eqType (LinearScan/UsePos.hs:126)
UsePos (LinearScan/UsePos.hs:130)
uloc (LinearScan/UsePos.hs:133)
regReq (LinearScan/UsePos.hs:138)
uvar (LinearScan/UsePos.hs:143)
upos_le (LinearScan/UsePos.hs:148)
head_or (LinearScan/UsePos.hs:152)
0% ( 0 / 7) in 'LinearScan.Trace'
Missing documentation for:
Module header
IntervalIdT (LinearScan/Trace.hs:16)
PhysRegT (LinearScan/Trace.hs:18)
SpillConditionT (LinearScan/Trace.hs:20)
SplitPositionT (LinearScan/Trace.hs:26)
TrueIfActiveT (LinearScan/Trace.hs:30)
SSTrace (LinearScan/Trace.hs:32)
0% ( 0 / 21) in 'LinearScan.Range'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Range.hs:37)
__ (LinearScan/Range.hs:44)
RangeDesc (LinearScan/Range.hs:47)
rbeg (LinearScan/Range.hs:50)
rend (LinearScan/Range.hs:55)
ups (LinearScan/Range.hs:60)
head_or_end (LinearScan/Range.hs:65)
getRangeDesc (LinearScan/Range.hs:69)
packRange (LinearScan/Range.hs:73)
coq_Range_shift (LinearScan/Range.hs:77)
coq_Range_cons (LinearScan/Range.hs:81)
range_ltn (LinearScan/Range.hs:85)
SortedRanges (LinearScan/Range.hs:89)
coq_SortedRanges_cat (LinearScan/Range.hs:91)
transportSortedRanges (LinearScan/Range.hs:131)
findRangeUsePos (LinearScan/Range.hs:136)
SubRangesOf (LinearScan/Range.hs:159)
rangeSpan (LinearScan/Range.hs:161)
BoundedRange (LinearScan/Range.hs:194)
emptyBoundedRange (LinearScan/Range.hs:196)
0% ( 0 / 25) in 'LinearScan.Interval'
Missing documentation for:
Module header
__ (LinearScan/Interval.hs:25)
IntervalDesc (LinearScan/Interval.hs:28)
ivar (LinearScan/Interval.hs:32)
ibeg (LinearScan/Interval.hs:37)
iend (LinearScan/Interval.hs:42)
rds (LinearScan/Interval.hs:47)
getIntervalDesc (LinearScan/Interval.hs:52)
packInterval (LinearScan/Interval.hs:56)
intervalStart (LinearScan/Interval.hs:60)
intervalEnd (LinearScan/Interval.hs:64)
posWithinInterval (LinearScan/Interval.hs:68)
findIntervalUsePos (LinearScan/Interval.hs:73)
lookupUsePos (LinearScan/Interval.hs:112)
nextUseAfter (LinearScan/Interval.hs:129)
rangeFirstUsePos (LinearScan/Interval.hs:136)
firstUsePos (LinearScan/Interval.hs:142)
afterLifetimeHole (LinearScan/Interval.hs:154)
firstUseReqReg (LinearScan/Interval.hs:172)
intervalsIntersect (LinearScan/Interval.hs:176)
intervalIntersectsWithSubrange (LinearScan/Interval.hs:187)
divideIntervalRanges (LinearScan/Interval.hs:205)
splitIntervalRanges (LinearScan/Interval.hs:335)
SubIntervalsOf (LinearScan/Interval.hs:374)
splitInterval (LinearScan/Interval.hs:376)
0% ( 0 / 21) in 'LinearScan.ScanState'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/ScanState.hs:37)
PhysReg (LinearScan/ScanState.hs:44)
FixedIntervalsType (LinearScan/ScanState.hs:46)
ScanStateDesc (LinearScan/ScanState.hs:48)
nextInterval (LinearScan/ScanState.hs:58)
IntervalId (LinearScan/ScanState.hs:64)
intervals (LinearScan/ScanState.hs:66)
fixedIntervals (LinearScan/ScanState.hs:73)
unhandled (LinearScan/ScanState.hs:79)
active (LinearScan/ScanState.hs:85)
inactive (LinearScan/ScanState.hs:91)
handled (LinearScan/ScanState.hs:97)
handledIds (LinearScan/ScanState.hs:104)
sortRegisterVector (LinearScan/ScanState.hs:108)
registerWithHighestPos (LinearScan/ScanState.hs:133)
handledIntervalDescsForReg (LinearScan/ScanState.hs:140)
verifyNewHandled (LinearScan/ScanState.hs:153)
ScanStateStatus (LinearScan/ScanState.hs:167)
ScanStateSig (LinearScan/ScanState.hs:171)
packScanState (LinearScan/ScanState.hs:173)
0% ( 0 / 17) in 'LinearScan.Morph'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Morph.hs:42)
__ (LinearScan/Morph.hs:49)
PhysReg (LinearScan/Morph.hs:52)
SSInfo (LinearScan/Morph.hs:54)
thisDesc (LinearScan/Morph.hs:57)
SState (LinearScan/Morph.hs:62)
error_ (LinearScan/Morph.hs:64)
withScanStatePO (LinearScan/Morph.hs:69)
liftLen (LinearScan/Morph.hs:86)
strengthenHasLen (LinearScan/Morph.hs:112)
moveUnhandledToHandled (LinearScan/Morph.hs:121)
moveUnhandledToActive (LinearScan/Morph.hs:162)
moveActiveToHandled (LinearScan/Morph.hs:191)
moveActiveToInactive (LinearScan/Morph.hs:210)
moveInactiveToActive (LinearScan/Morph.hs:225)
moveInactiveToHandled (LinearScan/Morph.hs:241)
0% ( 0 / 5) in 'LinearScan.Cursor'
Missing documentation for:
Module header
__ (LinearScan/Cursor.hs:21)
curId (LinearScan/Cursor.hs:24)
curIntDetails (LinearScan/Cursor.hs:29)
withCursor (LinearScan/Cursor.hs:35)
0% ( 0 / 8) in 'LinearScan.Spill'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Spill.hs:42)
__ (LinearScan/Spill.hs:49)
SpillCondition (LinearScan/Spill.hs:52)
coq_SpillConditionToT (LinearScan/Spill.hs:58)
optimalSplitPosition (LinearScan/Spill.hs:70)
spillInterval (LinearScan/Spill.hs:75)
spillCurrentInterval (LinearScan/Spill.hs:548)
0% ( 0 / 13) in 'LinearScan.Split'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Split.hs:45)
__ (LinearScan/Split.hs:52)
PhysReg (LinearScan/Split.hs:55)
SplitPosition (LinearScan/Split.hs:57)
coq_SplitPositionToT (LinearScan/Split.hs:61)
splitPosition (LinearScan/Split.hs:67)
splitUnhandledInterval (LinearScan/Split.hs:74)
splitCurrentInterval (LinearScan/Split.hs:260)
splitActiveOrInactiveInterval (LinearScan/Split.hs:299)
splitAssignedIntervalForReg (LinearScan/Split.hs:441)
splitActiveIntervalForReg (LinearScan/Split.hs:608)
splitAnyInactiveIntervalForReg (LinearScan/Split.hs:616)
0% ( 0 / 27) in 'LinearScan.Allocate'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Allocate.hs:48)
__ (LinearScan/Allocate.hs:55)
PhysReg (LinearScan/Allocate.hs:58)
intersectsWithFixedInterval (LinearScan/Allocate.hs:60)
updateRegisterPos (LinearScan/Allocate.hs:72)
findEligibleRegister (LinearScan/Allocate.hs:87)
tryAllocateFreeReg (LinearScan/Allocate.hs:110)
allocateBlockedReg (LinearScan/Allocate.hs:165)
morphlen_transport (LinearScan/Allocate.hs:247)
mt_fst (LinearScan/Allocate.hs:253)
Coq_int_reg_seq (LinearScan/Allocate.hs:260)
Coq_intermediate_result (LinearScan/Allocate.hs:262)
goActive (LinearScan/Allocate.hs:264)
dep_foldl_invE (LinearScan/Allocate.hs:311)
checkActiveIntervals (LinearScan/Allocate.hs:337)
moveInactiveToActive' (LinearScan/Allocate.hs:359)
goInactive (LinearScan/Allocate.hs:384)
checkInactiveIntervals (LinearScan/Allocate.hs:427)
handleInterval (LinearScan/Allocate.hs:449)
finalizeScanState_obligation_1 (LinearScan/Allocate.hs:472)
finalizeScanState (LinearScan/Allocate.hs:515)
walkIntervals (LinearScan/Allocate.hs:531)
Allocation (LinearScan/Allocate.hs:583)
intVal (LinearScan/Allocate.hs:586)
intReg (LinearScan/Allocate.hs:591)
determineAllocations (LinearScan/Allocate.hs:596)
0% ( 0 / 6) in 'LinearScan.Functor'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Functor.hs:29)
Any (LinearScan/Functor.hs:38)
__ (LinearScan/Functor.hs:44)
Functor (LinearScan/Functor.hs:47)
fmap (LinearScan/Functor.hs:51)
0% ( 0 / 5) in 'LinearScan.Const'
Missing documentation for:
Module header
Any (LinearScan/Const.hs:31)
Const (LinearScan/Const.hs:37)
coq_Const_Functor (LinearScan/Const.hs:39)
coq_Const_Contravariant (LinearScan/Const.hs:43)
0% ( 0 / 9) in 'LinearScan.Applicative'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Applicative.hs:31)
Any (LinearScan/Applicative.hs:40)
__ (LinearScan/Applicative.hs:46)
Applicative (LinearScan/Applicative.hs:49)
is_functor (LinearScan/Applicative.hs:53)
pure (LinearScan/Applicative.hs:58)
ap (LinearScan/Applicative.hs:63)
liftA2 (LinearScan/Applicative.hs:68)
0% ( 0 / 17) in 'LinearScan.Monad'
Missing documentation for:
Module header
__ (LinearScan/Monad.hs:20)
Monad (LinearScan/Monad.hs:23)
is_applicative (LinearScan/Monad.hs:26)
join (LinearScan/Monad.hs:31)
bind (LinearScan/Monad.hs:36)
return_ (LinearScan/Monad.hs:41)
when (LinearScan/Monad.hs:45)
unless (LinearScan/Monad.hs:51)
mapM (LinearScan/Monad.hs:57)
mapM_ (LinearScan/Monad.hs:63)
forM_ (LinearScan/Monad.hs:69)
foldM (LinearScan/Monad.hs:73)
forFoldM (LinearScan/Monad.hs:79)
foldrM (LinearScan/Monad.hs:83)
forFoldrM (LinearScan/Monad.hs:89)
concatMapM (LinearScan/Monad.hs:93)
0% ( 0 / 28) in 'LinearScan.Blocks'
Missing documentation for:
Module header
PhysReg (LinearScan/Blocks.hs:19)
VarId (LinearScan/Blocks.hs:21)
VarInfo (LinearScan/Blocks.hs:23)
varId (LinearScan/Blocks.hs:26)
varKind (LinearScan/Blocks.hs:31)
regRequired (LinearScan/Blocks.hs:36)
nat_of_varId (LinearScan/Blocks.hs:41)
OpKind (LinearScan/Blocks.hs:47)
OpId (LinearScan/Blocks.hs:52)
OpInfo (LinearScan/Blocks.hs:54)
opKind (LinearScan/Blocks.hs:63)
opRefs (LinearScan/Blocks.hs:70)
moveOp (LinearScan/Blocks.hs:77)
saveOp (LinearScan/Blocks.hs:84)
restoreOp (LinearScan/Blocks.hs:91)
applyAllocs (LinearScan/Blocks.hs:98)
BlockId (LinearScan/Blocks.hs:105)
BlockInfo (LinearScan/Blocks.hs:107)
blockId (LinearScan/Blocks.hs:115)
blockSuccessors (LinearScan/Blocks.hs:121)
splitCriticalEdge (LinearScan/Blocks.hs:128)
blockOps (LinearScan/Blocks.hs:135)
setBlockOps (LinearScan/Blocks.hs:142)
allBlockOps (LinearScan/Blocks.hs:149)
blockSize (LinearScan/Blocks.hs:156)
foldOps (LinearScan/Blocks.hs:161)
countOps (LinearScan/Blocks.hs:167)
0% ( 0 / 6) in 'LinearScan.Class'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Class.hs:31)
Any (LinearScan/Class.hs:40)
__ (LinearScan/Class.hs:46)
MonadTrans (LinearScan/Class.hs:49)
lift (LinearScan/Class.hs:53)
0% ( 0 / 7) in 'LinearScan.Identity'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Identity.hs:33)
Any (LinearScan/Identity.hs:42)
Identity (LinearScan/Identity.hs:48)
coq_Identity_Functor (LinearScan/Identity.hs:50)
coq_Identity_Applicative (LinearScan/Identity.hs:54)
coq_Identity_Monad (LinearScan/Identity.hs:59)
0% ( 0 / 11) in 'LinearScan.State'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/State.hs:33)
Any (LinearScan/State.hs:42)
__ (LinearScan/State.hs:48)
State (LinearScan/State.hs:51)
get (LinearScan/State.hs:53)
gets (LinearScan/State.hs:57)
modify (LinearScan/State.hs:61)
coq_State_Functor (LinearScan/State.hs:65)
coq_State_Applicative (LinearScan/State.hs:71)
coq_State_Monad (LinearScan/State.hs:83)
0% ( 0 / 13) in 'LinearScan.State0'
Missing documentation for:
Module header
Any (LinearScan/State0.hs:36)
StateT (LinearScan/State0.hs:42)
getT (LinearScan/State0.hs:44)
putT (LinearScan/State0.hs:48)
modifyT (LinearScan/State0.hs:52)
coq_StateT_Functor (LinearScan/State0.hs:56)
coq_StateT_ap (LinearScan/State0.hs:61)
coq_StateT_Applicative (LinearScan/State0.hs:71)
coq_StateT_join (LinearScan/State0.hs:79)
coq_StateT_Monad (LinearScan/State0.hs:87)
coq_StateT_MonadTrans (LinearScan/State0.hs:91)
liftStateT (LinearScan/State0.hs:96)
0% ( 0 / 26) in 'LinearScan.Loops'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Loops.hs:44)
LoopState (LinearScan/Loops.hs:51)
activeBlocks (LinearScan/Loops.hs:57)
visitedBlocks (LinearScan/Loops.hs:64)
loopHeaderBlocks (LinearScan/Loops.hs:71)
loopEndBlocks (LinearScan/Loops.hs:78)
forwardBranches (LinearScan/Loops.hs:85)
backwardBranches (LinearScan/Loops.hs:92)
loopIndices (LinearScan/Loops.hs:99)
loopDepths (LinearScan/Loops.hs:106)
emptyLoopState (LinearScan/Loops.hs:113)
modifyActiveBlocks (LinearScan/Loops.hs:119)
modifyVisitedBlocks (LinearScan/Loops.hs:127)
modifyLoopHeaderBlocks (LinearScan/Loops.hs:135)
modifyLoopEndBlocks (LinearScan/Loops.hs:142)
modifyForwardBranches (LinearScan/Loops.hs:149)
modifyBackwardBranches (LinearScan/Loops.hs:156)
setLoopIndices (LinearScan/Loops.hs:163)
setLoopDepths (LinearScan/Loops.hs:169)
addReference (LinearScan/Loops.hs:176)
pathToLoopHeader (LinearScan/Loops.hs:184)
computeLoopDepths (LinearScan/Loops.hs:239)
computeVarReferences (LinearScan/Loops.hs:291)
findLoopEnds (LinearScan/Loops.hs:316)
computeBlockOrder (LinearScan/Loops.hs:384)
0% ( 0 / 19) in 'LinearScan.Lens'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Lens.hs:38)
Any (LinearScan/Lens.hs:47)
__ (LinearScan/Lens.hs:53)
Lens (LinearScan/Lens.hs:56)
Lens' (LinearScan/Lens.hs:58)
Getter (LinearScan/Lens.hs:60)
Getting (LinearScan/Lens.hs:64)
set (LinearScan/Lens.hs:66)
over (LinearScan/Lens.hs:70)
view (LinearScan/Lens.hs:74)
stepdownl' (LinearScan/Lens.hs:78)
stepdowng (LinearScan/Lens.hs:82)
_1 (LinearScan/Lens.hs:86)
_2 (LinearScan/Lens.hs:91)
use (LinearScan/Lens.hs:96)
plusStateT (LinearScan/Lens.hs:103)
modifyStateT (LinearScan/Lens.hs:108)
applyStateT (LinearScan/Lens.hs:113)
0% ( 0 / 26) in 'LinearScan.LiveSets'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/LiveSets.hs:46)
__ (LinearScan/LiveSets.hs:53)
BlockLiveSets (LinearScan/LiveSets.hs:56)
blockLiveGen (LinearScan/LiveSets.hs:60)
blockLiveKill (LinearScan/LiveSets.hs:66)
blockLiveIn (LinearScan/LiveSets.hs:72)
blockLiveOut (LinearScan/LiveSets.hs:78)
blockFirstOpId (LinearScan/LiveSets.hs:84)
blockLastOpId (LinearScan/LiveSets.hs:90)
emptyBlockLiveSets (LinearScan/LiveSets.hs:96)
eqBlockLiveSets (LinearScan/LiveSets.hs:102)
eqBlockLiveSetsP (LinearScan/LiveSets.hs:126)
coq_BlockLiveSets_eqMixin (LinearScan/LiveSets.hs:228)
coq_BlockLiveSets_eqType (LinearScan/LiveSets.hs:232)
_blockLiveGen (LinearScan/LiveSets.hs:236)
_blockLiveKill (LinearScan/LiveSets.hs:243)
_blockLiveIn (LinearScan/LiveSets.hs:250)
_blockLiveOut (LinearScan/LiveSets.hs:257)
_blockFirstOpId (LinearScan/LiveSets.hs:264)
_blockLastOpId (LinearScan/LiveSets.hs:271)
computeLiveSets (LinearScan/LiveSets.hs:278)
computeLocalLiveSets (LinearScan/LiveSets.hs:338)
updateLiveSets (LinearScan/LiveSets.hs:353)
computeGlobalLiveSets (LinearScan/LiveSets.hs:378)
computeGlobalLiveSetsRecursively (LinearScan/LiveSets.hs:391)
0% ( 0 / 22) in 'LinearScan.Resolve'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Resolve.hs:44)
__ (LinearScan/Resolve.hs:51)
PhysReg (LinearScan/Resolve.hs:54)
ResolvingMove (LinearScan/Resolve.hs:56)
coq_ResolvingMove_rect (LinearScan/Resolve.hs:68)
ResolvingMoveSet (LinearScan/Resolve.hs:90)
weakenResolvingMove (LinearScan/Resolve.hs:102)
eqResolvingMove (LinearScan/Resolve.hs:116)
eqResolvingMoveP (LinearScan/Resolve.hs:207)
coq_ResolvingMove_eqMixin (LinearScan/Resolve.hs:818)
coq_ResolvingMove_eqType (LinearScan/Resolve.hs:823)
shouldAddResolvingEdge (LinearScan/Resolve.hs:827)
addResolution (LinearScan/Resolve.hs:933)
addResolutions (LinearScan/Resolve.hs:947)
isMoveSplittable (LinearScan/Resolve.hs:952)
splitMove (LinearScan/Resolve.hs:958)
resolvingMoves (LinearScan/Resolve.hs:973)
determineMoves (LinearScan/Resolve.hs:1037)
BlockMoves (LinearScan/Resolve.hs:1051)
checkBlockBoundary (LinearScan/Resolve.hs:1053)
resolveDataFlow (LinearScan/Resolve.hs:1074)
0% ( 0 / 26) in 'LinearScan.Build'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Build.hs:53)
__ (LinearScan/Build.hs:60)
BuildState (LinearScan/Build.hs:63)
newBuildState (LinearScan/Build.hs:65)
PendingRanges (LinearScan/Build.hs:69)
emptyPendingRanges (LinearScan/Build.hs:71)
coq_BoundedRange_leq (LinearScan/Build.hs:82)
compilePendingRanges (LinearScan/Build.hs:92)
rangesToBoundedRanges (LinearScan/Build.hs:129)
compressPendingRanges (LinearScan/Build.hs:136)
mergeIntoSortedRanges (LinearScan/Build.hs:175)
upos_before_rend (LinearScan/Build.hs:196)
makeNewRange (LinearScan/Build.hs:202)
makeUsePos (LinearScan/Build.hs:220)
handleOutputVar (LinearScan/Build.hs:228)
handleVar (LinearScan/Build.hs:339)
handleVars_combine (LinearScan/Build.hs:356)
handleVars_onlyRanges (LinearScan/Build.hs:376)
handleVars_onlyVars (LinearScan/Build.hs:382)
handleVars (LinearScan/Build.hs:405)
reduceOp (LinearScan/Build.hs:417)
reduceBlock (LinearScan/Build.hs:452)
reduceBlocks (LinearScan/Build.hs:496)
compileIntervals (LinearScan/Build.hs:530)
buildIntervals (LinearScan/Build.hs:574)
0% ( 0 / 55) in 'LinearScan.Verify'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Verify.hs:53)
PhysReg (LinearScan/Verify.hs:60)
UseVerifier (LinearScan/Verify.hs:62)
RegAllocations (LinearScan/Verify.hs:67)
RegStateDesc (LinearScan/Verify.hs:70)
rsAllocs (Lin
LinearScan.hs:25:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
earScan/Verify.hs:73)
rsStack (LinearScan/Verify.hs:78)
RegStateDescSet (LinearScan/Verify.hs:83)
fromRegStateDesc (LinearScan/Verify.hs:88)
residency (LinearScan/Verify.hs:93)
reservation (LinearScan/Verify.hs:99)
newRegStateDesc (LinearScan/Verify.hs:105)
AllocError (LinearScan/Verify.hs:111)
RegStateSig (LinearScan/Verify.hs:131)
packRegState (LinearScan/Verify.hs:133)
VerifiedSig (LinearScan/Verify.hs:137)
verDesc (LinearScan/Verify.hs:144)
verInit (LinearScan/Verify.hs:150)
verFinal (LinearScan/Verify.hs:156)
verMoves (LinearScan/Verify.hs:162)
verErrors (LinearScan/Verify.hs:169)
verExt (LinearScan/Verify.hs:176)
newVerifiedSig (LinearScan/Verify.hs:182)
_verDesc (LinearScan/Verify.hs:187)
_verState (LinearScan/Verify.hs:193)
_verInit (LinearScan/Verify.hs:200)
_verFinal (LinearScan/Verify.hs:207)
_verMoves (LinearScan/Verify.hs:214)
_verErrors (LinearScan/Verify.hs:221)
_verExt (LinearScan/Verify.hs:229)
Verified (LinearScan/Verify.hs:236)
errorsT (LinearScan/Verify.hs:238)
errorT (LinearScan/Verify.hs:251)
addMove (LinearScan/Verify.hs:256)
allocationsAt (LinearScan/Verify.hs:265)
allocationFor (LinearScan/Verify.hs:274)
checkAllocation (LinearScan/Verify.hs:287)
reserveReg (LinearScan/Verify.hs:304)
isReserved (LinearScan/Verify.hs:336)
checkReservation (LinearScan/Verify.hs:345)
releaseReg (LinearScan/Verify.hs:363)
clearReg (LinearScan/Verify.hs:388)
assignReg (LinearScan/Verify.hs:423)
isResident (LinearScan/Verify.hs:469)
checkResidency (LinearScan/Verify.hs:478)
isStackAllocated (LinearScan/Verify.hs:500)
checkStack (LinearScan/Verify.hs:508)
allocStack (LinearScan/Verify.hs:521)
freeStack (LinearScan/Verify.hs:541)
verifyBlockBegin (LinearScan/Verify.hs:559)
verifyBlockEnd (LinearScan/Verify.hs:617)
verifyAllocs (LinearScan/Verify.hs:632)
verifyResolutions (LinearScan/Verify.hs:762)
verifyTransitions (LinearScan/Verify.hs:848)
0% ( 0 / 19) in 'LinearScan.Assign'
Missing documentation for:
Module header
unsafeCoerce (LinearScan/Assign.hs:51)
PhysReg (LinearScan/Assign.hs:58)
AssnStateDesc (LinearScan/Assign.hs:60)
assnOpId (LinearScan/Assign.hs:63)
assnBlockBeg (LinearScan/Assign.hs:68)
assnBlockEnd (LinearScan/Assign.hs:73)
newAssnStateDesc (LinearScan/Assign.hs:78)
_assnOpId (LinearScan/Assign.hs:83)
_assnBlockBeg (LinearScan/Assign.hs:89)
_assnBlockEnd (LinearScan/Assign.hs:95)
generateMoves (LinearScan/Assign.hs:101)
varAllocs (LinearScan/Assign.hs:136)
varInfoAllocs (LinearScan/Assign.hs:162)
Verified (LinearScan/Assign.hs:170)
_verExt (LinearScan/Assign.hs:172)
setAllocations (LinearScan/Assign.hs:177)
considerOps (LinearScan/Assign.hs:229)
assignRegNum (LinearScan/Assign.hs:600)
0% ( 0 / 6) in 'LinearScan.Main'
Missing documentation for:
Module header
FinalStage (LinearScan/Main.hs:34)
ScanStateDescSet (LinearScan/Main.hs:38)
toScanStateDescSet (LinearScan/Main.hs:47)
Details (LinearScan/Main.hs:69)
linearScan (LinearScan/Main.hs:86)
57% ( 8 / 14) in 'LinearScan'
Missing documentation for:
Module header
UseVerifier (LinearScan/Verify.hs:62)
OpKind (LinearScan/Blocks.hs:47)
VarId (LinearScan/Blocks.hs:21)
VarKind (LinearScan/UsePos.hs:40)
PhysReg (LinearScan/Blocks.hs:19)
Documentation created: dist/doc/html/linearscan/index.html,
dist/doc/html/linearscan/linearscan.txt
Creating package registration file:
/tmp/pkgConf-linearscan-0.119176792922006811972.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/linearscan-0.11.1-6DhFaDRuRm88lh9eBfdiq3
Registering linearscan-0.11.1...
Installed linearscan-0.11.1
Test log
No test log was submitted for this report.