review.tizen.org Git - platform/framework/web/lwnode.git/blob

   1 ;;
   2 ;; Generated by ../meta/generate_memory_fill.js
   3 ;; DO NOT EDIT THIS FILE.  CHANGE THE SOURCE AND REGENERATE.
   4 ;;
   5
   6 (module
   7   (memory 1 1)
   8
   9   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
  10     (loop $cont
  11       (if (i32.eq (local.get $from) (local.get $to))
  12         (then
  13           (return (i32.const -1))))
  14       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
  15         (then
  16           (local.set $from (i32.add (local.get $from) (i32.const 1)))
  17           (br $cont))))
  18     (return (local.get $from)))
  19
  20   (func (export "test")
  21     (memory.fill (i32.const 0xFF00) (i32.const 0x55) (i32.const 256))))
  22 (invoke "test")
  23
  24 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 65280) (i32.const 0))
  25                (i32.const -1))
  26 (assert_return (invoke "checkRange" (i32.const 65280) (i32.const 65536) (i32.const 85))
  27                (i32.const -1))
  28 (module
  29   (memory 1 1)
  30
  31   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
  32     (loop $cont
  33       (if (i32.eq (local.get $from) (local.get $to))
  34         (then
  35           (return (i32.const -1))))
  36       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
  37         (then
  38           (local.set $from (i32.add (local.get $from) (i32.const 1)))
  39           (br $cont))))
  40     (return (local.get $from)))
  41
  42   (func (export "test")
  43     (memory.fill (i32.const 0xFF00) (i32.const 0x55) (i32.const 257))))
  44 (assert_trap (invoke "test") "out of bounds memory access")
  45
  46 (module
  47   (memory 1 1)
  48
  49   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
  50     (loop $cont
  51       (if (i32.eq (local.get $from) (local.get $to))
  52         (then
  53           (return (i32.const -1))))
  54       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
  55         (then
  56           (local.set $from (i32.add (local.get $from) (i32.const 1)))
  57           (br $cont))))
  58     (return (local.get $from)))
  59
  60   (func (export "test")
  61     (memory.fill (i32.const 0xFFFFFF00) (i32.const 0x55) (i32.const 257))))
  62 (assert_trap (invoke "test") "out of bounds memory access")
  63
  64 (module
  65   (memory 1 1)
  66
  67   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
  68     (loop $cont
  69       (if (i32.eq (local.get $from) (local.get $to))
  70         (then
  71           (return (i32.const -1))))
  72       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
  73         (then
  74           (local.set $from (i32.add (local.get $from) (i32.const 1)))
  75           (br $cont))))
  76     (return (local.get $from)))
  77
  78   (func (export "test")
  79     (memory.fill (i32.const 0x12) (i32.const 0x55) (i32.const 0))))
  80 (invoke "test")
  81
  82 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 65536) (i32.const 0))
  83                (i32.const -1))
  84 (module
  85   (memory 1 1)
  86
  87   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
  88     (loop $cont
  89       (if (i32.eq (local.get $from) (local.get $to))
  90         (then
  91           (return (i32.const -1))))
  92       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
  93         (then
  94           (local.set $from (i32.add (local.get $from) (i32.const 1)))
  95           (br $cont))))
  96     (return (local.get $from)))
  97
  98   (func (export "test")
  99     (memory.fill (i32.const 0x10000) (i32.const 0x55) (i32.const 0))))
 100 (invoke "test")
 101
 102 (module
 103   (memory 1 1)
 104
 105   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
 106     (loop $cont
 107       (if (i32.eq (local.get $from) (local.get $to))
 108         (then
 109           (return (i32.const -1))))
 110       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
 111         (then
 112           (local.set $from (i32.add (local.get $from) (i32.const 1)))
 113           (br $cont))))
 114     (return (local.get $from)))
 115
 116   (func (export "test")
 117     (memory.fill (i32.const 0x20000) (i32.const 0x55) (i32.const 0))))
 118 (assert_trap (invoke "test") "out of bounds")
 119
 120 (module
 121   (memory 1 1)
 122
 123   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
 124     (loop $cont
 125       (if (i32.eq (local.get $from) (local.get $to))
 126         (then
 127           (return (i32.const -1))))
 128       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
 129         (then
 130           (local.set $from (i32.add (local.get $from) (i32.const 1)))
 131           (br $cont))))
 132     (return (local.get $from)))
 133
 134   (func (export "test")
 135     (memory.fill (i32.const 0x1) (i32.const 0xAA) (i32.const 0xFFFE))))
 136 (invoke "test")
 137
 138 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
 139                (i32.const -1))
 140 (assert_return (invoke "checkRange" (i32.const 1) (i32.const 65535) (i32.const 170))
 141                (i32.const -1))
 142 (assert_return (invoke "checkRange" (i32.const 65535) (i32.const 65536) (i32.const 0))
 143                (i32.const -1))
 144
 145 (module
 146   (memory 1 1)
 147
 148   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
 149     (loop $cont
 150       (if (i32.eq (local.get $from) (local.get $to))
 151         (then
 152           (return (i32.const -1))))
 153       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
 154         (then
 155           (local.set $from (i32.add (local.get $from) (i32.const 1)))
 156           (br $cont))))
 157     (return (local.get $from)))
 158
 159   (func (export "test")
 160      (memory.fill (i32.const 0x12) (i32.const 0x55) (i32.const 10))
 161      (memory.fill (i32.const 0x15) (i32.const 0xAA) (i32.const 4))))
 162 (invoke "test")
 163
 164 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 18) (i32.const 0))
 165                (i32.const -1))
 166 (assert_return (invoke "checkRange" (i32.const 18) (i32.const 21) (i32.const 85))
 167                (i32.const -1))
 168 (assert_return (invoke "checkRange" (i32.const 21) (i32.const 25) (i32.const 170))
 169                (i32.const -1))
 170 (assert_return (invoke "checkRange" (i32.const 25) (i32.const 28) (i32.const 85))
 171                (i32.const -1))
 172 (assert_return (invoke "checkRange" (i32.const 28) (i32.const 65536) (i32.const 0))
 173                (i32.const -1))
 174 (assert_invalid
 175   (module
 176     (func (export "testfn")
 177       (memory.fill (i32.const 10) (i32.const 20) (i32.const 30))))
 178   "unknown memory 0")
 179
 180 (assert_invalid
 181   (module
 182     (memory 1 1)
 183     (func (export "testfn")
 184       (memory.fill (i32.const 10) (i32.const 20) (f32.const 30))))
 185   "type mismatch")
 186
 187 (assert_invalid
 188   (module
 189     (memory 1 1)
 190     (func (export "testfn")
 191       (memory.fill (i32.const 10) (i32.const 20) (i64.const 30))))
 192   "type mismatch")
 193
 194 (assert_invalid
 195   (module
 196     (memory 1 1)
 197     (func (export "testfn")
 198       (memory.fill (i32.const 10) (i32.const 20) (f64.const 30))))
 199   "type mismatch")
 200
 201 (assert_invalid
 202   (module
 203     (memory 1 1)
 204     (func (export "testfn")
 205       (memory.fill (i32.const 10) (f32.const 20) (i32.const 30))))
 206   "type mismatch")
 207
 208 (assert_invalid
 209   (module
 210     (memory 1 1)
 211     (func (export "testfn")
 212       (memory.fill (i32.const 10) (f32.const 20) (f32.const 30))))
 213   "type mismatch")
 214
 215 (assert_invalid
 216   (module
 217     (memory 1 1)
 218     (func (export "testfn")
 219       (memory.fill (i32.const 10) (f32.const 20) (i64.const 30))))
 220   "type mismatch")
 221
 222 (assert_invalid
 223   (module
 224     (memory 1 1)
 225     (func (export "testfn")
 226       (memory.fill (i32.const 10) (f32.const 20) (f64.const 30))))
 227   "type mismatch")
 228
 229 (assert_invalid
 230   (module
 231     (memory 1 1)
 232     (func (export "testfn")
 233       (memory.fill (i32.const 10) (i64.const 20) (i32.const 30))))
 234   "type mismatch")
 235
 236 (assert_invalid
 237   (module
 238     (memory 1 1)
 239     (func (export "testfn")
 240       (memory.fill (i32.const 10) (i64.const 20) (f32.const 30))))
 241   "type mismatch")
 242
 243 (assert_invalid
 244   (module
 245     (memory 1 1)
 246     (func (export "testfn")
 247       (memory.fill (i32.const 10) (i64.const 20) (i64.const 30))))
 248   "type mismatch")
 249
 250 (assert_invalid
 251   (module
 252     (memory 1 1)
 253     (func (export "testfn")
 254       (memory.fill (i32.const 10) (i64.const 20) (f64.const 30))))
 255   "type mismatch")
 256
 257 (assert_invalid
 258   (module
 259     (memory 1 1)
 260     (func (export "testfn")
 261       (memory.fill (i32.const 10) (f64.const 20) (i32.const 30))))
 262   "type mismatch")
 263
 264 (assert_invalid
 265   (module
 266     (memory 1 1)
 267     (func (export "testfn")
 268       (memory.fill (i32.const 10) (f64.const 20) (f32.const 30))))
 269   "type mismatch")
 270
 271 (assert_invalid
 272   (module
 273     (memory 1 1)
 274     (func (export "testfn")
 275       (memory.fill (i32.const 10) (f64.const 20) (i64.const 30))))
 276   "type mismatch")
 277
 278 (assert_invalid
 279   (module
 280     (memory 1 1)
 281     (func (export "testfn")
 282       (memory.fill (i32.const 10) (f64.const 20) (f64.const 30))))
 283   "type mismatch")
 284
 285 (assert_invalid
 286   (module
 287     (memory 1 1)
 288     (func (export "testfn")
 289       (memory.fill (f32.const 10) (i32.const 20) (i32.const 30))))
 290   "type mismatch")
 291
 292 (assert_invalid
 293   (module
 294     (memory 1 1)
 295     (func (export "testfn")
 296       (memory.fill (f32.const 10) (i32.const 20) (f32.const 30))))
 297   "type mismatch")
 298
 299 (assert_invalid
 300   (module
 301     (memory 1 1)
 302     (func (export "testfn")
 303       (memory.fill (f32.const 10) (i32.const 20) (i64.const 30))))
 304   "type mismatch")
 305
 306 (assert_invalid
 307   (module
 308     (memory 1 1)
 309     (func (export "testfn")
 310       (memory.fill (f32.const 10) (i32.const 20) (f64.const 30))))
 311   "type mismatch")
 312
 313 (assert_invalid
 314   (module
 315     (memory 1 1)
 316     (func (export "testfn")
 317       (memory.fill (f32.const 10) (f32.const 20) (i32.const 30))))
 318   "type mismatch")
 319
 320 (assert_invalid
 321   (module
 322     (memory 1 1)
 323     (func (export "testfn")
 324       (memory.fill (f32.const 10) (f32.const 20) (f32.const 30))))
 325   "type mismatch")
 326
 327 (assert_invalid
 328   (module
 329     (memory 1 1)
 330     (func (export "testfn")
 331       (memory.fill (f32.const 10) (f32.const 20) (i64.const 30))))
 332   "type mismatch")
 333
 334 (assert_invalid
 335   (module
 336     (memory 1 1)
 337     (func (export "testfn")
 338       (memory.fill (f32.const 10) (f32.const 20) (f64.const 30))))
 339   "type mismatch")
 340
 341 (assert_invalid
 342   (module
 343     (memory 1 1)
 344     (func (export "testfn")
 345       (memory.fill (f32.const 10) (i64.const 20) (i32.const 30))))
 346   "type mismatch")
 347
 348 (assert_invalid
 349   (module
 350     (memory 1 1)
 351     (func (export "testfn")
 352       (memory.fill (f32.const 10) (i64.const 20) (f32.const 30))))
 353   "type mismatch")
 354
 355 (assert_invalid
 356   (module
 357     (memory 1 1)
 358     (func (export "testfn")
 359       (memory.fill (f32.const 10) (i64.const 20) (i64.const 30))))
 360   "type mismatch")
 361
 362 (assert_invalid
 363   (module
 364     (memory 1 1)
 365     (func (export "testfn")
 366       (memory.fill (f32.const 10) (i64.const 20) (f64.const 30))))
 367   "type mismatch")
 368
 369 (assert_invalid
 370   (module
 371     (memory 1 1)
 372     (func (export "testfn")
 373       (memory.fill (f32.const 10) (f64.const 20) (i32.const 30))))
 374   "type mismatch")
 375
 376 (assert_invalid
 377   (module
 378     (memory 1 1)
 379     (func (export "testfn")
 380       (memory.fill (f32.const 10) (f64.const 20) (f32.const 30))))
 381   "type mismatch")
 382
 383 (assert_invalid
 384   (module
 385     (memory 1 1)
 386     (func (export "testfn")
 387       (memory.fill (f32.const 10) (f64.const 20) (i64.const 30))))
 388   "type mismatch")
 389
 390 (assert_invalid
 391   (module
 392     (memory 1 1)
 393     (func (export "testfn")
 394       (memory.fill (f32.const 10) (f64.const 20) (f64.const 30))))
 395   "type mismatch")
 396
 397 (assert_invalid
 398   (module
 399     (memory 1 1)
 400     (func (export "testfn")
 401       (memory.fill (i64.const 10) (i32.const 20) (i32.const 30))))
 402   "type mismatch")
 403
 404 (assert_invalid
 405   (module
 406     (memory 1 1)
 407     (func (export "testfn")
 408       (memory.fill (i64.const 10) (i32.const 20) (f32.const 30))))
 409   "type mismatch")
 410
 411 (assert_invalid
 412   (module
 413     (memory 1 1)
 414     (func (export "testfn")
 415       (memory.fill (i64.const 10) (i32.const 20) (i64.const 30))))
 416   "type mismatch")
 417
 418 (assert_invalid
 419   (module
 420     (memory 1 1)
 421     (func (export "testfn")
 422       (memory.fill (i64.const 10) (i32.const 20) (f64.const 30))))
 423   "type mismatch")
 424
 425 (assert_invalid
 426   (module
 427     (memory 1 1)
 428     (func (export "testfn")
 429       (memory.fill (i64.const 10) (f32.const 20) (i32.const 30))))
 430   "type mismatch")
 431
 432 (assert_invalid
 433   (module
 434     (memory 1 1)
 435     (func (export "testfn")
 436       (memory.fill (i64.const 10) (f32.const 20) (f32.const 30))))
 437   "type mismatch")
 438
 439 (assert_invalid
 440   (module
 441     (memory 1 1)
 442     (func (export "testfn")
 443       (memory.fill (i64.const 10) (f32.const 20) (i64.const 30))))
 444   "type mismatch")
 445
 446 (assert_invalid
 447   (module
 448     (memory 1 1)
 449     (func (export "testfn")
 450       (memory.fill (i64.const 10) (f32.const 20) (f64.const 30))))
 451   "type mismatch")
 452
 453 (assert_invalid
 454   (module
 455     (memory 1 1)
 456     (func (export "testfn")
 457       (memory.fill (i64.const 10) (i64.const 20) (i32.const 30))))
 458   "type mismatch")
 459
 460 (assert_invalid
 461   (module
 462     (memory 1 1)
 463     (func (export "testfn")
 464       (memory.fill (i64.const 10) (i64.const 20) (f32.const 30))))
 465   "type mismatch")
 466
 467 (assert_invalid
 468   (module
 469     (memory 1 1)
 470     (func (export "testfn")
 471       (memory.fill (i64.const 10) (i64.const 20) (i64.const 30))))
 472   "type mismatch")
 473
 474 (assert_invalid
 475   (module
 476     (memory 1 1)
 477     (func (export "testfn")
 478       (memory.fill (i64.const 10) (i64.const 20) (f64.const 30))))
 479   "type mismatch")
 480
 481 (assert_invalid
 482   (module
 483     (memory 1 1)
 484     (func (export "testfn")
 485       (memory.fill (i64.const 10) (f64.const 20) (i32.const 30))))
 486   "type mismatch")
 487
 488 (assert_invalid
 489   (module
 490     (memory 1 1)
 491     (func (export "testfn")
 492       (memory.fill (i64.const 10) (f64.const 20) (f32.const 30))))
 493   "type mismatch")
 494
 495 (assert_invalid
 496   (module
 497     (memory 1 1)
 498     (func (export "testfn")
 499       (memory.fill (i64.const 10) (f64.const 20) (i64.const 30))))
 500   "type mismatch")
 501
 502 (assert_invalid
 503   (module
 504     (memory 1 1)
 505     (func (export "testfn")
 506       (memory.fill (i64.const 10) (f64.const 20) (f64.const 30))))
 507   "type mismatch")
 508
 509 (assert_invalid
 510   (module
 511     (memory 1 1)
 512     (func (export "testfn")
 513       (memory.fill (f64.const 10) (i32.const 20) (i32.const 30))))
 514   "type mismatch")
 515
 516 (assert_invalid
 517   (module
 518     (memory 1 1)
 519     (func (export "testfn")
 520       (memory.fill (f64.const 10) (i32.const 20) (f32.const 30))))
 521   "type mismatch")
 522
 523 (assert_invalid
 524   (module
 525     (memory 1 1)
 526     (func (export "testfn")
 527       (memory.fill (f64.const 10) (i32.const 20) (i64.const 30))))
 528   "type mismatch")
 529
 530 (assert_invalid
 531   (module
 532     (memory 1 1)
 533     (func (export "testfn")
 534       (memory.fill (f64.const 10) (i32.const 20) (f64.const 30))))
 535   "type mismatch")
 536
 537 (assert_invalid
 538   (module
 539     (memory 1 1)
 540     (func (export "testfn")
 541       (memory.fill (f64.const 10) (f32.const 20) (i32.const 30))))
 542   "type mismatch")
 543
 544 (assert_invalid
 545   (module
 546     (memory 1 1)
 547     (func (export "testfn")
 548       (memory.fill (f64.const 10) (f32.const 20) (f32.const 30))))
 549   "type mismatch")
 550
 551 (assert_invalid
 552   (module
 553     (memory 1 1)
 554     (func (export "testfn")
 555       (memory.fill (f64.const 10) (f32.const 20) (i64.const 30))))
 556   "type mismatch")
 557
 558 (assert_invalid
 559   (module
 560     (memory 1 1)
 561     (func (export "testfn")
 562       (memory.fill (f64.const 10) (f32.const 20) (f64.const 30))))
 563   "type mismatch")
 564
 565 (assert_invalid
 566   (module
 567     (memory 1 1)
 568     (func (export "testfn")
 569       (memory.fill (f64.const 10) (i64.const 20) (i32.const 30))))
 570   "type mismatch")
 571
 572 (assert_invalid
 573   (module
 574     (memory 1 1)
 575     (func (export "testfn")
 576       (memory.fill (f64.const 10) (i64.const 20) (f32.const 30))))
 577   "type mismatch")
 578
 579 (assert_invalid
 580   (module
 581     (memory 1 1)
 582     (func (export "testfn")
 583       (memory.fill (f64.const 10) (i64.const 20) (i64.const 30))))
 584   "type mismatch")
 585
 586 (assert_invalid
 587   (module
 588     (memory 1 1)
 589     (func (export "testfn")
 590       (memory.fill (f64.const 10) (i64.const 20) (f64.const 30))))
 591   "type mismatch")
 592
 593 (assert_invalid
 594   (module
 595     (memory 1 1)
 596     (func (export "testfn")
 597       (memory.fill (f64.const 10) (f64.const 20) (i32.const 30))))
 598   "type mismatch")
 599
 600 (assert_invalid
 601   (module
 602     (memory 1 1)
 603     (func (export "testfn")
 604       (memory.fill (f64.const 10) (f64.const 20) (f32.const 30))))
 605   "type mismatch")
 606
 607 (assert_invalid
 608   (module
 609     (memory 1 1)
 610     (func (export "testfn")
 611       (memory.fill (f64.const 10) (f64.const 20) (i64.const 30))))
 612   "type mismatch")
 613
 614 (assert_invalid
 615   (module
 616     (memory 1 1)
 617     (func (export "testfn")
 618       (memory.fill (f64.const 10) (f64.const 20) (f64.const 30))))
 619   "type mismatch")
 620
 621 (module
 622   (memory 1 1 )
 623
 624   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
 625     (loop $cont
 626       (if (i32.eq (local.get $from) (local.get $to))
 627         (then
 628           (return (i32.const -1))))
 629       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
 630         (then
 631           (local.set $from (i32.add (local.get $from) (i32.const 1)))
 632           (br $cont))))
 633     (return (local.get $from)))
 634
 635   (func (export "run") (param $offs i32) (param $val i32) (param $len i32)
 636     (memory.fill (local.get $offs) (local.get $val) (local.get $len))))
 637
 638 (assert_trap (invoke "run" (i32.const 65280) (i32.const 37) (i32.const 512))
 639               "out of bounds")
 640
 641 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
 642                (i32.const -1))
 643 (module
 644   (memory 1 1 )
 645
 646   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
 647     (loop $cont
 648       (if (i32.eq (local.get $from) (local.get $to))
 649         (then
 650           (return (i32.const -1))))
 651       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
 652         (then
 653           (local.set $from (i32.add (local.get $from) (i32.const 1)))
 654           (br $cont))))
 655     (return (local.get $from)))
 656
 657   (func (export "run") (param $offs i32) (param $val i32) (param $len i32)
 658     (memory.fill (local.get $offs) (local.get $val) (local.get $len))))
 659
 660 (assert_trap (invoke "run" (i32.const 65279) (i32.const 37) (i32.const 514))
 661               "out of bounds")
 662
 663 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
 664                (i32.const -1))
 665 (module
 666   (memory 1 1 )
 667
 668   (func (export "checkRange") (param $from i32) (param $to i32) (param $expected i32) (result i32)
 669     (loop $cont
 670       (if (i32.eq (local.get $from) (local.get $to))
 671         (then
 672           (return (i32.const -1))))
 673       (if (i32.eq (i32.load8_u (local.get $from)) (local.get $expected))
 674         (then
 675           (local.set $from (i32.add (local.get $from) (i32.const 1)))
 676           (br $cont))))
 677     (return (local.get $from)))
 678
 679   (func (export "run") (param $offs i32) (param $val i32) (param $len i32)
 680     (memory.fill (local.get $offs) (local.get $val) (local.get $len))))
 681
 682 (assert_trap (invoke "run" (i32.const 65279) (i32.const 37) (i32.const 4294967295))
 683               "out of bounds")
 684
 685 (assert_return (invoke "checkRange" (i32.const 0) (i32.const 1) (i32.const 0))
 686                (i32.const -1))