185b9b3529de285a26ce4c406092ffcc0d00ecc3
[ghc.git] / testsuite / tests / simplCore / should_compile / T4908.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 68, types: 43, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
7 T4908.$trModule4 :: Addr#
8 [GblId,
9  Caf=NoCafRefs,
10  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
11          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
12 T4908.$trModule4 = "main"#
13
14 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
15 T4908.$trModule3 :: TrName
16 [GblId,
17  Caf=NoCafRefs,
18  Str=m1,
19  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
20          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
21 T4908.$trModule3 = GHC.Types.TrNameS T4908.$trModule4
22
23 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
24 T4908.$trModule2 :: Addr#
25 [GblId,
26  Caf=NoCafRefs,
27  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
28          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
29 T4908.$trModule2 = "T4908"#
30
31 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
32 T4908.$trModule1 :: TrName
33 [GblId,
34  Caf=NoCafRefs,
35  Str=m1,
36  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
37          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
38 T4908.$trModule1 = GHC.Types.TrNameS T4908.$trModule2
39
40 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
41 T4908.$trModule :: Module
42 [GblId,
43  Caf=NoCafRefs,
44  Str=m,
45  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
46          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
47 T4908.$trModule =
48   GHC.Types.Module T4908.$trModule3 T4908.$trModule1
49
50 Rec {
51 -- RHS size: {terms: 19, types: 5, coercions: 0, joins: 0/0}
52 T4908.f_$s$wf [Occ=LoopBreaker] :: Int -> Int# -> Int# -> Bool
53 [GblId, Arity=3, Caf=NoCafRefs, Str=<L,A><L,1*U><S,1*U>]
54 T4908.f_$s$wf =
55   \ (sc :: Int) (sc1 :: Int#) (sc2 :: Int#) ->
56     case sc2 of ds {
57       __DEFAULT ->
58         case sc1 of ds1 {
59           __DEFAULT -> T4908.f_$s$wf sc ds1 (-# ds 1#);
60           0# -> GHC.Types.True
61         };
62       0# -> GHC.Types.True
63     }
64 end Rec }
65
66 -- RHS size: {terms: 24, types: 13, coercions: 0, joins: 0/0}
67 T4908.$wf [InlPrag=[0]] :: Int# -> (Int, Int) -> Bool
68 [GblId,
69  Arity=2,
70  Caf=NoCafRefs,
71  Str=<S,1*U><L,1*U(A,1*U(1*U))>,
72  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
73          WorkFree=True, Expandable=True, Guidance=IF_ARGS [30 20] 101 20}]
74 T4908.$wf =
75   \ (ww :: Int#) (w :: (Int, Int)) ->
76     case ww of ds {
77       __DEFAULT ->
78         case w of { (a, b) ->
79         case b of { I# ds1 ->
80         case ds1 of ds2 {
81           __DEFAULT -> T4908.f_$s$wf a ds2 (-# ds 1#);
82           0# -> GHC.Types.True
83         }
84         }
85         };
86       0# -> GHC.Types.True
87     }
88
89 -- RHS size: {terms: 8, types: 6, coercions: 0, joins: 0/0}
90 f [InlPrag=INLINE[0]] :: Int -> (Int, Int) -> Bool
91 [GblId,
92  Arity=2,
93  Caf=NoCafRefs,
94  Str=<S(S),1*U(1*U)><L,1*U(A,1*U(1*U))>,
95  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
96          WorkFree=True, Expandable=True,
97          Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False)
98          Tmpl= \ (w [Occ=Once!] :: Int) (w1 [Occ=Once] :: (Int, Int)) ->
99                  case w of { I# ww1 [Occ=Once] -> T4908.$wf ww1 w1 }}]
100 f =
101   \ (w :: Int) (w1 :: (Int, Int)) ->
102     case w of { I# ww1 -> T4908.$wf ww1 w1 }
103
104
105 ------ Local rules for imported ids --------
106 "SC:$wf0" [0]
107     forall (sc :: Int) (sc1 :: Int#) (sc2 :: Int#).
108       T4908.$wf sc2 (sc, GHC.Types.I# sc1)
109       = T4908.f_$s$wf sc sc1 sc2
110
111