debian/patches/riscv64-regression.patch

   1 --- /dev/null
   2 +++ b/regression/mlton.share.riscv64-linux.ok
   3 @@ -0,0 +1,718 @@
   4 +size of a is 2408
   5 +0 => NONE
   6 +1 => (1, 1)
   7 +2 => (0, 2)
   8 +3 => (1, 0)
   9 +4 => (0, 1)
  10 +5 => (1, 2)
  11 +6 => (0, 0)
  12 +7 => (1, 1)
  13 +8 => (0, 2)
  14 +9 => (1, 0)
  15 +10 => (0, 1)
  16 +11 => (1, 2)
  17 +12 => (0, 0)
  18 +13 => (1, 1)
  19 +14 => (0, 2)
  20 +15 => (1, 0)
  21 +16 => (0, 1)
  22 +17 => (1, 2)
  23 +18 => (0, 0)
  24 +19 => (1, 1)
  25 +20 => (0, 2)
  26 +21 => (1, 0)
  27 +22 => (0, 1)
  28 +23 => (1, 2)
  29 +24 => (0, 0)
  30 +25 => (1, 1)
  31 +26 => (0, 2)
  32 +27 => (1, 0)
  33 +28 => (0, 1)
  34 +29 => (1, 2)
  35 +30 => (0, 0)
  36 +31 => (1, 1)
  37 +32 => (0, 2)
  38 +33 => (1, 0)
  39 +34 => (0, 1)
  40 +35 => (1, 2)
  41 +36 => (0, 0)
  42 +37 => (1, 1)
  43 +38 => (0, 2)
  44 +39 => (1, 0)
  45 +40 => (0, 1)
  46 +41 => (1, 2)
  47 +42 => (0, 0)
  48 +43 => (1, 1)
  49 +44 => (0, 2)
  50 +45 => (1, 0)
  51 +46 => (0, 1)
  52 +47 => (1, 2)
  53 +48 => (0, 0)
  54 +49 => (1, 1)
  55 +50 => (0, 2)
  56 +51 => (1, 0)
  57 +52 => (0, 1)
  58 +53 => (1, 2)
  59 +54 => (0, 0)
  60 +55 => (1, 1)
  61 +56 => (0, 2)
  62 +57 => (1, 0)
  63 +58 => (0, 1)
  64 +59 => (1, 2)
  65 +60 => (0, 0)
  66 +61 => (1, 1)
  67 +62 => (0, 2)
  68 +63 => (1, 0)
  69 +64 => (0, 1)
  70 +65 => (1, 2)
  71 +66 => (0, 0)
  72 +67 => (1, 1)
  73 +68 => (0, 2)
  74 +69 => (1, 0)
  75 +70 => (0, 1)
  76 +71 => (1, 2)
  77 +72 => (0, 0)
  78 +73 => (1, 1)
  79 +74 => (0, 2)
  80 +75 => (1, 0)
  81 +76 => (0, 1)
  82 +77 => (1, 2)
  83 +78 => (0, 0)
  84 +79 => (1, 1)
  85 +80 => (0, 2)
  86 +81 => (1, 0)
  87 +82 => (0, 1)
  88 +83 => (1, 2)
  89 +84 => (0, 0)
  90 +85 => (1, 1)
  91 +86 => (0, 2)
  92 +87 => (1, 0)
  93 +88 => (0, 1)
  94 +89 => (1, 2)
  95 +90 => (0, 0)
  96 +91 => (1, 1)
  97 +92 => (0, 2)
  98 +93 => (1, 0)
  99 +94 => (0, 1)
 100 +95 => (1, 2)
 101 +96 => (0, 0)
 102 +97 => (1, 1)
 103 +98 => (0, 2)
 104 +99 => (1, 0)
 105 +size of a is 920
 106 +0 => NONE
 107 +1 => (1, 1)
 108 +2 => (0, 2)
 109 +3 => (1, 0)
 110 +4 => (0, 1)
 111 +5 => (1, 2)
 112 +6 => (0, 0)
 113 +7 => (1, 1)
 114 +8 => (0, 2)
 115 +9 => (1, 0)
 116 +10 => (0, 1)
 117 +11 => (1, 2)
 118 +12 => (0, 0)
 119 +13 => (1, 1)
 120 +14 => (0, 2)
 121 +15 => (1, 0)
 122 +16 => (0, 1)
 123 +17 => (1, 2)
 124 +18 => (0, 0)
 125 +19 => (1, 1)
 126 +20 => (0, 2)
 127 +21 => (1, 0)
 128 +22 => (0, 1)
 129 +23 => (1, 2)
 130 +24 => (0, 0)
 131 +25 => (1, 1)
 132 +26 => (0, 2)
 133 +27 => (1, 0)
 134 +28 => (0, 1)
 135 +29 => (1, 2)
 136 +30 => (0, 0)
 137 +31 => (1, 1)
 138 +32 => (0, 2)
 139 +33 => (1, 0)
 140 +34 => (0, 1)
 141 +35 => (1, 2)
 142 +36 => (0, 0)
 143 +37 => (1, 1)
 144 +38 => (0, 2)
 145 +39 => (1, 0)
 146 +40 => (0, 1)
 147 +41 => (1, 2)
 148 +42 => (0, 0)
 149 +43 => (1, 1)
 150 +44 => (0, 2)
 151 +45 => (1, 0)
 152 +46 => (0, 1)
 153 +47 => (1, 2)
 154 +48 => (0, 0)
 155 +49 => (1, 1)
 156 +50 => (0, 2)
 157 +51 => (1, 0)
 158 +52 => (0, 1)
 159 +53 => (1, 2)
 160 +54 => (0, 0)
 161 +55 => (1, 1)
 162 +56 => (0, 2)
 163 +57 => (1, 0)
 164 +58 => (0, 1)
 165 +59 => (1, 2)
 166 +60 => (0, 0)
 167 +61 => (1, 1)
 168 +62 => (0, 2)
 169 +63 => (1, 0)
 170 +64 => (0, 1)
 171 +65 => (1, 2)
 172 +66 => (0, 0)
 173 +67 => (1, 1)
 174 +68 => (0, 2)
 175 +69 => (1, 0)
 176 +70 => (0, 1)
 177 +71 => (1, 2)
 178 +72 => (0, 0)
 179 +73 => (1, 1)
 180 +74 => (0, 2)
 181 +75 => (1, 0)
 182 +76 => (0, 1)
 183 +77 => (1, 2)
 184 +78 => (0, 0)
 185 +79 => (1, 1)
 186 +80 => (0, 2)
 187 +81 => (1, 0)
 188 +82 => (0, 1)
 189 +83 => (1, 2)
 190 +84 => (0, 0)
 191 +85 => (1, 1)
 192 +86 => (0, 2)
 193 +87 => (1, 0)
 194 +88 => (0, 1)
 195 +89 => (1, 2)
 196 +90 => (0, 0)
 197 +91 => (1, 1)
 198 +92 => (0, 2)
 199 +93 => (1, 0)
 200 +94 => (0, 1)
 201 +95 => (1, 2)
 202 +96 => (0, 0)
 203 +97 => (1, 1)
 204 +98 => (0, 2)
 205 +99 => (1, 0)
 206 +size of a is 1640
 207 +0 => NONE
 208 +1 => (1, 1)
 209 +2 => (1, 1)
 210 +3 => (0, 0)
 211 +4 => (1, 1)
 212 +5 => (2, 2)
 213 +6 => (1, 1)
 214 +7 => (1, 1)
 215 +8 => (1, 1)
 216 +9 => (0, 0)
 217 +10 => (1, 1)
 218 +11 => (2, 2)
 219 +12 => (1, 1)
 220 +13 => (1, 1)
 221 +14 => (1, 1)
 222 +15 => (0, 0)
 223 +16 => (1, 1)
 224 +17 => (2, 2)
 225 +18 => (1, 1)
 226 +19 => (1, 1)
 227 +20 => (1, 1)
 228 +21 => (0, 0)
 229 +22 => (1, 1)
 230 +23 => (2, 2)
 231 +24 => (1, 1)
 232 +25 => (1, 1)
 233 +26 => (1, 1)
 234 +27 => (0, 0)
 235 +28 => (1, 1)
 236 +29 => (2, 2)
 237 +30 => (1, 1)
 238 +31 => (1, 1)
 239 +32 => (1, 1)
 240 +33 => (0, 0)
 241 +34 => (1, 1)
 242 +35 => (2, 2)
 243 +36 => (1, 1)
 244 +37 => (1, 1)
 245 +38 => (1, 1)
 246 +39 => (0, 0)
 247 +40 => (1, 1)
 248 +41 => (2, 2)
 249 +42 => (1, 1)
 250 +43 => (1, 1)
 251 +44 => (1, 1)
 252 +45 => (0, 0)
 253 +46 => (1, 1)
 254 +47 => (2, 2)
 255 +48 => (1, 1)
 256 +49 => (1, 1)
 257 +50 => (1, 1)
 258 +51 => (0, 0)
 259 +52 => (1, 1)
 260 +53 => (2, 2)
 261 +54 => (1, 1)
 262 +55 => (1, 1)
 263 +56 => (1, 1)
 264 +57 => (0, 0)
 265 +58 => (1, 1)
 266 +59 => (2, 2)
 267 +60 => (1, 1)
 268 +61 => (1, 1)
 269 +62 => (1, 1)
 270 +63 => (0, 0)
 271 +64 => (1, 1)
 272 +65 => (2, 2)
 273 +66 => (1, 1)
 274 +67 => (1, 1)
 275 +68 => (1, 1)
 276 +69 => (0, 0)
 277 +70 => (1, 1)
 278 +71 => (2, 2)
 279 +72 => (1, 1)
 280 +73 => (1, 1)
 281 +74 => (1, 1)
 282 +75 => (0, 0)
 283 +76 => (1, 1)
 284 +77 => (2, 2)
 285 +78 => (1, 1)
 286 +79 => (1, 1)
 287 +80 => (1, 1)
 288 +81 => (0, 0)
 289 +82 => (1, 1)
 290 +83 => (2, 2)
 291 +84 => (1, 1)
 292 +85 => (1, 1)
 293 +86 => (1, 1)
 294 +87 => (0, 0)
 295 +88 => (1, 1)
 296 +89 => (2, 2)
 297 +90 => (1, 1)
 298 +91 => (1, 1)
 299 +92 => (1, 1)
 300 +93 => (0, 0)
 301 +94 => (1, 1)
 302 +95 => (2, 2)
 303 +96 => (1, 1)
 304 +97 => (1, 1)
 305 +98 => (1, 1)
 306 +99 => (0, 0)
 307 +size of a is 872
 308 +0 => NONE
 309 +1 => (1, 1)
 310 +2 => (1, 1)
 311 +3 => (0, 0)
 312 +4 => (1, 1)
 313 +5 => (2, 2)
 314 +6 => (1, 1)
 315 +7 => (1, 1)
 316 +8 => (1, 1)
 317 +9 => (0, 0)
 318 +10 => (1, 1)
 319 +11 => (2, 2)
 320 +12 => (1, 1)
 321 +13 => (1, 1)
 322 +14 => (1, 1)
 323 +15 => (0, 0)
 324 +16 => (1, 1)
 325 +17 => (2, 2)
 326 +18 => (1, 1)
 327 +19 => (1, 1)
 328 +20 => (1, 1)
 329 +21 => (0, 0)
 330 +22 => (1, 1)
 331 +23 => (2, 2)
 332 +24 => (1, 1)
 333 +25 => (1, 1)
 334 +26 => (1, 1)
 335 +27 => (0, 0)
 336 +28 => (1, 1)
 337 +29 => (2, 2)
 338 +30 => (1, 1)
 339 +31 => (1, 1)
 340 +32 => (1, 1)
 341 +33 => (0, 0)
 342 +34 => (1, 1)
 343 +35 => (2, 2)
 344 +36 => (1, 1)
 345 +37 => (1, 1)
 346 +38 => (1, 1)
 347 +39 => (0, 0)
 348 +40 => (1, 1)
 349 +41 => (2, 2)
 350 +42 => (1, 1)
 351 +43 => (1, 1)
 352 +44 => (1, 1)
 353 +45 => (0, 0)
 354 +46 => (1, 1)
 355 +47 => (2, 2)
 356 +48 => (1, 1)
 357 +49 => (1, 1)
 358 +50 => (1, 1)
 359 +51 => (0, 0)
 360 +52 => (1, 1)
 361 +53 => (2, 2)
 362 +54 => (1, 1)
 363 +55 => (1, 1)
 364 +56 => (1, 1)
 365 +57 => (0, 0)
 366 +58 => (1, 1)
 367 +59 => (2, 2)
 368 +60 => (1, 1)
 369 +61 => (1, 1)
 370 +62 => (1, 1)
 371 +63 => (0, 0)
 372 +64 => (1, 1)
 373 +65 => (2, 2)
 374 +66 => (1, 1)
 375 +67 => (1, 1)
 376 +68 => (1, 1)
 377 +69 => (0, 0)
 378 +70 => (1, 1)
 379 +71 => (2, 2)
 380 +72 => (1, 1)
 381 +73 => (1, 1)
 382 +74 => (1, 1)
 383 +75 => (0, 0)
 384 +76 => (1, 1)
 385 +77 => (2, 2)
 386 +78 => (1, 1)
 387 +79 => (1, 1)
 388 +80 => (1, 1)
 389 +81 => (0, 0)
 390 +82 => (1, 1)
 391 +83 => (2, 2)
 392 +84 => (1, 1)
 393 +85 => (1, 1)
 394 +86 => (1, 1)
 395 +87 => (0, 0)
 396 +88 => (1, 1)
 397 +89 => (2, 2)
 398 +90 => (1, 1)
 399 +91 => (1, 1)
 400 +92 => (1, 1)
 401 +93 => (0, 0)
 402 +94 => (1, 1)
 403 +95 => (2, 2)
 404 +96 => (1, 1)
 405 +97 => (1, 1)
 406 +98 => (1, 1)
 407 +99 => (0, 0)
 408 +size of a is 4008
 409 +0 => NONE
 410 +1 => (1, 1)
 411 +2 => (0, 2)
 412 +3 => (1, 0)
 413 +4 => (0, 1)
 414 +5 => (1, 2)
 415 +6 => (0, 0)
 416 +7 => (1, 1)
 417 +8 => (0, 2)
 418 +9 => (1, 0)
 419 +10 => (0, 1)
 420 +11 => (1, 2)
 421 +12 => (0, 0)
 422 +13 => (1, 1)
 423 +14 => (0, 2)
 424 +15 => (1, 0)
 425 +16 => (0, 1)
 426 +17 => (1, 2)
 427 +18 => (0, 0)
 428 +19 => (1, 1)
 429 +20 => (0, 2)
 430 +21 => (1, 0)
 431 +22 => (0, 1)
 432 +23 => (1, 2)
 433 +24 => (0, 0)
 434 +25 => (1, 1)
 435 +26 => (0, 2)
 436 +27 => (1, 0)
 437 +28 => (0, 1)
 438 +29 => (1, 2)
 439 +30 => (0, 0)
 440 +31 => (1, 1)
 441 +32 => (0, 2)
 442 +33 => (1, 0)
 443 +34 => (0, 1)
 444 +35 => (1, 2)
 445 +36 => (0, 0)
 446 +37 => (1, 1)
 447 +38 => (0, 2)
 448 +39 => (1, 0)
 449 +40 => (0, 1)
 450 +41 => (1, 2)
 451 +42 => (0, 0)
 452 +43 => (1, 1)
 453 +44 => (0, 2)
 454 +45 => (1, 0)
 455 +46 => (0, 1)
 456 +47 => (1, 2)
 457 +48 => (0, 0)
 458 +49 => (1, 1)
 459 +50 => (0, 2)
 460 +51 => (1, 0)
 461 +52 => (0, 1)
 462 +53 => (1, 2)
 463 +54 => (0, 0)
 464 +55 => (1, 1)
 465 +56 => (0, 2)
 466 +57 => (1, 0)
 467 +58 => (0, 1)
 468 +59 => (1, 2)
 469 +60 => (0, 0)
 470 +61 => (1, 1)
 471 +62 => (0, 2)
 472 +63 => (1, 0)
 473 +64 => (0, 1)
 474 +65 => (1, 2)
 475 +66 => (0, 0)
 476 +67 => (1, 1)
 477 +68 => (0, 2)
 478 +69 => (1, 0)
 479 +70 => (0, 1)
 480 +71 => (1, 2)
 481 +72 => (0, 0)
 482 +73 => (1, 1)
 483 +74 => (0, 2)
 484 +75 => (1, 0)
 485 +76 => (0, 1)
 486 +77 => (1, 2)
 487 +78 => (0, 0)
 488 +79 => (1, 1)
 489 +80 => (0, 2)
 490 +81 => (1, 0)
 491 +82 => (0, 1)
 492 +83 => (1, 2)
 493 +84 => (0, 0)
 494 +85 => (1, 1)
 495 +86 => (0, 2)
 496 +87 => (1, 0)
 497 +88 => (0, 1)
 498 +89 => (1, 2)
 499 +90 => (0, 0)
 500 +91 => (1, 1)
 501 +92 => (0, 2)
 502 +93 => (1, 0)
 503 +94 => (0, 1)
 504 +95 => (1, 2)
 505 +96 => (0, 0)
 506 +97 => (1, 1)
 507 +98 => (0, 2)
 508 +99 => (1, 0)
 509 +size of a is 2520
 510 +0 => NONE
 511 +1 => (1, 1)
 512 +2 => (0, 2)
 513 +3 => (1, 0)
 514 +4 => (0, 1)
 515 +5 => (1, 2)
 516 +6 => (0, 0)
 517 +7 => (1, 1)
 518 +8 => (0, 2)
 519 +9 => (1, 0)
 520 +10 => (0, 1)
 521 +11 => (1, 2)
 522 +12 => (0, 0)
 523 +13 => (1, 1)
 524 +14 => (0, 2)
 525 +15 => (1, 0)
 526 +16 => (0, 1)
 527 +17 => (1, 2)
 528 +18 => (0, 0)
 529 +19 => (1, 1)
 530 +20 => (0, 2)
 531 +21 => (1, 0)
 532 +22 => (0, 1)
 533 +23 => (1, 2)
 534 +24 => (0, 0)
 535 +25 => (1, 1)
 536 +26 => (0, 2)
 537 +27 => (1, 0)
 538 +28 => (0, 1)
 539 +29 => (1, 2)
 540 +30 => (0, 0)
 541 +31 => (1, 1)
 542 +32 => (0, 2)
 543 +33 => (1, 0)
 544 +34 => (0, 1)
 545 +35 => (1, 2)
 546 +36 => (0, 0)
 547 +37 => (1, 1)
 548 +38 => (0, 2)
 549 +39 => (1, 0)
 550 +40 => (0, 1)
 551 +41 => (1, 2)
 552 +42 => (0, 0)
 553 +43 => (1, 1)
 554 +44 => (0, 2)
 555 +45 => (1, 0)
 556 +46 => (0, 1)
 557 +47 => (1, 2)
 558 +48 => (0, 0)
 559 +49 => (1, 1)
 560 +50 => (0, 2)
 561 +51 => (1, 0)
 562 +52 => (0, 1)
 563 +53 => (1, 2)
 564 +54 => (0, 0)
 565 +55 => (1, 1)
 566 +56 => (0, 2)
 567 +57 => (1, 0)
 568 +58 => (0, 1)
 569 +59 => (1, 2)
 570 +60 => (0, 0)
 571 +61 => (1, 1)
 572 +62 => (0, 2)
 573 +63 => (1, 0)
 574 +64 => (0, 1)
 575 +65 => (1, 2)
 576 +66 => (0, 0)
 577 +67 => (1, 1)
 578 +68 => (0, 2)
 579 +69 => (1, 0)
 580 +70 => (0, 1)
 581 +71 => (1, 2)
 582 +72 => (0, 0)
 583 +73 => (1, 1)
 584 +74 => (0, 2)
 585 +75 => (1, 0)
 586 +76 => (0, 1)
 587 +77 => (1, 2)
 588 +78 => (0, 0)
 589 +79 => (1, 1)
 590 +80 => (0, 2)
 591 +81 => (1, 0)
 592 +82 => (0, 1)
 593 +83 => (1, 2)
 594 +84 => (0, 0)
 595 +85 => (1, 1)
 596 +86 => (0, 2)
 597 +87 => (1, 0)
 598 +88 => (0, 1)
 599 +89 => (1, 2)
 600 +90 => (0, 0)
 601 +91 => (1, 1)
 602 +92 => (0, 2)
 603 +93 => (1, 0)
 604 +94 => (0, 1)
 605 +95 => (1, 2)
 606 +96 => (0, 0)
 607 +97 => (1, 1)
 608 +98 => (0, 2)
 609 +99 => (1, 0)
 610 +size of a is 4008
 611 +0 => NONE
 612 +1 => (1, 1)
 613 +2 => (0, 2)
 614 +3 => (1, 0)
 615 +4 => (0, 1)
 616 +5 => (1, 2)
 617 +6 => (0, 0)
 618 +7 => (1, 1)
 619 +8 => (0, 2)
 620 +9 => (1, 0)
 621 +10 => (0, 1)
 622 +11 => (1, 2)
 623 +12 => (0, 0)
 624 +13 => (1, 1)
 625 +14 => (0, 2)
 626 +15 => (1, 0)
 627 +16 => (0, 1)
 628 +17 => (1, 2)
 629 +18 => (0, 0)
 630 +19 => (1, 1)
 631 +20 => (0, 2)
 632 +21 => (1, 0)
 633 +22 => (0, 1)
 634 +23 => (1, 2)
 635 +24 => (0, 0)
 636 +25 => (1, 1)
 637 +26 => (0, 2)
 638 +27 => (1, 0)
 639 +28 => (0, 1)
 640 +29 => (1, 2)
 641 +30 => (0, 0)
 642 +31 => (1, 1)
 643 +32 => (0, 2)
 644 +33 => (1, 0)
 645 +34 => (0, 1)
 646 +35 => (1, 2)
 647 +36 => (0, 0)
 648 +37 => (1, 1)
 649 +38 => (0, 2)
 650 +39 => (1, 0)
 651 +40 => (0, 1)
 652 +41 => (1, 2)
 653 +42 => (0, 0)
 654 +43 => (1, 1)
 655 +44 => (0, 2)
 656 +45 => (1, 0)
 657 +46 => (0, 1)
 658 +47 => (1, 2)
 659 +48 => (0, 0)
 660 +49 => (1, 1)
 661 +50 => (0, 2)
 662 +51 => (1, 0)
 663 +52 => (0, 1)
 664 +53 => (1, 2)
 665 +54 => (0, 0)
 666 +55 => (1, 1)
 667 +56 => (0, 2)
 668 +57 => (1, 0)
 669 +58 => (0, 1)
 670 +59 => (1, 2)
 671 +60 => (0, 0)
 672 +61 => (1, 1)
 673 +62 => (0, 2)
 674 +63 => (1, 0)
 675 +64 => (0, 1)
 676 +65 => (1, 2)
 677 +66 => (0, 0)
 678 +67 => (1, 1)
 679 +68 => (0, 2)
 680 +69 => (1, 0)
 681 +70 => (0, 1)
 682 +71 => (1, 2)
 683 +72 => (0, 0)
 684 +73 => (1, 1)
 685 +74 => (0, 2)
 686 +75 => (1, 0)
 687 +76 => (0, 1)
 688 +77 => (1, 2)
 689 +78 => (0, 0)
 690 +79 => (1, 1)
 691 +80 => (0, 2)
 692 +81 => (1, 0)
 693 +82 => (0, 1)
 694 +83 => (1, 2)
 695 +84 => (0, 0)
 696 +85 => (1, 1)
 697 +86 => (0, 2)
 698 +87 => (1, 0)
 699 +88 => (0, 1)
 700 +89 => (1, 2)
 701 +90 => (0, 0)
 702 +91 => (1, 1)
 703 +92 => (0, 2)
 704 +93 => (1, 0)
 705 +94 => (0, 1)
 706 +95 => (1, 2)
 707 +96 => (0, 0)
 708 +97 => (1, 1)
 709 +98 => (0, 2)
 710 +99 => (1, 0)
 711 +size of a is 2400008
 712 +(1, 1)
 713 +size of a is 800120
 714 +(1, 1)
 715 +size is 296
 716 +size is 136
 717 +abcdef abcdef
 718 +size is 88
 719 +size is 56
 720 +abcdef abcdef
 721 +1 2
 722 --- /dev/null
 723 +++ b/regression/size2.riscv64-linux.ok
 724 @@ -0,0 +1,24 @@
 725 +The size of a char is = 0 bytes.
 726 +The size of an int list of length 4 is = 96 bytes.
 727 +The size of a string of length 10 is = 40 bytes.
 728 +The size of an int array of length 10 is = 64 bytes.
 729 +The size of a double array of length 10 is = 104 bytes.
 730 +The size of a (word32 * double) array of length 10 is = 184 bytes.
 731 +The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
 732 +The size of a (word64 * double) array of length 10 is = 184 bytes.
 733 +The size of a (word16 * double) array of length 10 is = 184 bytes.
 734 +The size of a word64 array of length 10 is = 104 bytes.
 735 +The size of a (word32 * word64) array of length 10 is = 184 bytes.
 736 +The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 737 +The size of a (word64 * word64) array of length 10 is = 184 bytes.
 738 +The size of a (word16 * word64) array of length 10 is = 184 bytes.
 739 +The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 740 +The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 741 +The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 742 +The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
 743 +The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
 744 +The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 745 +The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
 746 +The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 747 +The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 748 +The size of a useless function is = 0 bytes.
 749 --- /dev/null
 750 +++ b/regression/size3.riscv64-linux.ok
 751 @@ -0,0 +1,114 @@
 752 +The size of unit is = 0 bytes.
 753 +The size of unit * unit is = 0 bytes.
 754 +The size of bool is = 0 bytes.
 755 +The size of bool * bool is = 16 bytes.
 756 +The size of day is = 0 bytes.
 757 +The size of day * day is = 0 bytes.
 758 +The size of a char is = 0 bytes.
 759 +The size of a char * char is = 0 bytes.
 760 +The size of a word8 is = 0 bytes.
 761 +The size of a word8 * word8 is = 0 bytes.
 762 +The size of a word16 is = 0 bytes.
 763 +The size of a word16 * word16 is = 0 bytes.
 764 +The size of a word32 is = 0 bytes.
 765 +The size of a word32 * word32 is = 16 bytes.
 766 +The size of a word64 is = 0 bytes.
 767 +The size of a word64 * word64 is = 24 bytes.
 768 +The size of a word64 * word64 * word64 is = 32 bytes.
 769 +The size of a word64 * word64 * word64 * word64 is = 40 bytes.
 770 +The size of a unit list of length 4 is = 64 bytes.
 771 +The size of a bool list of length 4 is = 96 bytes.
 772 +The size of a day list of length 4 is = 96 bytes.
 773 +The size of an int list of length 4 is = 96 bytes.
 774 +The size of a string of length 10 is = 40 bytes.
 775 +The size of a word64 array of length 0 is = 24 bytes.
 776 +The size of a word64 array of length 1 is = 32 bytes.
 777 +The size of a word64 array of length 2 is = 40 bytes.
 778 +The size of a word64 array of length 3 is = 48 bytes.
 779 +The size of a word64 array of length 4 is = 56 bytes.
 780 +The size of a word64 array of length 5 is = 64 bytes.
 781 +The size of a word64 array of length 6 is = 72 bytes.
 782 +The size of a word64 array of length 7 is = 80 bytes.
 783 +The size of a word64 array of length 8 is = 88 bytes.
 784 +The size of a word64 array of length 9 is = 96 bytes.
 785 +The size of a word64 array of length 10 is = 104 bytes.
 786 +The size of a word64 array of length 11 is = 112 bytes.
 787 +The size of a word64 array of length 12 is = 120 bytes.
 788 +The size of a word32 array of length 0 is = 24 bytes.
 789 +The size of a word32 array of length 1 is = 32 bytes.
 790 +The size of a word32 array of length 2 is = 32 bytes.
 791 +The size of a word32 array of length 3 is = 40 bytes.
 792 +The size of a word32 array of length 4 is = 40 bytes.
 793 +The size of a word32 array of length 5 is = 48 bytes.
 794 +The size of a word32 array of length 6 is = 48 bytes.
 795 +The size of a word32 array of length 7 is = 56 bytes.
 796 +The size of a word32 array of length 8 is = 56 bytes.
 797 +The size of a word32 array of length 9 is = 64 bytes.
 798 +The size of a word32 array of length 10 is = 64 bytes.
 799 +The size of a word32 array of length 11 is = 72 bytes.
 800 +The size of a word32 array of length 12 is = 72 bytes.
 801 +The size of a word16 array of length 0 is = 24 bytes.
 802 +The size of a word16 array of length 1 is = 32 bytes.
 803 +The size of a word16 array of length 2 is = 32 bytes.
 804 +The size of a word16 array of length 3 is = 32 bytes.
 805 +The size of a word16 array of length 4 is = 32 bytes.
 806 +The size of a word16 array of length 5 is = 40 bytes.
 807 +The size of a word16 array of length 6 is = 40 bytes.
 808 +The size of a word16 array of length 7 is = 40 bytes.
 809 +The size of a word16 array of length 8 is = 40 bytes.
 810 +The size of a word16 array of length 9 is = 48 bytes.
 811 +The size of a word16 array of length 10 is = 48 bytes.
 812 +The size of a word16 array of length 11 is = 48 bytes.
 813 +The size of a word16 array of length 12 is = 48 bytes.
 814 +The size of a word8 array of length 0 is = 24 bytes.
 815 +The size of a word8 array of length 1 is = 32 bytes.
 816 +The size of a word8 array of length 2 is = 32 bytes.
 817 +The size of a word8 array of length 3 is = 32 bytes.
 818 +The size of a word8 array of length 4 is = 32 bytes.
 819 +The size of a word8 array of length 5 is = 32 bytes.
 820 +The size of a word8 array of length 6 is = 32 bytes.
 821 +The size of a word8 array of length 7 is = 32 bytes.
 822 +The size of a word8 array of length 8 is = 32 bytes.
 823 +The size of a word8 array of length 9 is = 40 bytes.
 824 +The size of a word8 array of length 10 is = 40 bytes.
 825 +The size of a word8 array of length 11 is = 40 bytes.
 826 +The size of a word8 array of length 12 is = 40 bytes.
 827 +The size of a unit array of length 0 is = 24 bytes.
 828 +The size of a unit array of length 1 is = 24 bytes.
 829 +The size of a unit array of length 2 is = 24 bytes.
 830 +The size of a unit array of length 3 is = 24 bytes.
 831 +The size of a unit array of length 4 is = 24 bytes.
 832 +The size of a unit array of length 5 is = 24 bytes.
 833 +The size of a unit array of length 6 is = 24 bytes.
 834 +The size of a unit array of length 7 is = 24 bytes.
 835 +The size of a unit array of length 8 is = 24 bytes.
 836 +The size of a unit array of length 9 is = 24 bytes.
 837 +The size of a unit array of length 10 is = 24 bytes.
 838 +The size of a unit array of length 11 is = 24 bytes.
 839 +The size of a unit array of length 12 is = 24 bytes.
 840 +The size of a word64 ref is = 16 bytes.
 841 +The size of a word32 ref is = 16 bytes.
 842 +The size of a word16 ref is = 16 bytes.
 843 +The size of a word8 ref is = 16 bytes.
 844 +The size of a unit ref is = 8 bytes.
 845 +The size of a double array of length 10 is = 104 bytes.
 846 +The size of a (word32 * double) array of length 10 is = 184 bytes.
 847 +The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
 848 +The size of a (word64 * double) array of length 10 is = 184 bytes.
 849 +The size of a (word16 * double) array of length 10 is = 184 bytes.
 850 +The size of a word64 array of length 10 is = 104 bytes.
 851 +The size of a (word32 * word64) array of length 10 is = 184 bytes.
 852 +The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 853 +The size of a (word64 * word64) array of length 10 is = 184 bytes.
 854 +The size of a (word16 * word64) array of length 10 is = 184 bytes.
 855 +The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 856 +The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 857 +The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 858 +The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
 859 +The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
 860 +The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 861 +The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
 862 +The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 863 +The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 864 +The size of a useless function is = 0 bytes.
 865 +The size of an empty string is = 24 bytes.