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