Allow CSE'ing of work-wrapped bindings (#14186)
[ghc.git] / testsuite / tests / simplCore / should_compile / T7360.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core
4   = {terms: 114, types: 53, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 6, types: 3, coercions: 0, joins: 0/0}
7 T7360.$WFoo3 [InlPrag=INLINE[2]] :: Int -> Foo
8 [GblId[DataConWrapper],
9  Arity=1,
10  Caf=NoCafRefs,
11  Str=<S,U>m3,
12  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
13          WorkFree=True, Expandable=True,
14          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
15          Tmpl= \ (dt [Occ=Once!] :: Int) ->
16                  case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }}]
17 T7360.$WFoo3
18   = \ (dt [Occ=Once!] :: Int) ->
19       case dt of { GHC.Types.I# dt [Occ=Once] -> T7360.Foo3 dt }
20
21 -- RHS size: {terms: 5, types: 2, coercions: 0, joins: 0/0}
22 fun1 [InlPrag=NOINLINE] :: Foo -> ()
23 [GblId,
24  Arity=1,
25  Caf=NoCafRefs,
26  Str=<S,1*U>,
27  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
28          WorkFree=True, Expandable=True,
29          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
30          Tmpl= \ (x [Occ=Once] :: Foo) ->
31                  case x of { __DEFAULT -> GHC.Tuple.() }}]
32 fun1 = \ (x :: Foo) -> case x of { __DEFAULT -> GHC.Tuple.() }
33
34 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
35 T7360.fun5 :: ()
36 [GblId,
37  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
38          WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
39 T7360.fun5 = fun1 T7360.Foo1
40
41 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
42 T7360.fun4 :: Int
43 [GblId,
44  Caf=NoCafRefs,
45  Str=m,
46  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
47          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
48 T7360.fun4 = GHC.Types.I# 0#
49
50 -- RHS size: {terms: 16, types: 13, coercions: 0, joins: 0/0}
51 fun2 :: forall a. [a] -> ((), Int)
52 [GblId,
53  Arity=1,
54  Str=<L,1*U>m,
55  Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
56          WorkFree=True, Expandable=True,
57          Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)
58          Tmpl= \ (@ a) (x [Occ=Once!] :: [a]) ->
59                  (T7360.fun5,
60                   case x of wild {
61                     [] -> T7360.fun4;
62                     : _ [Occ=Dead] _ [Occ=Dead] ->
63                       case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
64                       GHC.Types.I# ww2
65                       }
66                   })}]
67 fun2
68   = \ (@ a) (x :: [a]) ->
69       (T7360.fun5,
70        case x of wild {
71          [] -> T7360.fun4;
72          : ds ds1 ->
73            case GHC.List.$wlenAcc @ a wild 0# of ww2 { __DEFAULT ->
74            GHC.Types.I# ww2
75            }
76        })
77
78 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
79 T7360.$trModule4 :: GHC.Prim.Addr#
80 [GblId,
81  Caf=NoCafRefs,
82  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
83          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
84 T7360.$trModule4 = "main"#
85
86 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
87 T7360.$trModule3 :: GHC.Types.TrName
88 [GblId,
89  Caf=NoCafRefs,
90  Str=m1,
91  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
92          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
93 T7360.$trModule3 = GHC.Types.TrNameS T7360.$trModule4
94
95 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
96 T7360.$trModule2 :: GHC.Prim.Addr#
97 [GblId,
98  Caf=NoCafRefs,
99  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
100          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
101 T7360.$trModule2 = "T7360"#
102
103 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
104 T7360.$trModule1 :: GHC.Types.TrName
105 [GblId,
106  Caf=NoCafRefs,
107  Str=m1,
108  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
109          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
110 T7360.$trModule1 = GHC.Types.TrNameS T7360.$trModule2
111
112 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
113 T7360.$trModule :: GHC.Types.Module
114 [GblId,
115  Caf=NoCafRefs,
116  Str=m,
117  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
118          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
119 T7360.$trModule
120   = GHC.Types.Module T7360.$trModule3 T7360.$trModule1
121
122 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
123 $krep :: GHC.Types.KindRep
124 [GblId, Caf=NoCafRefs, Str=m1]
125 $krep
126   = GHC.Types.KindRepTyConApp
127       GHC.Types.$tcInt (GHC.Types.[] @ GHC.Types.KindRep)
128
129 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
130 T7360.$tcFoo2 :: GHC.Prim.Addr#
131 [GblId,
132  Caf=NoCafRefs,
133  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
134          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
135 T7360.$tcFoo2 = "Foo"#
136
137 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
138 T7360.$tcFoo1 :: GHC.Types.TrName
139 [GblId,
140  Caf=NoCafRefs,
141  Str=m1,
142  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
143          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
144 T7360.$tcFoo1 = GHC.Types.TrNameS T7360.$tcFoo2
145
146 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
147 T7360.$tcFoo :: GHC.Types.TyCon
148 [GblId,
149  Caf=NoCafRefs,
150  Str=m,
151  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
152          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
153 T7360.$tcFoo
154   = GHC.Types.TyCon
155       1581370841583180512##
156       13291578023368289311##
157       T7360.$trModule
158       T7360.$tcFoo1
159       0#
160       GHC.Types.krep$*
161
162 -- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
163 T7360.$tc'Foo4 [InlPrag=NOUSERINLINE[~]] :: GHC.Types.KindRep
164 [GblId, Caf=NoCafRefs, Str=m1]
165 T7360.$tc'Foo4
166   = GHC.Types.KindRepTyConApp
167       T7360.$tcFoo (GHC.Types.[] @ GHC.Types.KindRep)
168
169 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
170 T7360.$tc'Foo6 :: GHC.Prim.Addr#
171 [GblId,
172  Caf=NoCafRefs,
173  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
174          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
175 T7360.$tc'Foo6 = "'Foo1"#
176
177 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
178 T7360.$tc'Foo5 :: GHC.Types.TrName
179 [GblId,
180  Caf=NoCafRefs,
181  Str=m1,
182  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
183          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
184 T7360.$tc'Foo5 = GHC.Types.TrNameS T7360.$tc'Foo6
185
186 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
187 T7360.$tc'Foo1 :: GHC.Types.TyCon
188 [GblId,
189  Caf=NoCafRefs,
190  Str=m,
191  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
192          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
193 T7360.$tc'Foo1
194   = GHC.Types.TyCon
195       3986951253261644518##
196       2515097940992351150##
197       T7360.$trModule
198       T7360.$tc'Foo5
199       0#
200       T7360.$tc'Foo4
201
202 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
203 T7360.$tc'Foo8 :: GHC.Prim.Addr#
204 [GblId,
205  Caf=NoCafRefs,
206  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
207          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
208 T7360.$tc'Foo8 = "'Foo2"#
209
210 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
211 T7360.$tc'Foo7 :: GHC.Types.TrName
212 [GblId,
213  Caf=NoCafRefs,
214  Str=m1,
215  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
216          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
217 T7360.$tc'Foo7 = GHC.Types.TrNameS T7360.$tc'Foo8
218
219 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
220 T7360.$tc'Foo2 :: GHC.Types.TyCon
221 [GblId,
222  Caf=NoCafRefs,
223  Str=m,
224  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
225          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
226 T7360.$tc'Foo2
227   = GHC.Types.TyCon
228       17325079864060690428##
229       2969742457748208427##
230       T7360.$trModule
231       T7360.$tc'Foo7
232       0#
233       T7360.$tc'Foo4
234
235 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
236 T7360.$tc'Foo9 [InlPrag=NOUSERINLINE[~]] :: GHC.Types.KindRep
237 [GblId, Caf=NoCafRefs, Str=m4]
238 T7360.$tc'Foo9 = GHC.Types.KindRepFun $krep T7360.$tc'Foo4
239
240 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
241 T7360.$tc'Foo11 :: GHC.Prim.Addr#
242 [GblId,
243  Caf=NoCafRefs,
244  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
245          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}]
246 T7360.$tc'Foo11 = "'Foo3"#
247
248 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
249 T7360.$tc'Foo10 :: GHC.Types.TrName
250 [GblId,
251  Caf=NoCafRefs,
252  Str=m1,
253  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
254          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
255 T7360.$tc'Foo10 = GHC.Types.TrNameS T7360.$tc'Foo11
256
257 -- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
258 T7360.$tc'Foo3 :: GHC.Types.TyCon
259 [GblId,
260  Caf=NoCafRefs,
261  Str=m,
262  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
263          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 70}]
264 T7360.$tc'Foo3
265   = GHC.Types.TyCon
266       3674231676522181654##
267       2694749919371021431##
268       T7360.$trModule
269       T7360.$tc'Foo10
270       0#
271       T7360.$tc'Foo9
272
273
274