# Ticket #2252: badSimplOpt.txt

File badSimplOpt.txt, 14.4 KB (added by , 9 years ago) |
---|

Line | |
---|---|

1 | |

2 | ==================== Tidy Core ==================== |

3 | a_r1aV :: GHC.Num.Integer |

4 | [GlobalId] |

5 | [NoCafRefs |

6 | Str: DmdType] |

7 | a_r1aV = GHC.Num.S# 8 |

8 | |

9 | a1_r1aX :: GHC.Num.Integer |

10 | [GlobalId] |

11 | [NoCafRefs |

12 | Str: DmdType] |

13 | a1_r1aX = GHC.Num.S# 1 |

14 | |

15 | fail_r1aZ :: (Abs.Domain.SparsePolyhedra.Types.DomVar, |

16 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

17 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

18 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

19 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

20 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

21 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

22 | Abs.Domain.SparsePolyhedra.Types.DomVar) |

23 | [GlobalId] |

24 | [Str: DmdType b] |

25 | fail_r1aZ = |

26 | GHC.Err.irrefutPatError |

27 | @ (Abs.Domain.SparsePolyhedra.Types.DomVar, |

28 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

29 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

30 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

31 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

32 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

33 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

34 | Abs.Domain.SparsePolyhedra.Types.DomVar) |

35 | "tests/BadPerform.hs:36:0-41|(s : c : sn : u : tn : p : f : vn : _)" |

36 | |

37 | ds_r1b1 :: (Abs.Domain.SparsePolyhedra.Types.DomVar, |

38 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

39 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

40 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

41 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

42 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

43 | Abs.Domain.SparsePolyhedra.Types.DomVar, |

44 | Abs.Domain.SparsePolyhedra.Types.DomVar) |

45 | [GlobalId] |

46 | [Str: DmdType] |

47 | ds_r1b1 = |

48 | case GHC.Enum.eftInt 1 9223372036854775807 of wild_Xx { |

49 | [] -> fail_r1aZ; |

50 | : s1_XGP ds1_dRK -> |

51 | case ds1_dRK of wild1_XH { |

52 | [] -> fail_r1aZ; |

53 | : c1_XGU ds2_dRL -> |

54 | case ds2_dRL of wild2_XL { |

55 | [] -> fail_r1aZ; |

56 | : sn1_XGZ ds3_dRM -> |

57 | case ds3_dRM of wild3_XP { |

58 | [] -> fail_r1aZ; |

59 | : u1_XH4 ds4_dRN -> |

60 | case ds4_dRN of wild4_XT { |

61 | [] -> fail_r1aZ; |

62 | : tn1_XH9 ds5_dRO -> |

63 | case ds5_dRO of wild5_XX { |

64 | [] -> fail_r1aZ; |

65 | : p1_XHe ds6_dRP -> |

66 | case ds6_dRP of wild6_X11 { |

67 | [] -> fail_r1aZ; |

68 | : f1_XHj ds7_dRQ -> |

69 | case ds7_dRQ of wild7_X15 { |

70 | [] -> fail_r1aZ; |

71 | : vn1_XHo ds8_dRR -> |

72 | (s1_XGP, c1_XGU, sn1_XGZ, u1_XH4, tn1_XH9, p1_XHe, f1_XHj, vn1_XHo) |

73 | } |

74 | } |

75 | } |

76 | } |

77 | } |

78 | } |

79 | } |

80 | } |

81 | |

82 | u_rt5 :: Abs.Domain.SparsePolyhedra.Types.DomVar |

83 | [GlobalId] |

84 | [Str: DmdType] |

85 | u_rt5 = |

86 | case ds_r1b1 |

87 | of ds1_XSE |

88 | { (s1_XGQ, c1_XGS, sn1_XGU, u1_XGW, tn1_XGY, p1_XH0, f1_XH2, vn1_XH4) -> |

89 | u1_XGW |

90 | } |

91 | |

92 | a2_r1b3 :: (GHC.Num.Integer, Abs.Domain.SparsePolyhedra.Types.DomVar) |

93 | [GlobalId] |

94 | [Str: DmdType m] |

95 | a2_r1b3 = (a1_r1aX, u_rt5) |

96 | |

97 | a3_r1b5 :: [Abs.Domain.SparsePolyhedra.Types.Term] |

98 | [GlobalId] |

99 | [Str: DmdType] |

100 | a3_r1b5 = |

101 | GHC.Base.: |

102 | @ Abs.Domain.SparsePolyhedra.Types.Term |

103 | a2_r1b3 |

104 | (GHC.Base.[] @ Abs.Domain.SparsePolyhedra.Types.Term) |

105 | |

106 | lvl_r1b7 :: [[Abs.Domain.SparsePolyhedra.Types.Term]] |

107 | [GlobalId] |

108 | [] |

109 | lvl_r1b7 = |

110 | GHC.Base.map |

111 | @ (GHC.Num.Integer, Abs.Domain.SparsePolyhedra.Types.DomVar) |

112 | @ [Abs.Domain.SparsePolyhedra.Types.Term] |

113 | (Data.List.wrap @ Abs.Domain.SparsePolyhedra.Types.Term) |

114 | a3_r1b5 |

115 | |

116 | a4_r1b9 :: [Abs.Domain.SparsePolyhedra.Types.Term] |

117 | [GlobalId] |

118 | [] |

119 | a4_r1b9 = |

120 | Data.List.mergesort' |

121 | @ Abs.Domain.SparsePolyhedra.Types.Term Abs.Domain.SparsePolyhedra.lvl1 lvl_r1b7 |

122 | |

123 | a5_r1bb :: [Abs.Domain.SparsePolyhedra.Types.Term] |

124 | [GlobalId] |

125 | [] |

126 | a5_r1bb = |

127 | Data.List.mergesort' |

128 | @ Abs.Domain.SparsePolyhedra.Types.Term Abs.Domain.SparsePolyhedra.lvl1 lvl_r1b7 |

129 | |

130 | lvl1_r1bd :: Abs.Domain.SparsePolyhedra.Types.Constraint |

131 | [GlobalId] |

132 | [] |

133 | lvl1_r1bd = |

134 | case Abs.Domain.SparsePolyhedra.Constraints.$wsimplify |

135 | (a5_r1bb |

136 | `cast` (sym (Abs.Domain.SparsePolyhedra.Types.:CoTerms) |

137 | :: [Abs.Domain.SparsePolyhedra.Types.Term] |

138 | ~ |

139 | Abs.Domain.SparsePolyhedra.Types.Terms)) |

140 | a_r1aV |

141 | of ww_aXX { (# ww1_aXZ, ww2_aY0 #) -> |

142 | Abs.Domain.SparsePolyhedra.Types.Constraint ww1_aXZ ww2_aY0 |

143 | } |

144 | |

145 | lvl2_r1bf :: [Abs.Domain.SparsePolyhedra.Types.Constraint] |

146 | [GlobalId] |

147 | [] |

148 | lvl2_r1bf = |

149 | GHC.Base.: |

150 | @ Abs.Domain.SparsePolyhedra.Types.Constraint |

151 | lvl1_r1bd |

152 | (GHC.Base.[] @ Abs.Domain.SparsePolyhedra.Types.Constraint) |

153 | |

154 | Rec { |

155 | $wfixpoint_r1bh :: Abs.Domain.SparsePolyhedra.Poly |

156 | -> Abs.Domain.SparsePolyhedra.Poly |

157 | -> Abs.Domain.SparsePolyhedra.Poly |

158 | -> GHC.Prim.State# GHC.Prim.RealWorld |

159 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, Abs.Domain.SparsePolyhedra.Poly #) |

160 | [GlobalId] |

161 | [Arity 4 |

162 | Str: DmdType SSL] |

163 | $wfixpoint_r1bh = |

164 | \ (w_s18R :: Abs.Domain.SparsePolyhedra.Poly) |

165 | (w1_s18S :: Abs.Domain.SparsePolyhedra.Poly) |

166 | (w2_s18T :: Abs.Domain.SparsePolyhedra.Poly) |

167 | (eta_s19b :: GHC.Prim.State# GHC.Prim.RealWorld) -> |

168 | let { |

169 | sR_s19B [ALWAYS Just S] :: Abs.Domain.SparsePolyhedra.Poly |

170 | [Str: DmdType] |

171 | sR_s19B = Abs.Domain.SparsePolyhedra.join w_s18R w1_s18S } in |

172 | let { |

173 | sV_s19H [ALWAYS Just L] :: Abs.Domain.SparsePolyhedra.Poly |

174 | [Str: DmdType] |

175 | sV_s19H = |

176 | case sR_s19B of wild_aTT { |

177 | Abs.Domain.SparsePolyhedra.Bottom -> Abs.Domain.SparsePolyhedra.Bottom; |

178 | Abs.Domain.SparsePolyhedra.Poly n_aTW cons_aTX -> |

179 | case cons_aTX |

180 | of w3_aTZ { Abs.Domain.SparsePolyhedra.Types.ConSys ww_aU1 ww1_aU2 -> |

181 | case Abs.Domain.SparsePolyhedra.Constraints.$waddConstraints |

182 | n_aTW ww_aU1 ww1_aU2 lvl2_r1bf |

183 | of wild1_aU7 { |

184 | Data.Maybe.Nothing -> Abs.Domain.SparsePolyhedra.Bottom; |

185 | Data.Maybe.Just cons'_aUa -> Abs.Domain.SparsePolyhedra.Poly n_aTW cons'_aUa |

186 | } |

187 | } |

188 | } |

189 | } in |

190 | case sR_s19B of wild_aUe { |

191 | Abs.Domain.SparsePolyhedra.Bottom -> (# eta_s19b, sV_s19H #); |

192 | Abs.Domain.SparsePolyhedra.Poly ipv_aUh ipv1_aUi -> |

193 | let { |

194 | $w$j_s19M :: GHC.Prim.State# GHC.Prim.RealWorld |

195 | -> GHC.Prim.State# GHC.Prim.RealWorld |

196 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, Abs.Domain.SparsePolyhedra.Poly #) |

197 | [Arity 2 |

198 | Str: DmdType A] |

199 | $w$j_s19M = |

200 | \ (w3_s18N :: GHC.Prim.State# GHC.Prim.RealWorld) |

201 | (eta1_s197 :: GHC.Prim.State# GHC.Prim.RealWorld) -> |

202 | $wfixpoint_r1bh |

203 | w_s18R |

204 | (case sV_s19H of wild1_aUv { |

205 | Abs.Domain.SparsePolyhedra.Bottom -> Abs.Domain.SparsePolyhedra.Bottom; |

206 | Abs.Domain.SparsePolyhedra.Poly n_aUy cons_aUz -> |

207 | case Abs.Domain.SparsePolyhedra.Constraints.$wsimplify |

208 | (a4_r1b9 |

209 | `cast` (sym (Abs.Domain.SparsePolyhedra.Types.:CoTerms) |

210 | :: [Abs.Domain.SparsePolyhedra.Types.Term] |

211 | ~ |

212 | Abs.Domain.SparsePolyhedra.Types.Terms)) |

213 | a1_r1aX |

214 | of ww2_aUI { (# ww3_aUK, ww4_aUL #) -> |

215 | case cons_aUz |

216 | of w6_aUN { Abs.Domain.SparsePolyhedra.Types.ConSys ww21_aUP ww31_aUQ -> |

217 | case Abs.Domain.SparsePolyhedra.Constraints.$wupdateVar |

218 | a1_r1aX u_rt5 ww3_aUK ww4_aUL ww21_aUP ww31_aUQ |

219 | of wild2_aUS { |

220 | Data.Maybe.Nothing -> Abs.Domain.SparsePolyhedra.Bottom; |

221 | Data.Maybe.Just cons'_aUV -> Abs.Domain.SparsePolyhedra.Poly n_aUy cons'_aUV |

222 | } |

223 | } |

224 | } |

225 | }) |

226 | wild_aUe |

227 | eta1_s197 |

228 | } in |

229 | case w2_s18T of wild1_aUk { |

230 | Abs.Domain.SparsePolyhedra.Bottom -> $w$j_s19M GHC.Prim.realWorld# eta_s19b; |

231 | Abs.Domain.SparsePolyhedra.Poly ipv2_aUo ipv3_aUp -> |

232 | case ipv1_aUi |

233 | of w3_aYg { Abs.Domain.SparsePolyhedra.Types.ConSys ww_aYi ww1_aYj -> |

234 | case ipv3_aUp |

235 | of w4_aYl { Abs.Domain.SparsePolyhedra.Types.ConSys ww2_aYn ww3_aYo -> |

236 | case Abs.Domain.SparsePolyhedra.Constraints.$wdefinesSubspace |

237 | ipv2_aUo ww_aYi ww1_aYj ww2_aYn ww3_aYo |

238 | of wild11_B1 { |

239 | GHC.Base.False -> $w$j_s19M GHC.Prim.realWorld# eta_s19b; |

240 | GHC.Base.True -> (# eta_s19b, sV_s19H #) |

241 | } |

242 | } |

243 | } |

244 | } |

245 | } |

246 | end Rec } |

247 | |

248 | lvl3_r1bj :: GHC.Num.Integer |

249 | [GlobalId] |

250 | [NoCafRefs] |

251 | lvl3_r1bj = GHC.Num.S# 0 |

252 | |

253 | lvl4_r1bl :: Abs.Domain.SparsePolyhedra.Types.Constraint |

254 | [GlobalId] |

255 | [NoCafRefs] |

256 | lvl4_r1bl = |

257 | Abs.Domain.SparsePolyhedra.Types.Constraint |

258 | ((GHC.Base.[] @ Abs.Domain.SparsePolyhedra.Types.Term) |

259 | `cast` (sym (Abs.Domain.SparsePolyhedra.Types.:CoTerms) |

260 | :: [Abs.Domain.SparsePolyhedra.Types.Term] |

261 | ~ |

262 | Abs.Domain.SparsePolyhedra.Types.Terms)) |

263 | lvl3_r1bj |

264 | |

265 | lvl5_r1bn :: GHC.Base.Int |

266 | [GlobalId] |

267 | [NoCafRefs] |

268 | lvl5_r1bn = GHC.Base.I# 8 |

269 | |

270 | lvl6_r1bp :: Abs.Domain.SparsePolyhedra.Poly |

271 | [GlobalId] |

272 | [NoCafRefs] |

273 | lvl6_r1bp = |

274 | Abs.Domain.SparsePolyhedra.Poly lvl5_r1bn Abs.Domain.SparsePolyhedra.lvl2 |

275 | |

276 | initial_r1br :: Abs.Domain.SparsePolyhedra.Poly |

277 | [GlobalId] |

278 | [Str: DmdType] |

279 | initial_r1br = |

280 | Abs.Domain.SparsePolyhedra.assign |

281 | Abs.Domain.SparsePolyhedra.lvl u_rt5 lvl4_r1bl lvl6_r1bp |

282 | |

283 | lvl7_r1bt :: [GHC.Base.Char] |

284 | [GlobalId] |

285 | [] |

286 | lvl7_r1bt = GHC.Base.unpackCString# "something's wrong" |

287 | |

288 | $j_r1bv :: GHC.Prim.State# GHC.Prim.RealWorld |

289 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

290 | [GlobalId] |

291 | [Arity 1 |

292 | Str: DmdType L] |

293 | $j_r1bv = |

294 | \ (new_s_aWs :: GHC.Prim.State# GHC.Prim.RealWorld) -> |

295 | case $wfixpoint_r1bh |

296 | initial_r1br |

297 | Abs.Domain.SparsePolyhedra.Bottom |

298 | Abs.Domain.SparsePolyhedra.Bottom |

299 | new_s_aWs |

300 | of wild_XXG { (# new_s1_XXJ, a103_XXL #) -> |

301 | case a103_XXL of wild1_aUe { |

302 | Abs.Domain.SparsePolyhedra.Bottom -> (# new_s1_XXJ, GHC.Base.() #); |

303 | Abs.Domain.SparsePolyhedra.Poly ipv_aUh ipv1_aUi -> |

304 | case ipv1_aUi |

305 | of w_aYg { Abs.Domain.SparsePolyhedra.Types.ConSys ww_aYi ww1_aYj -> |

306 | case Abs.Domain.SparsePolyhedra.Constraints.$wdefinesSubspace |

307 | ipv_aUh ww_aYi ww1_aYj ww_aYi ww1_aYj |

308 | of wild2_aSE { |

309 | GHC.Base.False -> |

310 | case GHC.IO.a25 GHC.Handle.stdout lvl7_r1bt new_s1_XXJ |

311 | of wild3_a144 { (# new_s2_a146, a1031_a147 #) -> |

312 | GHC.IO.$wa13 GHC.Handle.stdout '\n' new_s2_a146 |

313 | }; |

314 | GHC.Base.True -> (# new_s1_XXJ, GHC.Base.() #) |

315 | } |

316 | } |

317 | } |

318 | } |

319 | |

320 | a6_r1bx :: Abs.Domain.SparsePolyhedra.Poly |

321 | -> GHC.Prim.State# GHC.Prim.RealWorld |

322 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

323 | [GlobalId] |

324 | [Arity 2 |

325 | Str: DmdType SL] |

326 | a6_r1bx = |

327 | \ (res1_atp :: Abs.Domain.SparsePolyhedra.Poly) |

328 | (eta_s15u :: GHC.Prim.State# GHC.Prim.RealWorld) -> |

329 | case res1_atp of wild_aUe { |

330 | Abs.Domain.SparsePolyhedra.Bottom -> $j_r1bv eta_s15u; |

331 | Abs.Domain.SparsePolyhedra.Poly ipv_aUh ipv1_aUi -> |

332 | case ipv1_aUi |

333 | of w_aYg { Abs.Domain.SparsePolyhedra.Types.ConSys ww_aYi ww1_aYj -> |

334 | case Abs.Domain.SparsePolyhedra.Constraints.$wdefinesSubspace |

335 | ipv_aUh ww_aYi ww1_aYj ww_aYi ww1_aYj |

336 | of wild1_aSE { |

337 | GHC.Base.False -> |

338 | case GHC.IO.a25 GHC.Handle.stdout lvl7_r1bt eta_s15u |

339 | of wild2_a144 { (# new_s_a146, a103_a147 #) -> |

340 | case GHC.IO.$wa13 GHC.Handle.stdout '\n' new_s_a146 |

341 | of wild3_aWq { (# new_s1_aWs, a1031_aWt #) -> |

342 | $j_r1bv new_s1_aWs |

343 | } |

344 | }; |

345 | GHC.Base.True -> $j_r1bv eta_s15u |

346 | } |

347 | } |

348 | } |

349 | |

350 | Rec { |

351 | Main.a7 :: GHC.Prim.Int# |

352 | -> GHC.Prim.State# GHC.Prim.RealWorld |

353 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

354 | [GlobalId] |

355 | [Arity 2 |

356 | Str: DmdType LL] |

357 | Main.a7 = |

358 | \ (m_a153 :: GHC.Prim.Int#) (eta_s15J :: GHC.Prim.State# GHC.Prim.RealWorld) -> |

359 | case GHC.Prim.<=# m_a153 1 of wild_a154 { |

360 | GHC.Base.False -> |

361 | case $wfixpoint_r1bh |

362 | initial_r1br |

363 | Abs.Domain.SparsePolyhedra.Bottom |

364 | Abs.Domain.SparsePolyhedra.Bottom |

365 | eta_s15J |

366 | of wild1_aWq { (# new_s_aWs, a103_aWt #) -> |

367 | case a6_r1bx a103_aWt new_s_aWs of wild2_XXQ { (# new_s1_XXT, a1031_XXV #) -> |

368 | Main.a7 (GHC.Prim.-# m_a153 1) new_s1_XXT |

369 | } |

370 | }; |

371 | GHC.Base.True -> |

372 | case $wfixpoint_r1bh |

373 | initial_r1br |

374 | Abs.Domain.SparsePolyhedra.Bottom |

375 | Abs.Domain.SparsePolyhedra.Bottom |

376 | eta_s15J |

377 | of wild1_aWq { (# new_s_aWs, a103_aWt #) -> |

378 | case a6_r1bx a103_aWt new_s_aWs of wild2_XXH { (# new_s1_XXK, a1031_XXM #) -> |

379 | (# new_s1_XXK, GHC.Base.() #) |

380 | } |

381 | } |

382 | } |

383 | end Rec } |

384 | |

385 | Main.a8 :: GHC.Prim.State# GHC.Prim.RealWorld |

386 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

387 | [GlobalId] |

388 | [Arity 1 |

389 | Str: DmdType L] |

390 | Main.a8 = Main.a7 1000 |

391 | |

392 | Main.main :: GHC.IOBase.IO () |

393 | [GlobalId] |

394 | [Arity 1 |

395 | Str: DmdType L] |

396 | Main.main = |

397 | Main.a8 |

398 | `cast` (sym ((GHC.IOBase.:CoIO) ()) |

399 | :: GHC.Prim.State# GHC.Prim.RealWorld |

400 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

401 | ~ |

402 | GHC.IOBase.IO ()) |

403 | |

404 | Main.a9 :: GHC.Prim.State# GHC.Prim.RealWorld |

405 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

406 | [GlobalId] |

407 | [Arity 1 |

408 | Str: DmdType L] |

409 | Main.a9 = |

410 | GHC.TopHandler.a7 |

411 | @ () |

412 | (Main.a8 |

413 | `cast` (sym ((GHC.IOBase.:CoIO) ()) |

414 | :: GHC.Prim.State# GHC.Prim.RealWorld |

415 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

416 | ~ |

417 | GHC.IOBase.IO ())) |

418 | |

419 | :Main.main :: GHC.IOBase.IO () |

420 | [GlobalId] |

421 | [Arity 1 |

422 | Str: DmdType L] |

423 | :Main.main = |

424 | Main.a9 |

425 | `cast` (sym ((GHC.IOBase.:CoIO) ()) |

426 | :: GHC.Prim.State# GHC.Prim.RealWorld |

427 | -> (# GHC.Prim.State# GHC.Prim.RealWorld, () #) |

428 | ~ |

429 | GHC.IOBase.IO ()) |

430 | |

431 | |

432 | |

433 | |

434 | ==================== Tidy Core Rules ==================== |

435 | |

436 |