1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
==================== Tidy Core ====================
Rec {
T4908.f_$s$wf [Occ=LoopBreaker]
:: GHC.Types.Int
-> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool
[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType LLL]
T4908.f_$s$wf =
\ (sc :: GHC.Types.Int)
(sc1 :: GHC.Prim.Int#)
(sc2 :: GHC.Prim.Int#) ->
case sc2 of ds {
__DEFAULT ->
case sc1 of ds1 {
__DEFAULT -> T4908.f_$s$wf sc ds1 (GHC.Prim.-# ds 1);
0 -> GHC.Types.True
};
0 -> GHC.Types.True
}
end Rec }
T4908.$wf
:: GHC.Prim.Int#
-> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool
[GblId,
Arity=2,
Caf=NoCafRefs,
Str=DmdType LL,
Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
ConLike=True, Cheap=True, Expandable=True,
Guidance=IF_ARGS [30 20] 101 20}]
T4908.$wf =
\ (ww :: GHC.Prim.Int#) (w :: (GHC.Types.Int, GHC.Types.Int)) ->
case ww of ds {
__DEFAULT ->
case w of _ { (a, b) ->
case b of _ { GHC.Types.I# ds1 ->
case ds1 of ds2 {
__DEFAULT -> T4908.f_$s$wf a ds2 (GHC.Prim.-# ds 1);
0 -> GHC.Types.True
}
}
};
0 -> GHC.Types.True
}
T4908.f [InlPrag=INLINE[0]]
:: GHC.Types.Int
-> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool
[GblId,
Arity=2,
Caf=NoCafRefs,
Str=DmdType U(L)L,
Unf=Unf{Src=Worker=T4908.$wf, TopLvl=True, Arity=2, Value=True,
ConLike=True, Cheap=True, Expandable=True,
Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int)
(w1 [Occ=Once] :: (GHC.Types.Int, GHC.Types.Int)) ->
case w of _ { GHC.Types.I# ww [Occ=Once] -> T4908.$wf ww w1 }}]
T4908.f =
\ (w :: GHC.Types.Int) (w1 :: (GHC.Types.Int, GHC.Types.Int)) ->
case w of _ { GHC.Types.I# ww -> T4908.$wf ww w1 }
------ Local rules for imported ids --------
"SC:$wf0" [ALWAYS]
forall (sc :: GHC.Types.Int)
(sc1 :: GHC.Prim.Int#)
(sc2 :: GHC.Prim.Int#).
T4908.$wf sc2 (sc, GHC.Types.I# sc1)
= T4908.f_$s$wf sc sc1 sc2
|
