Add a perf test for #5642
authorIan Lynagh <igloo@earth.li>
Sun, 29 Jan 2012 13:49:17 +0000 (13:49 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 29 Jan 2012 13:49:17 +0000 (13:49 +0000)
testsuite/tests/perf/compiler/T5642.hs [new file with mode: 0644]
testsuite/tests/perf/compiler/all.T

diff --git a/testsuite/tests/perf/compiler/T5642.hs b/testsuite/tests/perf/compiler/T5642.hs
new file mode 100644 (file)
index 0000000..9e82f6a
--- /dev/null
@@ -0,0 +1,985 @@
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE DeriveGeneric #-}
+
+module GenBigTypes where
+
+  import GHC.Generics
+
+  data BigSum =
+            C0   |  C1  | C2   | C3   | C4   | C5   | C6   | C7   | C8   | C9
+          | C10  | C11  | C12  | C13  | C14  | C15  | C16  | C17  | C18  | C19
+          | C20  | C21  | C22  | C23  | C24  | C25  | C26  | C27  | C28  | C29
+          | C30  | C31  | C32  | C33  | C34  | C35  | C36  | C37  | C38  | C39
+          | C40  | C41  | C42  | C43  | C44  | C45  | C46  | C47  | C48  | C49
+          | C50  | C51  | C52  | C53  | C54  | C55  | C56  | C57  | C58  | C59
+          | C60  | C61  | C62  | C63  | C64  | C65  | C66  | C67  | C68  | C69
+          | C70  | C71  | C72  | C73  | C74  | C75  | C76  | C77  | C78  | C79
+          | C80  | C81  | C82  | C83  | C84  | C85  | C86  | C87  | C88  | C89
+          | C90  | C91  | C92  | C93  | C94  | C95  | C96  | C97  | C98  | C99
+{-
+          | C100 | C101 | C102 | C103 | C104 | C105 | C106 | C107 | C108 | C109
+          | C110 | C111 | C112 | C113 | C114 | C115 | C116 | C117 | C118 | C119
+          | C120 | C121 | C122 | C123 | C124 | C125 | C126 | C127 | C128 | C129
+          | C130 | C131 | C132 | C133 | C134 | C135 | C136 | C137 | C138 | C139
+          | C140 | C141 | C142 | C143 | C144 | C145 | C146 | C147 | C148 | C149
+          | C150 | C151 | C152 | C153 | C154 | C155 | C156 | C157 | C158 | C159
+          | C160 | C161 | C162 | C163 | C164 | C165 | C166 | C167 | C168 | C169
+          | C170 | C171 | C172 | C173 | C174 | C175 | C176 | C177 | C178 | C179
+          | C180 | C181 | C182 | C183 | C184 | C185 | C186 | C187 | C188 | C189
+          | C190 | C191 | C192 | C193 | C194 | C195 | C196 | C197 | C198 | C199
+          | C200 | C201 | C202 | C203 | C204 | C205 | C206 | C207 | C208 | C209
+          | C210 | C211 | C212 | C213 | C214 | C215 | C216 | C217 | C218 | C219
+          | C220 | C221 | C222 | C223 | C224 | C225 | C226 | C227 | C228 | C229
+          | C230 | C231 | C232 | C233 | C234 | C235 | C236 | C237 | C238 | C239
+          | C240 | C241 | C242 | C243 | C244 | C245 | C246 | C247 | C248 | C249
+          | C250 | C251 | C252 | C253 | C254 | C255 | C256 | C257 | C258 | C259
+          | C260 | C261 | C262 | C263 | C264 | C265 | C266 | C267 | C268 | C269
+          | C270 | C271 | C272 | C273 | C274 | C275 | C276 | C277 | C278 | C279
+          | C280 | C281 | C282 | C283 | C284 | C285 | C286 | C287 | C288 | C289
+          | C290 | C291 | C292 | C293 | C294 | C295 | C296 | C297 | C298 | C299
+    --deriving Generic
+-}
+
+  instance Generic BigSum where
+    type Rep BigSum = Rep_BigSum
+    from C0 = M1 (L1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))))
+    from C1 = M1 (L1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C2 = M1 (L1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C3 = M1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))
+    from C4 = M1 (L1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C5 = M1 (L1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C6 = M1 (L1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))))
+    from C7 = M1 (L1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C8 = M1 (L1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C9 = M1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))
+    from C10 = M1 (L1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C11 = M1 (L1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C12 = M1 (L1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))))
+    from C13 = M1 (L1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C14 = M1 (L1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C15 = M1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))
+    from C16 = M1 (L1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C17 = M1 (L1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C18 = M1 (L1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))))
+    from C19 = M1 (L1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C20 = M1 (L1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C21 = M1 (L1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))
+    from C22 = M1 (L1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))
+    from C23 = M1 (L1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C24 = M1 (L1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C25 = M1 (L1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))))
+    from C26 = M1 (L1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C27 = M1 (L1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C28 = M1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))
+    from C29 = M1 (L1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C30 = M1 (L1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C31 = M1 (L1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))))
+    from C32 = M1 (L1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C33 = M1 (L1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C34 = M1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))
+    from C35 = M1 (L1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C36 = M1 (L1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C37 = M1 (L1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))))
+    from C38 = M1 (L1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C39 = M1 (L1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C40 = M1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))
+    from C41 = M1 (L1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C42 = M1 (L1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C43 = M1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))
+    from C44 = M1 (L1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C45 = M1 (L1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C46 = M1 (L1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))
+    from C47 = M1 (L1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))
+    from C48 = M1 (L1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C49 = M1 (L1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C50 = M1 (R1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))))
+    from C51 = M1 (R1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C52 = M1 (R1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C53 = M1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))
+    from C54 = M1 (R1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C55 = M1 (R1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C56 = M1 (R1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))))
+    from C57 = M1 (R1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C58 = M1 (R1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C59 = M1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))
+    from C60 = M1 (R1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C61 = M1 (R1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C62 = M1 (R1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))))
+    from C63 = M1 (R1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C64 = M1 (R1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C65 = M1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))
+    from C66 = M1 (R1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C67 = M1 (R1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C68 = M1 (R1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))))
+    from C69 = M1 (R1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C70 = M1 (R1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C71 = M1 (R1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))
+    from C72 = M1 (R1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))
+    from C73 = M1 (R1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C74 = M1 (R1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C75 = M1 (R1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))))
+    from C76 = M1 (R1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C77 = M1 (R1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C78 = M1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))
+    from C79 = M1 (R1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C80 = M1 (R1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C81 = M1 (R1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))))
+    from C82 = M1 (R1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C83 = M1 (R1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C84 = M1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))
+    from C85 = M1 (R1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C86 = M1 (R1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    from C87 = M1 (R1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))))
+    from C88 = M1 (R1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))
+    from C89 = M1 (R1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))
+    from C90 = M1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))
+    from C91 = M1 (R1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))
+    from C92 = M1 (R1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))
+    from C93 = M1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))
+    from C94 = M1 (R1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))
+    from C95 = M1 (R1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))
+    from C96 = M1 (R1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))
+    from C97 = M1 (R1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))
+    from C98 = M1 (R1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))
+    from C99 = M1 (R1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))
+    to (M1 (L1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C0
+    to (M1 (L1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C1
+    to (M1 (L1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C2
+    to (M1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C3
+    to (M1 (L1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C4
+    to (M1 (L1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C5
+    to (M1 (L1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C6
+    to (M1 (L1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C7
+    to (M1 (L1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C8
+    to (M1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C9
+    to (M1 (L1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C10
+    to (M1 (L1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C11
+    to (M1 (L1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C12
+    to (M1 (L1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C13
+    to (M1 (L1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C14
+    to (M1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C15
+    to (M1 (L1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C16
+    to (M1 (L1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C17
+    to (M1 (L1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C18
+    to (M1 (L1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C19
+    to (M1 (L1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C20
+    to (M1 (L1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C21
+    to (M1 (L1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C22
+    to (M1 (L1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C23
+    to (M1 (L1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C24
+    to (M1 (L1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C25
+    to (M1 (L1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C26
+    to (M1 (L1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C27
+    to (M1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C28
+    to (M1 (L1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C29
+    to (M1 (L1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C30
+    to (M1 (L1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C31
+    to (M1 (L1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C32
+    to (M1 (L1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C33
+    to (M1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C34
+    to (M1 (L1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C35
+    to (M1 (L1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C36
+    to (M1 (L1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C37
+    to (M1 (L1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C38
+    to (M1 (L1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C39
+    to (M1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C40
+    to (M1 (L1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C41
+    to (M1 (L1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C42
+    to (M1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C43
+    to (M1 (L1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C44
+    to (M1 (L1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C45
+    to (M1 (L1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C46
+    to (M1 (L1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C47
+    to (M1 (L1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C48
+    to (M1 (L1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C49
+    to (M1 (R1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C50
+    to (M1 (R1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C51
+    to (M1 (R1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C52
+    to (M1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C53
+    to (M1 (R1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C54
+    to (M1 (R1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C55
+    to (M1 (R1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C56
+    to (M1 (R1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C57
+    to (M1 (R1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C58
+    to (M1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C59
+    to (M1 (R1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C60
+    to (M1 (R1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C61
+    to (M1 (R1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C62
+    to (M1 (R1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C63
+    to (M1 (R1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C64
+    to (M1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C65
+    to (M1 (R1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C66
+    to (M1 (R1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C67
+    to (M1 (R1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C68
+    to (M1 (R1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C69
+    to (M1 (R1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C70
+    to (M1 (R1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C71
+    to (M1 (R1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C72
+    to (M1 (R1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C73
+    to (M1 (R1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C74
+    to (M1 (R1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C75
+    to (M1 (R1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C76
+    to (M1 (R1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C77
+    to (M1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C78
+    to (M1 (R1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C79
+    to (M1 (R1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C80
+    to (M1 (R1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C81
+    to (M1 (R1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C82
+    to (M1 (R1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C83
+    to (M1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C84
+    to (M1 (R1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C85
+    to (M1 (R1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C86
+    to (M1 (R1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C87
+    to (M1 (R1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C88
+    to (M1 (R1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C89
+    to (M1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C90
+    to (M1 (R1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C91
+    to (M1 (R1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C92
+    to (M1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C93
+    to (M1 (R1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C94
+    to (M1 (R1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C95
+    to (M1 (R1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C96
+    to (M1 (R1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C97
+    to (M1 (R1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C98
+    to (M1 (R1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C99
+
+  instance Datatype D1BigSum where
+    datatypeName _ = "BigSum"
+    moduleName _ = "GenBigTypes"
+
+  instance Constructor C1_0BigSum where
+    conName _ = "C0"
+
+  instance Constructor C1_1BigSum where
+    conName _ = "C1"
+
+  instance Constructor C1_2BigSum where
+    conName _ = "C2"
+
+  instance Constructor C1_3BigSum where
+    conName _ = "C3"
+
+  instance Constructor C1_4BigSum where
+    conName _ = "C4"
+
+  instance Constructor C1_5BigSum where
+    conName _ = "C5"
+
+  instance Constructor C1_6BigSum where
+    conName _ = "C6"
+
+  instance Constructor C1_7BigSum where
+    conName _ = "C7"
+
+  instance Constructor C1_8BigSum where
+    conName _ = "C8"
+
+  instance Constructor C1_9BigSum where
+    conName _ = "C9"
+
+  instance Constructor C1_10BigSum where
+    conName _ = "C10"
+
+  instance Constructor C1_11BigSum where
+    conName _ = "C11"
+
+  instance Constructor C1_12BigSum where
+    conName _ = "C12"
+
+  instance Constructor C1_13BigSum where
+    conName _ = "C13"
+
+  instance Constructor C1_14BigSum where
+    conName _ = "C14"
+
+  instance Constructor C1_15BigSum where
+    conName _ = "C15"
+
+  instance Constructor C1_16BigSum where
+    conName _ = "C16"
+
+  instance Constructor C1_17BigSum where
+    conName _ = "C17"
+
+  instance Constructor C1_18BigSum where
+    conName _ = "C18"
+
+  instance Constructor C1_19BigSum where
+    conName _ = "C19"
+
+  instance Constructor C1_20BigSum where
+    conName _ = "C20"
+
+  instance Constructor C1_21BigSum where
+    conName _ = "C21"
+
+  instance Constructor C1_22BigSum where
+    conName _ = "C22"
+
+  instance Constructor C1_23BigSum where
+    conName _ = "C23"
+
+  instance Constructor C1_24BigSum where
+    conName _ = "C24"
+
+  instance Constructor C1_25BigSum where
+    conName _ = "C25"
+
+  instance Constructor C1_26BigSum where
+    conName _ = "C26"
+
+  instance Constructor C1_27BigSum where
+    conName _ = "C27"
+
+  instance Constructor C1_28BigSum where
+    conName _ = "C28"
+
+  instance Constructor C1_29BigSum where
+    conName _ = "C29"
+
+  instance Constructor C1_30BigSum where
+    conName _ = "C30"
+
+  instance Constructor C1_31BigSum where
+    conName _ = "C31"
+
+  instance Constructor C1_32BigSum where
+    conName _ = "C32"
+
+  instance Constructor C1_33BigSum where
+    conName _ = "C33"
+
+  instance Constructor C1_34BigSum where
+    conName _ = "C34"
+
+  instance Constructor C1_35BigSum where
+    conName _ = "C35"
+
+  instance Constructor C1_36BigSum where
+    conName _ = "C36"
+
+  instance Constructor C1_37BigSum where
+    conName _ = "C37"
+
+  instance Constructor C1_38BigSum where
+    conName _ = "C38"
+
+  instance Constructor C1_39BigSum where
+    conName _ = "C39"
+
+  instance Constructor C1_40BigSum where
+    conName _ = "C40"
+
+  instance Constructor C1_41BigSum where
+    conName _ = "C41"
+
+  instance Constructor C1_42BigSum where
+    conName _ = "C42"
+
+  instance Constructor C1_43BigSum where
+    conName _ = "C43"
+
+  instance Constructor C1_44BigSum where
+    conName _ = "C44"
+
+  instance Constructor C1_45BigSum where
+    conName _ = "C45"
+
+  instance Constructor C1_46BigSum where
+    conName _ = "C46"
+
+  instance Constructor C1_47BigSum where
+    conName _ = "C47"
+
+  instance Constructor C1_48BigSum where
+    conName _ = "C48"
+
+  instance Constructor C1_49BigSum where
+    conName _ = "C49"
+
+  instance Constructor C1_50BigSum where
+    conName _ = "C50"
+
+  instance Constructor C1_51BigSum where
+    conName _ = "C51"
+
+  instance Constructor C1_52BigSum where
+    conName _ = "C52"
+
+  instance Constructor C1_53BigSum where
+    conName _ = "C53"
+
+  instance Constructor C1_54BigSum where
+    conName _ = "C54"
+
+  instance Constructor C1_55BigSum where
+    conName _ = "C55"
+
+  instance Constructor C1_56BigSum where
+    conName _ = "C56"
+
+  instance Constructor C1_57BigSum where
+    conName _ = "C57"
+
+  instance Constructor C1_58BigSum where
+    conName _ = "C58"
+
+  instance Constructor C1_59BigSum where
+    conName _ = "C59"
+
+  instance Constructor C1_60BigSum where
+    conName _ = "C60"
+
+  instance Constructor C1_61BigSum where
+    conName _ = "C61"
+
+  instance Constructor C1_62BigSum where
+    conName _ = "C62"
+
+  instance Constructor C1_63BigSum where
+    conName _ = "C63"
+
+  instance Constructor C1_64BigSum where
+    conName _ = "C64"
+
+  instance Constructor C1_65BigSum where
+    conName _ = "C65"
+
+  instance Constructor C1_66BigSum where
+    conName _ = "C66"
+
+  instance Constructor C1_67BigSum where
+    conName _ = "C67"
+
+  instance Constructor C1_68BigSum where
+    conName _ = "C68"
+
+  instance Constructor C1_69BigSum where
+    conName _ = "C69"
+
+  instance Constructor C1_70BigSum where
+    conName _ = "C70"
+
+  instance Constructor C1_71BigSum where
+    conName _ = "C71"
+
+  instance Constructor C1_72BigSum where
+    conName _ = "C72"
+
+  instance Constructor C1_73BigSum where
+    conName _ = "C73"
+
+  instance Constructor C1_74BigSum where
+    conName _ = "C74"
+
+  instance Constructor C1_75BigSum where
+    conName _ = "C75"
+
+  instance Constructor C1_76BigSum where
+    conName _ = "C76"
+
+  instance Constructor C1_77BigSum where
+    conName _ = "C77"
+
+  instance Constructor C1_78BigSum where
+    conName _ = "C78"
+
+  instance Constructor C1_79BigSum where
+    conName _ = "C79"
+
+  instance Constructor C1_80BigSum where
+    conName _ = "C80"
+
+  instance Constructor C1_81BigSum where
+    conName _ = "C81"
+
+  instance Constructor C1_82BigSum where
+    conName _ = "C82"
+
+  instance Constructor C1_83BigSum where
+    conName _ = "C83"
+
+  instance Constructor C1_84BigSum where
+    conName _ = "C84"
+
+  instance Constructor C1_85BigSum where
+    conName _ = "C85"
+
+  instance Constructor C1_86BigSum where
+    conName _ = "C86"
+
+  instance Constructor C1_87BigSum where
+    conName _ = "C87"
+
+  instance Constructor C1_88BigSum where
+    conName _ = "C88"
+
+  instance Constructor C1_89BigSum where
+    conName _ = "C89"
+
+  instance Constructor C1_90BigSum where
+    conName _ = "C90"
+
+  instance Constructor C1_91BigSum where
+    conName _ = "C91"
+
+  instance Constructor C1_92BigSum where
+    conName _ = "C92"
+
+  instance Constructor C1_93BigSum where
+    conName _ = "C93"
+
+  instance Constructor C1_94BigSum where
+    conName _ = "C94"
+
+  instance Constructor C1_95BigSum where
+    conName _ = "C95"
+
+  instance Constructor C1_96BigSum where
+    conName _ = "C96"
+
+  instance Constructor C1_97BigSum where
+    conName _ = "C97"
+
+  instance Constructor C1_98BigSum where
+    conName _ = "C98"
+
+  instance Constructor C1_99BigSum where
+    conName _ = "C99"
+
+  data    D1BigSum
+  data    C1_0BigSum
+  data    C1_1BigSum
+  data    C1_2BigSum
+  data    C1_3BigSum
+  data    C1_4BigSum
+  data    C1_5BigSum
+  data    C1_6BigSum
+  data    C1_7BigSum
+  data    C1_8BigSum
+  data    C1_9BigSum
+  data    C1_10BigSum
+  data    C1_11BigSum
+  data    C1_12BigSum
+  data    C1_13BigSum
+  data    C1_14BigSum
+  data    C1_15BigSum
+  data    C1_16BigSum
+  data    C1_17BigSum
+  data    C1_18BigSum
+  data    C1_19BigSum
+  data    C1_20BigSum
+  data    C1_21BigSum
+  data    C1_22BigSum
+  data    C1_23BigSum
+  data    C1_24BigSum
+  data    C1_25BigSum
+  data    C1_26BigSum
+  data    C1_27BigSum
+  data    C1_28BigSum
+  data    C1_29BigSum
+  data    C1_30BigSum
+  data    C1_31BigSum
+  data    C1_32BigSum
+  data    C1_33BigSum
+  data    C1_34BigSum
+  data    C1_35BigSum
+  data    C1_36BigSum
+  data    C1_37BigSum
+  data    C1_38BigSum
+  data    C1_39BigSum
+  data    C1_40BigSum
+  data    C1_41BigSum
+  data    C1_42BigSum
+  data    C1_43BigSum
+  data    C1_44BigSum
+  data    C1_45BigSum
+  data    C1_46BigSum
+  data    C1_47BigSum
+  data    C1_48BigSum
+  data    C1_49BigSum
+  data    C1_50BigSum
+  data    C1_51BigSum
+  data    C1_52BigSum
+  data    C1_53BigSum
+  data    C1_54BigSum
+  data    C1_55BigSum
+  data    C1_56BigSum
+  data    C1_57BigSum
+  data    C1_58BigSum
+  data    C1_59BigSum
+  data    C1_60BigSum
+  data    C1_61BigSum
+  data    C1_62BigSum
+  data    C1_63BigSum
+  data    C1_64BigSum
+  data    C1_65BigSum
+  data    C1_66BigSum
+  data    C1_67BigSum
+  data    C1_68BigSum
+  data    C1_69BigSum
+  data    C1_70BigSum
+  data    C1_71BigSum
+  data    C1_72BigSum
+  data    C1_73BigSum
+  data    C1_74BigSum
+  data    C1_75BigSum
+  data    C1_76BigSum
+  data    C1_77BigSum
+  data    C1_78BigSum
+  data    C1_79BigSum
+  data    C1_80BigSum
+  data    C1_81BigSum
+  data    C1_82BigSum
+  data    C1_83BigSum
+  data    C1_84BigSum
+  data    C1_85BigSum
+  data    C1_86BigSum
+  data    C1_87BigSum
+  data    C1_88BigSum
+  data    C1_89BigSum
+  data    C1_90BigSum
+  data    C1_91BigSum
+  data    C1_92BigSum
+  data    C1_93BigSum
+  data    C1_94BigSum
+  data    C1_95BigSum
+  data    C1_96BigSum
+  data    C1_97BigSum
+  data    C1_98BigSum
+  data    C1_99BigSum
+
+  type Rep_BigSum = D1
+                               D1BigSum
+                               ((((((C1 C1_0BigSum U1
+                                     :+: (C1
+                                                         C1_1BigSum U1
+                                                       :+: C1
+                                                                          C1_2BigSum
+                                                                          U1))
+                                    :+: (C1
+                                                        C1_3BigSum U1
+                                                      :+: (C1
+                                                                          C1_4BigSum
+                                                                          U1
+                                                                        :+: C1
+                                                                                           C1_5BigSum
+                                                                                           U1)))
+                                   :+: ((C1
+                                                        C1_6BigSum U1
+                                                      :+: (C1
+                                                                          C1_7BigSum
+                                                                          U1
+                                                                        :+: C1
+                                                                                           C1_8BigSum
+                                                                                           U1))
+                                                     :+: (C1
+                                                                         C1_9BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_10BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_11BigSum
+                                                                                                            U1))))
+                                  :+: (((C1
+                                                        C1_12BigSum U1
+                                                      :+: (C1
+                                                                          C1_13BigSum
+                                                                          U1
+                                                                        :+: C1
+                                                                                           C1_14BigSum
+                                                                                           U1))
+                                                     :+: (C1
+                                                                         C1_15BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_16BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_17BigSum
+                                                                                                            U1)))
+                                                    :+: ((C1
+                                                                         C1_18BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_19BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_20BigSum
+                                                                                                            U1))
+                                                                      :+: ((C1
+                                                                                           C1_21BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_22BigSum
+                                                                                                            U1)
+                                                                                        :+: (C1
+                                                                                                            C1_23BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_24BigSum
+                                                                                                                             U1)))))
+                                 :+: ((((C1
+                                                        C1_25BigSum U1
+                                                      :+: (C1
+                                                                          C1_26BigSum
+                                                                          U1
+                                                                        :+: C1
+                                                                                           C1_27BigSum
+                                                                                           U1))
+                                                     :+: (C1
+                                                                         C1_28BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_29BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_30BigSum
+                                                                                                            U1)))
+                                                    :+: ((C1
+                                                                         C1_31BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_32BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_33BigSum
+                                                                                                            U1))
+                                                                      :+: (C1
+                                                                                          C1_34BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_35BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_36BigSum
+                                                                                                                             U1))))
+                                                   :+: (((C1
+                                                                         C1_37BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_38BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_39BigSum
+                                                                                                            U1))
+                                                                      :+: (C1
+                                                                                          C1_40BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_41BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_42BigSum
+                                                                                                                             U1)))
+                                                                     :+: ((C1
+                                                                                          C1_43BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_44BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_45BigSum
+                                                                                                                             U1))
+                                                                                       :+: ((C1
+                                                                                                            C1_46BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_47BigSum
+                                                                                                                             U1)
+                                                                                                         :+: (C1
+                                                                                                                             C1_48BigSum
+                                                                                                                             U1
+                                                                                                                           :+: C1
+                                                                                                                                              C1_49BigSum
+                                                                                                                                              U1))))))
+                                :+: (((((C1
+                                                        C1_50BigSum U1
+                                                      :+: (C1
+                                                                          C1_51BigSum
+                                                                          U1
+                                                                        :+: C1
+                                                                                           C1_52BigSum
+                                                                                           U1))
+                                                     :+: (C1
+                                                                         C1_53BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_54BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_55BigSum
+                                                                                                            U1)))
+                                                    :+: ((C1
+                                                                         C1_56BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_57BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_58BigSum
+                                                                                                            U1))
+                                                                      :+: (C1
+                                                                                          C1_59BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_60BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_61BigSum
+                                                                                                                             U1))))
+                                                   :+: (((C1
+                                                                         C1_62BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_63BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_64BigSum
+                                                                                                            U1))
+                                                                      :+: (C1
+                                                                                          C1_65BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_66BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_67BigSum
+                                                                                                                             U1)))
+                                                                     :+: ((C1
+                                                                                          C1_68BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_69BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_70BigSum
+                                                                                                                             U1))
+                                                                                       :+: ((C1
+                                                                                                            C1_71BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_72BigSum
+                                                                                                                             U1)
+                                                                                                         :+: (C1
+                                                                                                                             C1_73BigSum
+                                                                                                                             U1
+                                                                                                                           :+: C1
+                                                                                                                                              C1_74BigSum
+                                                                                                                                              U1)))))
+                                                  :+: ((((C1
+                                                                         C1_75BigSum
+                                                                         U1
+                                                                       :+: (C1
+                                                                                           C1_76BigSum
+                                                                                           U1
+                                                                                         :+: C1
+                                                                                                            C1_77BigSum
+                                                                                                            U1))
+                                                                      :+: (C1
+                                                                                          C1_78BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_79BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_80BigSum
+                                                                                                                             U1)))
+                                                                     :+: ((C1
+                                                                                          C1_81BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_82BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_83BigSum
+                                                                                                                             U1))
+                                                                                       :+: (C1
+                                                                                                           C1_84BigSum
+                                                                                                           U1
+                                                                                                         :+: (C1
+                                                                                                                             C1_85BigSum
+                                                                                                                             U1
+                                                                                                                           :+: C1
+                                                                                                                                              C1_86BigSum
+                                                                                                                                              U1))))
+                                                                    :+: (((C1
+                                                                                          C1_87BigSum
+                                                                                          U1
+                                                                                        :+: (C1
+                                                                                                            C1_88BigSum
+                                                                                                            U1
+                                                                                                          :+: C1
+                                                                                                                             C1_89BigSum
+                                                                                                                             U1))
+                                                                                       :+: (C1
+                                                                                                           C1_90BigSum
+                                                                                                           U1
+                                                                                                         :+: (C1
+                                                                                                                             C1_91BigSum
+                                                                                                                             U1
+                                                                                                                           :+: C1
+                                                                                                                                              C1_92BigSum
+                                                                                                                                              U1)))
+                                                                                      :+: ((C1
+                                                                                                           C1_93BigSum
+                                                                                                           U1
+                                                                                                         :+: (C1
+                                                                                                                             C1_94BigSum
+                                                                                                                             U1
+                                                                                                                           :+: C1
+                                                                                                                                              C1_95BigSum
+                                                                                                                                              U1))
+                                                                                                        :+: ((C1
+                                                                                                                             C1_96BigSum
+                                                                                                                             U1
+                                                                                                                           :+: C1
+                                                                                                                                              C1_97BigSum
+                                                                                                                                              U1)
+                                                                                                                          :+: (C1
+                                                                                                                                              C1_98BigSum
+                                                                                                                                              U1
+                                                                                                                                            :+: C1
+                                                                                                                                                               C1_99BigSum
+                                                                                                                                                               U1)))))))
+
+
+
+
+
+{-
+data BigProduct = C
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    () () () () () () () () () ()
+    deriving Generic
+-}
index 19c3240..731258a 100644 (file)
@@ -232,3 +232,15 @@ test('T5321FD',
                                                       1200000000))
       ],
       compile,[''])
+
+test('T5642',
+     [ only_ways(['normal']),
+      if_wordsize(32,
+          compiler_stats_num_field('bytes allocated', 890000000,
+                                                      910000000)),
+      if_wordsize(64,
+      #                               expected value: 9019430056 (amd64/Linux):
+          compiler_stats_num_field('bytes allocated', 8900000000,
+                                                      9100000000))
+      ],
+      compile,['-O'])