Ticket #4306: Test.core

File Test.core, 10.4 KB (added by Olathe, 4 years ago)

-ddump-simpl output from that file (compiled with -O2).

Line 
1
2==================== Tidy Core ====================
3Test.$WUPD :: GHC.Types.Double -> Test.D -> Test.UPD
4GblId[DataConWrapper]
5[Arity 2
6 NoCafRefs
7 Str: DmdType SLm]
8Test.$WUPD =
9  __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double)
10                 (tpl_B2 [ALWAYS Once Nothing] :: Test.D) ->
11                 case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] ->
12                 Test.UPD tpl_B4 tpl_B2
13                 })
14
15Test.$WUPC :: GHC.Types.Double -> Test.C -> Test.UPC
16GblId[DataConWrapper]
17[Arity 2
18 NoCafRefs
19 Str: DmdType SLm]
20Test.$WUPC =
21  __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double)
22                 (tpl_B2 [ALWAYS Once Nothing] :: Test.C) ->
23                 case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] ->
24                 Test.UPC tpl_B4 tpl_B2
25                 })
26
27Test.$WPPD :: GHC.Types.Double -> Test.D -> Test.PPD
28GblId[DataConWrapper]
29[Arity 2
30 NoCafRefs
31 Str: DmdType SLm]
32Test.$WPPD =
33  __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double)
34                 (tpl_B2 [ALWAYS Once Nothing] :: Test.D) ->
35                 case tpl_B1 of tpl_X4 { __DEFAULT -> Test.PPD tpl_X4 tpl_B2 })
36
37Test.$WPPC :: GHC.Types.Double -> Test.C -> Test.PPC
38GblId[DataConWrapper]
39[Arity 2
40 NoCafRefs
41 Str: DmdType SLm]
42Test.$WPPC =
43  __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double)
44                 (tpl_B2 [ALWAYS Once Nothing] :: Test.C) ->
45                 case tpl_B1 of tpl_X4 { __DEFAULT -> Test.PPC tpl_X4 tpl_B2 })
46
47Test.$WD :: GHC.Types.Double -> GHC.Types.Double -> Test.D
48GblId[DataConWrapper]
49[Arity 2
50 NoCafRefs
51 Str: DmdType SSm]
52Test.$WD =
53  __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double)
54                 (tpl_B2 [ALWAYS Once! Nothing] :: GHC.Types.Double) ->
55                 case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] ->
56                 case tpl_B2 of _ { GHC.Types.D# tpl_B6 [ALWAYS Once Nothing] ->
57                 Test.D tpl_B4 tpl_B6
58                 }
59                 })
60
61Test.$WC :: GHC.Types.Double -> GHC.Types.Double -> Test.C
62GblId[DataConWrapper]
63[Arity 2
64 NoCafRefs
65 Str: DmdType SSm]
66Test.$WC =
67  __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double)
68                 (tpl_B2 [ALWAYS Once Nothing] :: GHC.Types.Double) ->
69                 case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] ->
70                 case tpl_B2 of tpl_X7 { __DEFAULT -> Test.C tpl_B4 tpl_X7 }
71                 })
72
73Test.$WUPB :: GHC.Types.Double -> Test.B -> Test.UPB
74GblId[DataConWrapper]
75[Arity 2
76 NoCafRefs
77 Str: DmdType SLm]
78Test.$WUPB =
79  __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double)
80                 (tpl_B2 [ALWAYS Once Nothing] :: Test.B) ->
81                 case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] ->
82                 Test.UPB tpl_B4 tpl_B2
83                 })
84
85Test.$WPPB :: GHC.Types.Double -> Test.B -> Test.PPB
86GblId[DataConWrapper]
87[Arity 2
88 NoCafRefs
89 Str: DmdType SLm]
90Test.$WPPB =
91  __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double)
92                 (tpl_B2 [ALWAYS Once Nothing] :: Test.B) ->
93                 case tpl_B1 of tpl_X4 { __DEFAULT -> Test.PPB tpl_X4 tpl_B2 })
94
95Test.$WB :: GHC.Types.Double -> GHC.Types.Double -> Test.B
96GblId[DataConWrapper]
97[Arity 2
98 NoCafRefs
99 Str: DmdType SSm]
100Test.$WB =
101  __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double)
102                 (tpl_B2 [ALWAYS Once Nothing] :: GHC.Types.Double) ->
103                 case tpl_B1 of tpl_X4 { __DEFAULT ->
104                 case tpl_B2 of tpl_X6 { __DEFAULT -> Test.B tpl_X4 tpl_X6 }
105                 })
106
107Test.$wupd :: GHC.Prim.Double#
108              -> GHC.Prim.Double#
109              -> GHC.Prim.Double#
110              -> GHC.Prim.Double#
111GblId
112[Arity 3
113 NoCafRefs
114 Str: DmdType ALA]
115Test.$wupd =
116  \ _ (ww1_ssd :: GHC.Prim.Double#) _ ->
117    GHC.Prim.sqrtDouble#
118      (GHC.Prim.+##
119         (GHC.Prim.*## ww1_ssd ww1_ssd) (GHC.Prim.*## ww1_ssd ww1_ssd))
120
121Test.$wppd :: GHC.Prim.Double#
122              -> GHC.Prim.Double#
123              -> GHC.Prim.Double#
124GblId
125[Arity 2
126 NoCafRefs
127 Str: DmdType LA]
128Test.$wppd =
129  \ (ww_srZ :: GHC.Prim.Double#) _ ->
130    GHC.Prim.sqrtDouble#
131      (GHC.Prim.+##
132         (GHC.Prim.*## ww_srZ ww_srZ) (GHC.Prim.*## ww_srZ ww_srZ))
133
134Test.$wupc :: GHC.Prim.Double#
135              -> GHC.Prim.Double#
136              -> GHC.Prim.Double#
137GblId
138[Arity 2
139 NoCafRefs
140 Str: DmdType AL]
141Test.$wupc =
142  \ _ (ww1_srL :: GHC.Prim.Double#) ->
143    GHC.Prim.sqrtDouble#
144      (GHC.Prim.+##
145         (GHC.Prim.*## ww1_srL ww1_srL) (GHC.Prim.*## ww1_srL ww1_srL))
146
147Test.$wppc :: GHC.Prim.Double# -> GHC.Prim.Double#
148GblId
149[Arity 1
150 NoCafRefs
151 Str: DmdType L]
152Test.$wppc =
153  \ (ww_srx :: GHC.Prim.Double#) ->
154    GHC.Prim.sqrtDouble#
155      (GHC.Prim.+##
156         (GHC.Prim.*## ww_srx ww_srx) (GHC.Prim.*## ww_srx ww_srx))
157
158Test.$wupb :: GHC.Prim.Double#
159              -> GHC.Prim.Double#
160              -> GHC.Prim.Double#
161GblId
162[Arity 2
163 NoCafRefs
164 Str: DmdType AL]
165Test.$wupb =
166  \ _ (ww1_sri :: GHC.Prim.Double#) ->
167    GHC.Prim.sqrtDouble#
168      (GHC.Prim.+##
169         (GHC.Prim.*## ww1_sri ww1_sri) (GHC.Prim.*## ww1_sri ww1_sri))
170
171Test.$wppb :: GHC.Prim.Double# -> GHC.Prim.Double#
172GblId
173[Arity 1
174 NoCafRefs
175 Str: DmdType L]
176Test.$wppb =
177  \ (ww_sr1 :: GHC.Prim.Double#) ->
178    GHC.Prim.sqrtDouble#
179      (GHC.Prim.+##
180         (GHC.Prim.*## ww_sr1 ww_sr1) (GHC.Prim.*## ww_sr1 ww_sr1))
181
182Test.$wd :: GHC.Prim.Double#
183            -> GHC.Prim.Double#
184            -> GHC.Prim.Double#
185GblId
186[Arity 2
187 NoCafRefs
188 Str: DmdType LA]
189Test.$wd =
190  \ (ww_sqM :: GHC.Prim.Double#) _ ->
191    GHC.Prim.sqrtDouble#
192      (GHC.Prim.+##
193         (GHC.Prim.*## ww_sqM ww_sqM) (GHC.Prim.*## ww_sqM ww_sqM))
194
195Test.$wc :: GHC.Prim.Double# -> GHC.Prim.Double#
196GblId
197[Arity 1
198 NoCafRefs
199 Str: DmdType L]
200Test.$wc =
201  \ (ww_sqC :: GHC.Prim.Double#) ->
202    GHC.Prim.sqrtDouble#
203      (GHC.Prim.+##
204         (GHC.Prim.*## ww_sqC ww_sqC) (GHC.Prim.*## ww_sqC ww_sqC))
205
206Test.$wb :: GHC.Prim.Double# -> GHC.Prim.Double#
207GblId
208[Arity 1
209 NoCafRefs
210 Str: DmdType L]
211Test.$wb =
212  \ (ww_sqs :: GHC.Prim.Double#) ->
213    GHC.Prim.sqrtDouble#
214      (GHC.Prim.+##
215         (GHC.Prim.*## ww_sqs ww_sqs) (GHC.Prim.*## ww_sqs ww_sqs))
216
217Test.upd :: Test.UPD -> GHC.Types.Double
218GblId
219[Arity 1
220 Worker Test.$wupd
221 NoCafRefs
222 Str: DmdType U(AU(LA))m]
223Test.upd =
224  __inline_me (\ (w_ss8 :: Test.UPD) ->
225                 case w_ss8 of _ { Test.UPD ww_ssa ww1_ssb ->
226                 case ww1_ssb of _ { Test.D ww3_ssd ww4_sse ->
227                 case Test.$wupd ww_ssa ww3_ssd ww4_sse of ww5_ssj { __DEFAULT ->
228                 GHC.Types.D# ww5_ssj
229                 }
230                 }
231                 })
232
233Test.ppd :: Test.PPD -> GHC.Types.Double
234GblId
235[Arity 1
236 Worker Test.$wppd
237 NoCafRefs
238 Str: DmdType U(AU(LA))m]
239Test.ppd =
240  __inline_me (\ (w_srU :: Test.PPD) ->
241                 case w_srU of _ { Test.PPD _ ww1_srX ->
242                 case ww1_srX of _ { Test.D ww3_srZ ww4_ss0 ->
243                 case Test.$wppd ww3_srZ ww4_ss0 of ww5_ss5 { __DEFAULT ->
244                 GHC.Types.D# ww5_ss5
245                 }
246                 }
247                 })
248
249Test.upc :: Test.UPC -> GHC.Types.Double
250GblId
251[Arity 1
252 Worker Test.$wupc
253 NoCafRefs
254 Str: DmdType U(AU(LA))m]
255Test.upc =
256  __inline_me (\ (w_srG :: Test.UPC) ->
257                 case w_srG of _ { Test.UPC ww_srI ww1_srJ ->
258                 case ww1_srJ of _ { Test.C ww3_srL _ ->
259                 case Test.$wupc ww_srI ww3_srL of ww5_srR { __DEFAULT ->
260                 GHC.Types.D# ww5_srR
261                 }
262                 }
263                 })
264
265Test.ppc :: Test.PPC -> GHC.Types.Double
266GblId
267[Arity 1
268 Worker Test.$wppc
269 NoCafRefs
270 Str: DmdType U(AU(LA))m]
271Test.ppc =
272  __inline_me (\ (w_srs :: Test.PPC) ->
273                 case w_srs of _ { Test.PPC _ ww1_srv ->
274                 case ww1_srv of _ { Test.C ww3_srx _ ->
275                 case Test.$wppc ww3_srx of ww5_srD { __DEFAULT ->
276                 GHC.Types.D# ww5_srD
277                 }
278                 }
279                 })
280
281Test.upb :: Test.UPB -> GHC.Types.Double
282GblId
283[Arity 1
284 Worker Test.$wupb
285 NoCafRefs
286 Str: DmdType U(AU(U(L)A))m]
287Test.upb =
288  __inline_me (\ (w_srb :: Test.UPB) ->
289                 case w_srb of _ { Test.UPB ww_srd ww1_sre ->
290                 case ww1_sre of _ { Test.B ww3_srg _ ->
291                 case ww3_srg of _ { GHC.Types.D# ww6_sri ->
292                 case Test.$wupb ww_srd ww6_sri of ww7_srp { __DEFAULT ->
293                 GHC.Types.D# ww7_srp
294                 }
295                 }
296                 }
297                 })
298
299Test.ppb :: Test.PPB -> GHC.Types.Double
300GblId
301[Arity 1
302 Worker Test.$wppb
303 NoCafRefs
304 Str: DmdType U(AU(U(L)A))m]
305Test.ppb =
306  __inline_me (\ (w_sqU :: Test.PPB) ->
307                 case w_sqU of _ { Test.PPB _ ww1_sqX ->
308                 case ww1_sqX of _ { Test.B ww3_sqZ _ ->
309                 case ww3_sqZ of _ { GHC.Types.D# ww6_sr1 ->
310                 case Test.$wppb ww6_sr1 of ww7_sr8 { __DEFAULT ->
311                 GHC.Types.D# ww7_sr8
312                 }
313                 }
314                 }
315                 })
316
317Test.d :: Test.D -> GHC.Types.Double
318GblId
319[Arity 1
320 Worker Test.$wd
321 NoCafRefs
322 Str: DmdType U(LA)m]
323Test.d =
324  __inline_me (\ (w_sqK :: Test.D) ->
325                 case w_sqK of _ { Test.D ww_sqM ww1_sqN ->
326                 case Test.$wd ww_sqM ww1_sqN of ww2_sqR { __DEFAULT ->
327                 GHC.Types.D# ww2_sqR
328                 }
329                 })
330
331Test.c :: Test.C -> GHC.Types.Double
332GblId
333[Arity 1
334 Worker Test.$wc
335 NoCafRefs
336 Str: DmdType U(LA)m]
337Test.c =
338  __inline_me (\ (w_sqA :: Test.C) ->
339                 case w_sqA of _ { Test.C ww_sqC _ ->
340                 case Test.$wc ww_sqC of ww2_sqH { __DEFAULT ->
341                 GHC.Types.D# ww2_sqH
342                 }
343                 })
344
345Test.b :: Test.C -> GHC.Types.Double
346GblId
347[Arity 1
348 Worker Test.$wb
349 NoCafRefs
350 Str: DmdType U(LA)m]
351Test.b =
352  __inline_me (\ (w_sqq :: Test.C) ->
353                 case w_sqq of _ { Test.C ww_sqs _ ->
354                 case Test.$wb ww_sqs of ww2_sqx { __DEFAULT ->
355                 GHC.Types.D# ww2_sqx
356                 }
357                 })
358
359
360
361
362==================== Tidy Core Rules ====================
363
364