The Early Inline Patch
[ghc.git] / testsuite / tests / simplCore / should_compile / T3772.stdout
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 44, types: 19, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
7 T3772.$trModule4 :: GHC.Prim.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 T3772.$trModule4 = "main"#
13
14 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
15 T3772.$trModule3 :: GHC.Types.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 T3772.$trModule3 = GHC.Types.TrNameS T3772.$trModule4
22
23 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
24 T3772.$trModule2 :: GHC.Prim.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 T3772.$trModule2 = "T3772"#
30
31 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
32 T3772.$trModule1 :: GHC.Types.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 T3772.$trModule1 = GHC.Types.TrNameS T3772.$trModule2
39
40 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
41 T3772.$trModule :: GHC.Types.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 T3772.$trModule
48   = GHC.Types.Module T3772.$trModule3 T3772.$trModule1
49
50 Rec {
51 -- RHS size: {terms: 10, types: 2, coercions: 0, joins: 0/0}
52 $wxs :: GHC.Prim.Int# -> ()
53 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>]
54 $wxs
55   = \ (ww :: GHC.Prim.Int#) ->
56       case ww of ds1 {
57         __DEFAULT -> $wxs (GHC.Prim.-# ds1 1#);
58         1# -> GHC.Tuple.()
59       }
60 end Rec }
61
62 -- RHS size: {terms: 11, types: 3, coercions: 0, joins: 0/0}
63 T3772.$wfoo [InlPrag=NOINLINE] :: GHC.Prim.Int# -> ()
64 [GblId, Arity=1, Caf=NoCafRefs, Str=<S,U>]
65 T3772.$wfoo
66   = \ (ww :: GHC.Prim.Int#) ->
67       case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.<# 0# ww) of {
68         False -> GHC.Tuple.();
69         True -> $wxs ww
70       }
71
72 -- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0}
73 foo [InlPrag=INLINE[0]] :: Int -> ()
74 [GblId,
75  Arity=1,
76  Caf=NoCafRefs,
77  Str=<S(S),1*U(U)>,
78  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
79          WorkFree=True, Expandable=True,
80          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
81          Tmpl= \ (w [Occ=Once!] :: Int) ->
82                  case w of { GHC.Types.I# ww1 [Occ=Once] -> T3772.$wfoo ww1 }}]
83 foo
84   = \ (w :: Int) -> case w of { GHC.Types.I# ww1 -> T3772.$wfoo ww1 }
85
86
87