summaryrefslogtreecommitdiff
path: root/testsuite/tests/perf/compiler
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/perf/compiler')
-rw-r--r--testsuite/tests/perf/compiler/Makefile9
-rw-r--r--testsuite/tests/perf/compiler/T1969.hs1210
-rw-r--r--testsuite/tests/perf/compiler/T3064.hs63
-rw-r--r--testsuite/tests/perf/compiler/T3294.hs206
-rw-r--r--testsuite/tests/perf/compiler/T4007.hs5
-rw-r--r--testsuite/tests/perf/compiler/T4007.stderr6
-rw-r--r--testsuite/tests/perf/compiler/T4801.hs13
-rw-r--r--testsuite/tests/perf/compiler/T5030.hs194
-rw-r--r--testsuite/tests/perf/compiler/all.T153
9 files changed, 1859 insertions, 0 deletions
diff --git a/testsuite/tests/perf/compiler/Makefile b/testsuite/tests/perf/compiler/Makefile
new file mode 100644
index 0000000000..7d8e96fd44
--- /dev/null
+++ b/testsuite/tests/perf/compiler/Makefile
@@ -0,0 +1,9 @@
+TOP=../../..
+include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/test.mk
+
+.PHONY: T4007
+T4007:
+ $(RM) -f T4007.hi T4007.o
+ '$(TEST_HC)' $(TEST_HC_OPTS) -c -O -ddump-rule-firings T4007.hs
+
diff --git a/testsuite/tests/perf/compiler/T1969.hs b/testsuite/tests/perf/compiler/T1969.hs
new file mode 100644
index 0000000000..05045cccba
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T1969.hs
@@ -0,0 +1,1210 @@
+
+module T1969 where
+
+class C a where
+ c :: a -> String
+ d :: a -> String
+ d x = c x
+ e :: a -> String
+ e x = c x
+
+data A1 = A1
+instance C A1 where
+ c A1 = "A1"
+
+data A2 = A2
+instance C A2 where
+ c A2 = "A2"
+
+data A3 = A3
+instance C A3 where
+ c A3 = "A3"
+
+data A4 = A4
+instance C A4 where
+ c A4 = "A4"
+
+data A5 = A5
+instance C A5 where
+ c A5 = "A5"
+
+data A6 = A6
+instance C A6 where
+ c A6 = "A6"
+
+data A7 = A7
+instance C A7 where
+ c A7 = "A7"
+
+data A8 = A8
+instance C A8 where
+ c A8 = "A8"
+
+data A9 = A9
+instance C A9 where
+ c A9 = "A9"
+
+data A10 = A10
+instance C A10 where
+ c A10 = "A10"
+
+data A11 = A11
+instance C A11 where
+ c A11 = "A11"
+
+data A12 = A12
+instance C A12 where
+ c A12 = "A12"
+
+data A13 = A13
+instance C A13 where
+ c A13 = "A13"
+
+data A14 = A14
+instance C A14 where
+ c A14 = "A14"
+
+data A15 = A15
+instance C A15 where
+ c A15 = "A15"
+
+data A16 = A16
+instance C A16 where
+ c A16 = "A16"
+
+data A17 = A17
+instance C A17 where
+ c A17 = "A17"
+
+data A18 = A18
+instance C A18 where
+ c A18 = "A18"
+
+data A19 = A19
+instance C A19 where
+ c A19 = "A19"
+
+data A20 = A20
+instance C A20 where
+ c A20 = "A20"
+
+data A21 = A21
+instance C A21 where
+ c A21 = "A21"
+
+data A22 = A22
+instance C A22 where
+ c A22 = "A22"
+
+data A23 = A23
+instance C A23 where
+ c A23 = "A23"
+
+data A24 = A24
+instance C A24 where
+ c A24 = "A24"
+
+data A25 = A25
+instance C A25 where
+ c A25 = "A25"
+
+data A26 = A26
+instance C A26 where
+ c A26 = "A26"
+
+data A27 = A27
+instance C A27 where
+ c A27 = "A27"
+
+data A28 = A28
+instance C A28 where
+ c A28 = "A28"
+
+data A29 = A29
+instance C A29 where
+ c A29 = "A29"
+
+data A30 = A30
+instance C A30 where
+ c A30 = "A30"
+
+data A31 = A31
+instance C A31 where
+ c A31 = "A31"
+
+data A32 = A32
+instance C A32 where
+ c A32 = "A32"
+
+data A33 = A33
+instance C A33 where
+ c A33 = "A33"
+
+data A34 = A34
+instance C A34 where
+ c A34 = "A34"
+
+data A35 = A35
+instance C A35 where
+ c A35 = "A35"
+
+data A36 = A36
+instance C A36 where
+ c A36 = "A36"
+
+data A37 = A37
+instance C A37 where
+ c A37 = "A37"
+
+data A38 = A38
+instance C A38 where
+ c A38 = "A38"
+
+data A39 = A39
+instance C A39 where
+ c A39 = "A39"
+
+data A40 = A40
+instance C A40 where
+ c A40 = "A40"
+
+data A41 = A41
+instance C A41 where
+ c A41 = "A41"
+
+data A42 = A42
+instance C A42 where
+ c A42 = "A42"
+
+data A43 = A43
+instance C A43 where
+ c A43 = "A43"
+
+data A44 = A44
+instance C A44 where
+ c A44 = "A44"
+
+data A45 = A45
+instance C A45 where
+ c A45 = "A45"
+
+data A46 = A46
+instance C A46 where
+ c A46 = "A46"
+
+data A47 = A47
+instance C A47 where
+ c A47 = "A47"
+
+data A48 = A48
+instance C A48 where
+ c A48 = "A48"
+
+data A49 = A49
+instance C A49 where
+ c A49 = "A49"
+
+data A50 = A50
+instance C A50 where
+ c A50 = "A50"
+
+data A51 = A51
+instance C A51 where
+ c A51 = "A51"
+
+data A52 = A52
+instance C A52 where
+ c A52 = "A52"
+
+data A53 = A53
+instance C A53 where
+ c A53 = "A53"
+
+data A54 = A54
+instance C A54 where
+ c A54 = "A54"
+
+data A55 = A55
+instance C A55 where
+ c A55 = "A55"
+
+data A56 = A56
+instance C A56 where
+ c A56 = "A56"
+
+data A57 = A57
+instance C A57 where
+ c A57 = "A57"
+
+data A58 = A58
+instance C A58 where
+ c A58 = "A58"
+
+data A59 = A59
+instance C A59 where
+ c A59 = "A59"
+
+data A60 = A60
+instance C A60 where
+ c A60 = "A60"
+
+data A61 = A61
+instance C A61 where
+ c A61 = "A61"
+
+data A62 = A62
+instance C A62 where
+ c A62 = "A62"
+
+data A63 = A63
+instance C A63 where
+ c A63 = "A63"
+
+data A64 = A64
+instance C A64 where
+ c A64 = "A64"
+
+data A65 = A65
+instance C A65 where
+ c A65 = "A65"
+
+data A66 = A66
+instance C A66 where
+ c A66 = "A66"
+
+data A67 = A67
+instance C A67 where
+ c A67 = "A67"
+
+data A68 = A68
+instance C A68 where
+ c A68 = "A68"
+
+data A69 = A69
+instance C A69 where
+ c A69 = "A69"
+
+data A70 = A70
+instance C A70 where
+ c A70 = "A70"
+
+data A71 = A71
+instance C A71 where
+ c A71 = "A71"
+
+data A72 = A72
+instance C A72 where
+ c A72 = "A72"
+
+data A73 = A73
+instance C A73 where
+ c A73 = "A73"
+
+data A74 = A74
+instance C A74 where
+ c A74 = "A74"
+
+data A75 = A75
+instance C A75 where
+ c A75 = "A75"
+
+data A76 = A76
+instance C A76 where
+ c A76 = "A76"
+
+data A77 = A77
+instance C A77 where
+ c A77 = "A77"
+
+data A78 = A78
+instance C A78 where
+ c A78 = "A78"
+
+data A79 = A79
+instance C A79 where
+ c A79 = "A79"
+
+data A80 = A80
+instance C A80 where
+ c A80 = "A80"
+
+data A81 = A81
+instance C A81 where
+ c A81 = "A81"
+
+data A82 = A82
+instance C A82 where
+ c A82 = "A82"
+
+data A83 = A83
+instance C A83 where
+ c A83 = "A83"
+
+data A84 = A84
+instance C A84 where
+ c A84 = "A84"
+
+data A85 = A85
+instance C A85 where
+ c A85 = "A85"
+
+data A86 = A86
+instance C A86 where
+ c A86 = "A86"
+
+data A87 = A87
+instance C A87 where
+ c A87 = "A87"
+
+data A88 = A88
+instance C A88 where
+ c A88 = "A88"
+
+data A89 = A89
+instance C A89 where
+ c A89 = "A89"
+
+data A90 = A90
+instance C A90 where
+ c A90 = "A90"
+
+data A91 = A91
+instance C A91 where
+ c A91 = "A91"
+
+data A92 = A92
+instance C A92 where
+ c A92 = "A92"
+
+data A93 = A93
+instance C A93 where
+ c A93 = "A93"
+
+data A94 = A94
+instance C A94 where
+ c A94 = "A94"
+
+data A95 = A95
+instance C A95 where
+ c A95 = "A95"
+
+data A96 = A96
+instance C A96 where
+ c A96 = "A96"
+
+data A97 = A97
+instance C A97 where
+ c A97 = "A97"
+
+data A98 = A98
+instance C A98 where
+ c A98 = "A98"
+
+data A99 = A99
+instance C A99 where
+ c A99 = "A99"
+
+data A100 = A100
+instance C A100 where
+ c A100 = "A100"
+
+data A101 = A101
+instance C A101 where
+ c A101 = "A101"
+
+data A102 = A102
+instance C A102 where
+ c A102 = "A102"
+
+data A103 = A103
+instance C A103 where
+ c A103 = "A103"
+
+data A104 = A104
+instance C A104 where
+ c A104 = "A104"
+
+data A105 = A105
+instance C A105 where
+ c A105 = "A105"
+
+data A106 = A106
+instance C A106 where
+ c A106 = "A106"
+
+data A107 = A107
+instance C A107 where
+ c A107 = "A107"
+
+data A108 = A108
+instance C A108 where
+ c A108 = "A108"
+
+data A109 = A109
+instance C A109 where
+ c A109 = "A109"
+
+data A110 = A110
+instance C A110 where
+ c A110 = "A110"
+
+data A111 = A111
+instance C A111 where
+ c A111 = "A111"
+
+data A112 = A112
+instance C A112 where
+ c A112 = "A112"
+
+data A113 = A113
+instance C A113 where
+ c A113 = "A113"
+
+data A114 = A114
+instance C A114 where
+ c A114 = "A114"
+
+data A115 = A115
+instance C A115 where
+ c A115 = "A115"
+
+data A116 = A116
+instance C A116 where
+ c A116 = "A116"
+
+data A117 = A117
+instance C A117 where
+ c A117 = "A117"
+
+data A118 = A118
+instance C A118 where
+ c A118 = "A118"
+
+data A119 = A119
+instance C A119 where
+ c A119 = "A119"
+
+data A120 = A120
+instance C A120 where
+ c A120 = "A120"
+
+data A121 = A121
+instance C A121 where
+ c A121 = "A121"
+
+data A122 = A122
+instance C A122 where
+ c A122 = "A122"
+
+data A123 = A123
+instance C A123 where
+ c A123 = "A123"
+
+data A124 = A124
+instance C A124 where
+ c A124 = "A124"
+
+data A125 = A125
+instance C A125 where
+ c A125 = "A125"
+
+data A126 = A126
+instance C A126 where
+ c A126 = "A126"
+
+data A127 = A127
+instance C A127 where
+ c A127 = "A127"
+
+data A128 = A128
+instance C A128 where
+ c A128 = "A128"
+
+data A129 = A129
+instance C A129 where
+ c A129 = "A129"
+
+data A130 = A130
+instance C A130 where
+ c A130 = "A130"
+
+data A131 = A131
+instance C A131 where
+ c A131 = "A131"
+
+data A132 = A132
+instance C A132 where
+ c A132 = "A132"
+
+data A133 = A133
+instance C A133 where
+ c A133 = "A133"
+
+data A134 = A134
+instance C A134 where
+ c A134 = "A134"
+
+data A135 = A135
+instance C A135 where
+ c A135 = "A135"
+
+data A136 = A136
+instance C A136 where
+ c A136 = "A136"
+
+data A137 = A137
+instance C A137 where
+ c A137 = "A137"
+
+data A138 = A138
+instance C A138 where
+ c A138 = "A138"
+
+data A139 = A139
+instance C A139 where
+ c A139 = "A139"
+
+data A140 = A140
+instance C A140 where
+ c A140 = "A140"
+
+data A141 = A141
+instance C A141 where
+ c A141 = "A141"
+
+data A142 = A142
+instance C A142 where
+ c A142 = "A142"
+
+data A143 = A143
+instance C A143 where
+ c A143 = "A143"
+
+data A144 = A144
+instance C A144 where
+ c A144 = "A144"
+
+data A145 = A145
+instance C A145 where
+ c A145 = "A145"
+
+data A146 = A146
+instance C A146 where
+ c A146 = "A146"
+
+data A147 = A147
+instance C A147 where
+ c A147 = "A147"
+
+data A148 = A148
+instance C A148 where
+ c A148 = "A148"
+
+data A149 = A149
+instance C A149 where
+ c A149 = "A149"
+
+data A150 = A150
+instance C A150 where
+ c A150 = "A150"
+
+data A151 = A151
+instance C A151 where
+ c A151 = "A151"
+
+data A152 = A152
+instance C A152 where
+ c A152 = "A152"
+
+data A153 = A153
+instance C A153 where
+ c A153 = "A153"
+
+data A154 = A154
+instance C A154 where
+ c A154 = "A154"
+
+data A155 = A155
+instance C A155 where
+ c A155 = "A155"
+
+data A156 = A156
+instance C A156 where
+ c A156 = "A156"
+
+data A157 = A157
+instance C A157 where
+ c A157 = "A157"
+
+data A158 = A158
+instance C A158 where
+ c A158 = "A158"
+
+data A159 = A159
+instance C A159 where
+ c A159 = "A159"
+
+data A160 = A160
+instance C A160 where
+ c A160 = "A160"
+
+data A161 = A161
+instance C A161 where
+ c A161 = "A161"
+
+data A162 = A162
+instance C A162 where
+ c A162 = "A162"
+
+data A163 = A163
+instance C A163 where
+ c A163 = "A163"
+
+data A164 = A164
+instance C A164 where
+ c A164 = "A164"
+
+data A165 = A165
+instance C A165 where
+ c A165 = "A165"
+
+data A166 = A166
+instance C A166 where
+ c A166 = "A166"
+
+data A167 = A167
+instance C A167 where
+ c A167 = "A167"
+
+data A168 = A168
+instance C A168 where
+ c A168 = "A168"
+
+data A169 = A169
+instance C A169 where
+ c A169 = "A169"
+
+data A170 = A170
+instance C A170 where
+ c A170 = "A170"
+
+data A171 = A171
+instance C A171 where
+ c A171 = "A171"
+
+data A172 = A172
+instance C A172 where
+ c A172 = "A172"
+
+data A173 = A173
+instance C A173 where
+ c A173 = "A173"
+
+data A174 = A174
+instance C A174 where
+ c A174 = "A174"
+
+data A175 = A175
+instance C A175 where
+ c A175 = "A175"
+
+data A176 = A176
+instance C A176 where
+ c A176 = "A176"
+
+data A177 = A177
+instance C A177 where
+ c A177 = "A177"
+
+data A178 = A178
+instance C A178 where
+ c A178 = "A178"
+
+data A179 = A179
+instance C A179 where
+ c A179 = "A179"
+
+data A180 = A180
+instance C A180 where
+ c A180 = "A180"
+
+data A181 = A181
+instance C A181 where
+ c A181 = "A181"
+
+data A182 = A182
+instance C A182 where
+ c A182 = "A182"
+
+data A183 = A183
+instance C A183 where
+ c A183 = "A183"
+
+data A184 = A184
+instance C A184 where
+ c A184 = "A184"
+
+data A185 = A185
+instance C A185 where
+ c A185 = "A185"
+
+data A186 = A186
+instance C A186 where
+ c A186 = "A186"
+
+data A187 = A187
+instance C A187 where
+ c A187 = "A187"
+
+data A188 = A188
+instance C A188 where
+ c A188 = "A188"
+
+data A189 = A189
+instance C A189 where
+ c A189 = "A189"
+
+data A190 = A190
+instance C A190 where
+ c A190 = "A190"
+
+data A191 = A191
+instance C A191 where
+ c A191 = "A191"
+
+data A192 = A192
+instance C A192 where
+ c A192 = "A192"
+
+data A193 = A193
+instance C A193 where
+ c A193 = "A193"
+
+data A194 = A194
+instance C A194 where
+ c A194 = "A194"
+
+data A195 = A195
+instance C A195 where
+ c A195 = "A195"
+
+data A196 = A196
+instance C A196 where
+ c A196 = "A196"
+
+data A197 = A197
+instance C A197 where
+ c A197 = "A197"
+
+data A198 = A198
+instance C A198 where
+ c A198 = "A198"
+
+data A199 = A199
+instance C A199 where
+ c A199 = "A199"
+
+data A200 = A200
+instance C A200 where
+ c A200 = "A200"
+
+data A201 = A201
+instance C A201 where
+ c A201 = "A201"
+
+data A202 = A202
+instance C A202 where
+ c A202 = "A202"
+
+data A203 = A203
+instance C A203 where
+ c A203 = "A203"
+
+data A204 = A204
+instance C A204 where
+ c A204 = "A204"
+
+data A205 = A205
+instance C A205 where
+ c A205 = "A205"
+
+data A206 = A206
+instance C A206 where
+ c A206 = "A206"
+
+data A207 = A207
+instance C A207 where
+ c A207 = "A207"
+
+data A208 = A208
+instance C A208 where
+ c A208 = "A208"
+
+data A209 = A209
+instance C A209 where
+ c A209 = "A209"
+
+data A210 = A210
+instance C A210 where
+ c A210 = "A210"
+
+data A211 = A211
+instance C A211 where
+ c A211 = "A211"
+
+data A212 = A212
+instance C A212 where
+ c A212 = "A212"
+
+data A213 = A213
+instance C A213 where
+ c A213 = "A213"
+
+data A214 = A214
+instance C A214 where
+ c A214 = "A214"
+
+data A215 = A215
+instance C A215 where
+ c A215 = "A215"
+
+data A216 = A216
+instance C A216 where
+ c A216 = "A216"
+
+data A217 = A217
+instance C A217 where
+ c A217 = "A217"
+
+data A218 = A218
+instance C A218 where
+ c A218 = "A218"
+
+data A219 = A219
+instance C A219 where
+ c A219 = "A219"
+
+data A220 = A220
+instance C A220 where
+ c A220 = "A220"
+
+data A221 = A221
+instance C A221 where
+ c A221 = "A221"
+
+data A222 = A222
+instance C A222 where
+ c A222 = "A222"
+
+data A223 = A223
+instance C A223 where
+ c A223 = "A223"
+
+data A224 = A224
+instance C A224 where
+ c A224 = "A224"
+
+data A225 = A225
+instance C A225 where
+ c A225 = "A225"
+
+data A226 = A226
+instance C A226 where
+ c A226 = "A226"
+
+data A227 = A227
+instance C A227 where
+ c A227 = "A227"
+
+data A228 = A228
+instance C A228 where
+ c A228 = "A228"
+
+data A229 = A229
+instance C A229 where
+ c A229 = "A229"
+
+data A230 = A230
+instance C A230 where
+ c A230 = "A230"
+
+data A231 = A231
+instance C A231 where
+ c A231 = "A231"
+
+data A232 = A232
+instance C A232 where
+ c A232 = "A232"
+
+data A233 = A233
+instance C A233 where
+ c A233 = "A233"
+
+data A234 = A234
+instance C A234 where
+ c A234 = "A234"
+
+data A235 = A235
+instance C A235 where
+ c A235 = "A235"
+
+data A236 = A236
+instance C A236 where
+ c A236 = "A236"
+
+data A237 = A237
+instance C A237 where
+ c A237 = "A237"
+
+data A238 = A238
+instance C A238 where
+ c A238 = "A238"
+
+data A239 = A239
+instance C A239 where
+ c A239 = "A239"
+
+data A240 = A240
+instance C A240 where
+ c A240 = "A240"
+
+data A241 = A241
+instance C A241 where
+ c A241 = "A241"
+
+data A242 = A242
+instance C A242 where
+ c A242 = "A242"
+
+data A243 = A243
+instance C A243 where
+ c A243 = "A243"
+
+data A244 = A244
+instance C A244 where
+ c A244 = "A244"
+
+data A245 = A245
+instance C A245 where
+ c A245 = "A245"
+
+data A246 = A246
+instance C A246 where
+ c A246 = "A246"
+
+data A247 = A247
+instance C A247 where
+ c A247 = "A247"
+
+data A248 = A248
+instance C A248 where
+ c A248 = "A248"
+
+data A249 = A249
+instance C A249 where
+ c A249 = "A249"
+
+data A250 = A250
+instance C A250 where
+ c A250 = "A250"
+
+data A251 = A251
+instance C A251 where
+ c A251 = "A251"
+
+data A252 = A252
+instance C A252 where
+ c A252 = "A252"
+
+data A253 = A253
+instance C A253 where
+ c A253 = "A253"
+
+data A254 = A254
+instance C A254 where
+ c A254 = "A254"
+
+data A255 = A255
+instance C A255 where
+ c A255 = "A255"
+
+data A256 = A256
+instance C A256 where
+ c A256 = "A256"
+
+data A257 = A257
+instance C A257 where
+ c A257 = "A257"
+
+data A258 = A258
+instance C A258 where
+ c A258 = "A258"
+
+data A259 = A259
+instance C A259 where
+ c A259 = "A259"
+
+data A260 = A260
+instance C A260 where
+ c A260 = "A260"
+
+data A261 = A261
+instance C A261 where
+ c A261 = "A261"
+
+data A262 = A262
+instance C A262 where
+ c A262 = "A262"
+
+data A263 = A263
+instance C A263 where
+ c A263 = "A263"
+
+data A264 = A264
+instance C A264 where
+ c A264 = "A264"
+
+data A265 = A265
+instance C A265 where
+ c A265 = "A265"
+
+data A266 = A266
+instance C A266 where
+ c A266 = "A266"
+
+data A267 = A267
+instance C A267 where
+ c A267 = "A267"
+
+data A268 = A268
+instance C A268 where
+ c A268 = "A268"
+
+data A269 = A269
+instance C A269 where
+ c A269 = "A269"
+
+data A270 = A270
+instance C A270 where
+ c A270 = "A270"
+
+data A271 = A271
+instance C A271 where
+ c A271 = "A271"
+
+data A272 = A272
+instance C A272 where
+ c A272 = "A272"
+
+data A273 = A273
+instance C A273 where
+ c A273 = "A273"
+
+data A274 = A274
+instance C A274 where
+ c A274 = "A274"
+
+data A275 = A275
+instance C A275 where
+ c A275 = "A275"
+
+data A276 = A276
+instance C A276 where
+ c A276 = "A276"
+
+data A277 = A277
+instance C A277 where
+ c A277 = "A277"
+
+data A278 = A278
+instance C A278 where
+ c A278 = "A278"
+
+data A279 = A279
+instance C A279 where
+ c A279 = "A279"
+
+data A280 = A280
+instance C A280 where
+ c A280 = "A280"
+
+data A281 = A281
+instance C A281 where
+ c A281 = "A281"
+
+data A282 = A282
+instance C A282 where
+ c A282 = "A282"
+
+data A283 = A283
+instance C A283 where
+ c A283 = "A283"
+
+data A284 = A284
+instance C A284 where
+ c A284 = "A284"
+
+data A285 = A285
+instance C A285 where
+ c A285 = "A285"
+
+data A286 = A286
+instance C A286 where
+ c A286 = "A286"
+
+data A287 = A287
+instance C A287 where
+ c A287 = "A287"
+
+data A288 = A288
+instance C A288 where
+ c A288 = "A288"
+
+data A289 = A289
+instance C A289 where
+ c A289 = "A289"
+
+data A290 = A290
+instance C A290 where
+ c A290 = "A290"
+
+data A291 = A291
+instance C A291 where
+ c A291 = "A291"
+
+data A292 = A292
+instance C A292 where
+ c A292 = "A292"
+
+data A293 = A293
+instance C A293 where
+ c A293 = "A293"
+
+data A294 = A294
+instance C A294 where
+ c A294 = "A294"
+
+data A295 = A295
+instance C A295 where
+ c A295 = "A295"
+
+data A296 = A296
+instance C A296 where
+ c A296 = "A296"
+
+data A297 = A297
+instance C A297 where
+ c A297 = "A297"
+
+data A298 = A298
+instance C A298 where
+ c A298 = "A298"
+
+data A299 = A299
+instance C A299 where
+ c A299 = "A299"
+
+data A300 = A300
+instance C A300 where
+ c A300 = "A300"
+
diff --git a/testsuite/tests/perf/compiler/T3064.hs b/testsuite/tests/perf/compiler/T3064.hs
new file mode 100644
index 0000000000..328da45976
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T3064.hs
@@ -0,0 +1,63 @@
+{-# LANGUAGE Rank2Types, TypeSynonymInstances, FlexibleInstances #-}
+{-# LANGUAGE TypeFamilies, GeneralizedNewtypeDeriving #-}
+module Bug2 where
+
+newtype ReaderT r m a = ReaderT { runReaderT :: r -> m a }
+
+instance (Monad m) => Monad (ReaderT r m) where
+ return a = ReaderT $ \_ -> return a
+ m >>= k = ReaderT $ \r -> do
+ a <- runReaderT m r
+ runReaderT (k a) r
+ fail msg = ReaderT $ \_ -> fail msg
+
+newtype ResourceT r s m v = ResourceT { unResourceT :: ReaderT r m v }
+ deriving (Monad)
+
+data Ctx = Ctx
+
+data Ch = Ch
+
+type CAT s c = ResourceT [Ch] (s,c)
+
+type CtxM c = ResourceT Ctx c IO
+
+newtype CA s c v = CA { unCA :: CAT s c (CtxM c) v }
+ deriving (Monad)
+
+class (Monad m) => MonadCA m where
+ type CtxLabel m
+
+instance MonadCA (CA s c) where
+ type CtxLabel (CA s c) = c
+
+instance (Monad m, MonadCA m, c ~ CtxLabel m) => MonadCA (CAT s c m) where
+ type CtxLabel (CAT s c m) = c
+
+runCAT :: (forall s. CAT s c m v) -> m v
+runCAT action = runReaderT (unResourceT action) []
+
+newRgn :: MonadCA m => (forall s. CAT s (CtxLabel m) m v) -> m v
+newRgn = runCAT
+
+runCA :: (forall s c. CA s c v) -> IO v
+runCA action = runCtxM (runCAT (unCA action))
+
+runCtxM :: (forall c. CtxM c v) -> IO v
+runCtxM action = runReaderT (unResourceT action) Ctx
+
+-- test11 :: IO ()
+-- test11 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(
+-- newRgn(newRgn(newRgn(newRgn(return()))))))))))
+
+-- test12 :: IO ()
+-- test12 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(
+-- newRgn(newRgn(newRgn(newRgn(return())))))))))))
+
+-- test13 :: IO ()
+-- test13 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(
+-- newRgn(newRgn(newRgn(newRgn(return()))))))))))))
+
+test14 :: IO ()
+test14 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(
+ newRgn(newRgn(newRgn(newRgn(return())))))))))))))
diff --git a/testsuite/tests/perf/compiler/T3294.hs b/testsuite/tests/perf/compiler/T3294.hs
new file mode 100644
index 0000000000..25e4a2beba
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T3294.hs
@@ -0,0 +1,206 @@
+module Main where
+
+data X = X
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ {-# UNPACK #-} !Double
+ deriving (Show)
+
+main = print $ X 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
diff --git a/testsuite/tests/perf/compiler/T4007.hs b/testsuite/tests/perf/compiler/T4007.hs
new file mode 100644
index 0000000000..71a37841ed
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T4007.hs
@@ -0,0 +1,5 @@
+
+module T4007 where
+
+f :: IO ()
+f = sequence_ (replicate 10 (putStrLn "yes"))
diff --git a/testsuite/tests/perf/compiler/T4007.stderr b/testsuite/tests/perf/compiler/T4007.stderr
new file mode 100644
index 0000000000..9b825fd518
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T4007.stderr
@@ -0,0 +1,6 @@
+Rule fired: unpack
+Rule fired: Class op >>
+Rule fired: Class op return
+Rule fired: <=#
+Rule fired: fold/build
+Rule fired: unpack-list
diff --git a/testsuite/tests/perf/compiler/T4801.hs b/testsuite/tests/perf/compiler/T4801.hs
new file mode 100644
index 0000000000..8bc02b2c77
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T4801.hs
@@ -0,0 +1,13 @@
+-- main = print $ length [([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0)]
+
+-- 1.6G alloc
+-- main = print $ length [([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0)]
+
+-- 6G alloc
+-- main = print $ length [([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0)]
+
+-- 23G alloc
+main = print $ length [([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0),([0,0,0],0)]
+
+
+
diff --git a/testsuite/tests/perf/compiler/T5030.hs b/testsuite/tests/perf/compiler/T5030.hs
new file mode 100644
index 0000000000..b65e9cdd3c
--- /dev/null
+++ b/testsuite/tests/perf/compiler/T5030.hs
@@ -0,0 +1,194 @@
+{-# LANGUAGE TypeFamilies, GADTs, EmptyDataDecls, FlexibleContexts #-}
+{-# LANGUAGE UndecidableInstances #-}
+
+module SlowComp where
+
+import Control.Monad
+
+-------------------------------------------------------------------------------
+-- Usual Peano integers.
+
+
+class NatInt a where
+ natInt :: a -> Int
+
+data D0 n = D0 {d0Arg :: n}
+data D1 n = D1 {d1Arg :: n}
+
+data C0
+data C1
+
+class DPosInt n where posInt :: n -> (Int,Int)
+instance DPosInt () where posInt _ = (0,1)
+instance DPosInt n => DPosInt (D0 n) where
+ posInt a = (dsum,w*2)
+ where
+ (dsum,w) = posInt $ d0Arg a
+instance DPosInt n => DPosInt (D1 n) where
+ posInt a = (dsum+w,w*2)
+ where
+ (dsum,w) = posInt $ d1Arg a
+
+instance NatInt () where natInt _ = 0
+instance DPosInt n => NatInt (D0 n) where natInt a = fst $ posInt a
+instance DPosInt n => NatInt (D1 n) where natInt a = fst $ posInt a
+
+type family DRev a
+type instance DRev a = DRev' a ()
+
+type family DRev' x acc
+type instance DRev' () acc = acc
+type instance DRev' (D0 a) acc = DRev' a (D0 acc)
+type instance DRev' (D1 a) acc = DRev' a (D1 acc)
+
+type family DAddC c a b
+type instance DAddC C0 (D0 a) (D0 b) = D0 (DAddC C0 a b)
+type instance DAddC C0 (D1 a) (D0 b) = D1 (DAddC C0 a b)
+type instance DAddC C0 (D0 a) (D1 b) = D1 (DAddC C0 a b)
+type instance DAddC C0 (D1 a) (D1 b) = D0 (DAddC C1 a b)
+type instance DAddC C1 (D0 a) (D0 b) = D1 (DAddC C0 a b)
+type instance DAddC C1 (D1 a) (D0 b) = D0 (DAddC C1 a b)
+type instance DAddC C1 (D0 a) (D1 b) = D0 (DAddC C1 a b)
+type instance DAddC C1 (D1 a) (D1 b) = D1 (DAddC C1 a b)
+type instance DAddC C0 () () = ()
+type instance DAddC C1 () () = D1 ()
+type instance DAddC c (D0 a) () = DAddC c (D0 a) (D0 ())
+type instance DAddC c (D1 a) () = DAddC c (D1 a) (D0 ())
+type instance DAddC c () (D0 b) = DAddC c (D0 b) (D0 ())
+type instance DAddC c () (D1 b) = DAddC c (D1 b) (D0 ())
+
+type family DNorm a
+type instance DNorm () = D0 ()
+type instance DNorm (D0 ()) = D0 ()
+type instance DNorm (D0 (D1 a)) = D1 a
+type instance DNorm (D0 (D0 a)) = DNorm a
+type instance DNorm (D1 a) = D1 a
+
+type family DPlus a b
+type instance DPlus a b = DNorm (DRev (DAddC C0 (DRev a) (DRev b)))
+
+type family DDepth a
+type instance DDepth () = D0 ()
+type instance DDepth (D0 ()) = D0 ()
+type instance DDepth (D1 ()) = D1 ()
+type instance DDepth (D1 (D0 n)) = DPlus ONE (DDepth (D1 n))
+type instance DDepth (D1 (D1 n)) = DPlus ONE (DDepth (D1 n))
+
+type family DLog2 a
+type instance DLog2 a = DDepth a
+
+type ZERO = D0 ()
+
+type ONE = D1 ()
+type TWO = DPlus ONE ONE
+type THREE = DPlus ONE TWO
+type FOUR = DPlus TWO TWO
+type FIVE = DPlus ONE FOUR
+type SIX = DPlus TWO FOUR
+type SEVEN = DPlus ONE SIX
+type EIGHT = DPlus FOUR FOUR
+type NINE = DPlus FOUR FIVE
+type TEN = DPlus EIGHT TWO
+type SIZE8 = EIGHT
+type SIZE9 = NINE
+type SIZE10 = TEN
+type SIZE12 = DPlus SIX SIX
+type SIZE15 = DPlus EIGHT SEVEN
+type SIZE16 = DPlus EIGHT EIGHT
+type SIZE17 = DPlus ONE SIZE16
+type SIZE24 = DPlus SIZE8 SIZE16
+type SIZE32 = DPlus SIZE8 SIZE24
+type SIZE30 = DPlus SIZE24 SIX
+
+-------------------------------------------------------------------------------
+-- Description of CPU.
+
+class CPU cpu where
+ -- register address.
+ type RegAddrSize cpu
+ -- register width
+ type RegDataSize cpu
+ -- immediate width.
+ type ImmSize cpu
+ -- variables in CPU - register indices, command format variables, etc.
+ type CPUVars cpu :: * -> *
+
+data Const size = Const Integer
+
+data Var cpu size where
+ Temp :: Int -> Var cpu size
+ Var :: CPUVars cpu size -> Var cpu size
+
+-------------------------------------------------------------------------------
+-- Command description monad.
+
+data Command cpu where
+ Command :: (Var cpu size) -> (Operation cpu size) -> Command cpu
+
+type RegVar cpu = Var cpu (RegDataSize cpu)
+type Immediate cpu = Const (ImmSize cpu)
+
+data Operation cpu resultSize where
+ Add :: RegVar cpu -> Either (Immediate cpu) (RegVar cpu) -> Operation cpu (RegDataSize cpu)
+ Sub :: RegVar cpu -> Either (Immediate cpu) (RegVar cpu) -> Operation cpu (RegDataSize cpu)
+
+type CDM cpu a = IO a
+
+($=) :: CPU cpu => Var cpu size -> Operation cpu size -> CDM cpu ()
+var $= op = undefined
+
+tempVar :: CPU cpu => CDM cpu (Var cpu size)
+tempVar = do
+ cnt <- liftM fst undefined
+ return $ Temp cnt
+
+op :: CPU cpu => Operation cpu size -> CDM cpu (Var cpu size)
+op operation = do
+ v <- tempVar
+ v $= operation
+ return v
+
+-------------------------------------------------------------------------------
+-- Dummy CPU.
+
+data DummyCPU = DummyCPU
+
+data DummyVar size where
+ DummyFlag :: Flag -> DummyVar ONE
+ DummyReg :: Int -> DummyVar SIZE16
+ DummyZero :: DummyVar SIZE16
+
+data Flag = C | Z | N | V
+
+instance CPU DummyCPU where
+ type RegAddrSize DummyCPU = FIVE
+ type RegDataSize DummyCPU = SIZE16
+ type ImmSize DummyCPU = SIZE12
+ type CPUVars DummyCPU = DummyVar
+
+-------------------------------------------------------------------------------
+-- Long compiling program.
+
+cnst :: Integer -> Either (Immediate DummyCPU) (RegVar DummyCPU)
+cnst x = Left (Const x)
+
+longCompilingProgram :: CDM DummyCPU ()
+longCompilingProgram = do
+-- the number of lines below greatly affects compilation time.
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ x10 <- op $ Add (Var DummyZero) (cnst 10)
+ return ()
diff --git a/testsuite/tests/perf/compiler/all.T b/testsuite/tests/perf/compiler/all.T
new file mode 100644
index 0000000000..b009d276c8
--- /dev/null
+++ b/testsuite/tests/perf/compiler/all.T
@@ -0,0 +1,153 @@
+test('T1969',
+ [if_wordsize(32,
+ compiler_stats_num_field('peak_megabytes_allocated', 13,
+ 19)),
+ # expected value: 14 (x86/Windows 17/05/10)
+ # 15 (x86/OS X)
+ # 19 (x86/OS X)
+ if_wordsize(64,
+ compiler_stats_num_field('peak_megabytes_allocated', 24,
+ 32)),
+ # expected value: 28 (amd64/Linux)
+ # expected value: 32 (amd64/Linux)
+ if_wordsize(32,
+ compiler_stats_num_field('max_bytes_used', 5000000,
+ 7000000)),
+ # expected value: 6707308 (x86/OS X)
+ # 5717704 (x86/Windows 17/05/10)
+ # 6149572 (x86/Linux, 31/12/09)
+ if_wordsize(64,
+ compiler_stats_num_field('max_bytes_used', 9000000,
+ 13000000)),
+ # expected value: 11404664 (amd64/Linux)
+ if_wordsize(32,
+ compiler_stats_num_field('bytes allocated', 210000000,
+ 270000000)),
+ # expected value: 215582916 (x86/Windows)
+ # 221667908 (x86/OS X)
+ if_wordsize(64,
+ compiler_stats_num_field('bytes allocated', 420000000,
+ 550000000)),
+ # 17/11/2009: 434,845,560 (amd64/Linux)
+ # 08/12/2009: 459,776,680 (amd64/Linux)
+ # 17/05/2010: 519,377,728 (amd64/Linux)
+ only_ways(['normal'])
+ ],
+ compile,
+ [''])
+
+# This one tests for the space leak in the native code generator,
+# where it holds onto the entire asm output until the end. The space
+# leak reappears from time to time, so it's a good idea to have a test
+# for it. The residency of this test will jump by 10MB to 40MB or so
+# on x86-64 if the space leak appears.
+
+# Only run this one if we have an NCG:
+if 'optasm' in config.compile_ways:
+ conf_3294 = only_ways(['normal'])
+else:
+ conf_3294 = skip
+
+test('T3294',
+ [if_wordsize(32,
+ compiler_stats_num_field('max_bytes_used', 12000000,
+ 17000000)),
+ # expected value: 13049060 (x86/Linux)
+ if_wordsize(64,
+ compiler_stats_num_field('max_bytes_used', 27000000,
+ 34000000)),
+ # expected value: 32 478 408 (amd64/Linux)
+ # (but varies a lot, depending on when
+ # we GC relative to the peak).
+ if_wordsize(32,
+ compiler_stats_num_field('bytes allocated', 650000000,
+ 750000000)),
+ # expected value: 815479800 (x86/Linux)
+ if_wordsize(64,
+ compiler_stats_num_field('bytes allocated', 1200000000,
+ 1500000000)),
+ # expected value: 1357587088 (amd64/Linux)
+ conf_3294
+ ],
+ compile,
+ [''])
+
+test('T4801',
+ [ # expect_broken(5224),
+ # temporarily unbroken (#5227)
+ # expected value: 11 (x86/OSX):
+ if_wordsize(32,
+ compiler_stats_num_field('peak_megabytes_allocated', 30, 40)),
+ # expected value: 66 (amd64/Linux):
+ if_wordsize(64,
+ compiler_stats_num_field('peak_megabytes_allocated', 55, 70)),
+ # expected value: 353463196 (x86/Windows)
+ if_wordsize(32,
+ compiler_stats_num_field('bytes allocated', 330000000,
+ 370000000)),
+ # expected value: 145038576 (amd64/Linux):
+ if_wordsize(64,
+ compiler_stats_num_field('bytes allocated', 600000000,
+ 750000000)),
+ # expected value: 14181360 (x86/Linux)
+ if_wordsize(32,
+ compiler_stats_num_field('max_bytes_used', 11000000,
+ 14000000)),
+ # expected value: 7001696 (amd64/Linux, bindist)
+ # expected value: 7189848 (amd64/Linux, intree):
+ if_wordsize(64,
+ compiler_stats_num_field('max_bytes_used', 20000000,
+ 30000000)),
+ only_ways(['normal'])
+ ],
+ compile,
+ [''])
+
+test('T3064',
+ [
+ # expected value: 9 (x86/Linux 30-03-2011):
+ if_wordsize(32,
+ compiler_stats_num_field('peak_megabytes_allocated', 8, 11)),
+ # expected value: 18 (amd64/Linux):
+ if_wordsize(64,
+ compiler_stats_num_field('peak_megabytes_allocated', 11, 16)),
+ # expected value: 56380288 (x86/Linux) (28/6/2011)
+ if_wordsize(32,
+ compiler_stats_num_field('bytes allocated', 50000000,
+ 60000000)),
+ # expected value: 108937496 (amd64/Linux) (28/6/2011):
+ if_wordsize(64,
+ compiler_stats_num_field('bytes allocated', 100000000,
+ 120000000)),
+ # expected value: 2247016 (x86/Linux) (28/6/2011):
+ if_wordsize(32,
+ compiler_stats_num_field('max_bytes_used', 2000000,
+ 3000000)),
+ # expected value: 4032024 (amd64/Linux, intree) (28/6/2011):
+ if_wordsize(64,
+ compiler_stats_num_field('max_bytes_used', 3000000,
+ 5000000)),
+ only_ways(['normal'])
+ ],
+ compile,
+ [''])
+
+test('T4007',
+ normal,
+ run_command,
+ ['$MAKE -s --no-print-directory T4007'])
+
+test('T5030',
+ [# expected value: 629864032 (x86/Darwin)
+ if_wordsize(32,
+ compiler_stats_num_field('bytes allocated', 600000000,
+ 650000000)),
+ # expected value: 1255998208 (amd64/Linux):
+ if_wordsize(64,
+ compiler_stats_num_field('bytes allocated', 1200000000,
+ 1300000000)),
+ only_ways(['normal'])
+ ],
+ compile,
+ ['-fcontext-stack=300'])
+
View Lorry Controller Status