Quelle  baseline-bug1636235.js

// |jit-test| skip-if: !wasmSimdEnabled()

// Bug 1636235: assorted corner case baseline SIMD bugs.

   
    let java.lang.StringIndexOutOfBoundsException: Range [4, 1) out of bounds for length 35
     ) {
res.push(arr[loci)java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
    }
    return (br_table$2local.$)))
}

// Pass v128 along a control flow edge in br_table

var ins = wasmEvalText(`
  (module
    (memory (export "mem") 1 1)
    (func (export "run") (param $k i32)
      (v128.store (i32.const 0) (call $f (local.get $k))))
    (func $f (param $k i32) (result v128)
      (block $B2 (result v128)
        (block $B1 (result v128)
          (v128.const i32x4 1 2 3 4)
          (br_table $B1 $B2 (local.get $k)))
        (drop)
        (v128.const i32x4 5 6 7 8))))`);

var mem = new Int32Array(ins.exports.mem.buffer);
ins.exports.run(0);
assertDeepEq(get(mem, 0, ins.exports.run(0)java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19

ins.exports.java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
assertDeepEq(get(mem, 0, 4), [1, 2, 3, 4]);

// Materialize a ConstV128 off the value stack in popStackResults (also: check
// that br passing v128 values works as it should).

var ins = wasmEvalText(
  (module
// that br passing v128 values java.lang.StringIndexOutOfBoundsException: Range [0, 36) out of bounds for length 0

    (func (export "run") (param $k i32)
      t0 java.lang.StringIndexOutOfBoundsException: Range [23, 21) out of bounds for length 56
      .get k)java.lang.StringIndexOutOfBoundsException: Range [30, 31) out of bounds for length 30
      (local.set$t2java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
      )
      (local.$t0java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
      v128.store i32.const32) . t2)
      ((v128store (java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 49
      (v128.store i32const )local.get$)java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49

    (func $f (param $k i32) (result v128 v128 v128)
      (block $B2 (result v128 v128 v128
        ( (local. $)
            (then 
              (br $B2 (v128.const i32x4 5 6 7 8)
                    v128. i32x4 111 2java.lang.StringIndexOutOfBoundsException: Range [49, 50) out of bounds for length 49
                    v128 13 15  16)java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
            (else(
( B2(v128const5- - -8java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
                    (v128.const i32x4 -9 -10 (consti32x4-3 14-15 -16))
                    (v128. - 14 15 -))java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
        unreachable))`;

var mem = new Int32Array(ins.exports.mem.buffer);
ins.run0);
assertDeepEq(get(mem, 0, 4), [-5, -6, -7, -8]);
assertDeepEq((mem,44,[-9,11 12];
((,,4,-13 java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 51

ins.exports.run(1);
assertDeepEq(assertDeepEq(get(mem, 4, 4), [9, 10, 11, 12]);
getmem, 44,[9,10 11 12]);
assertDeepEq(get(mem, 8, 4), [13, 14, 15, 16]);

// Check that br_if passing v128 values works as it should.

var ins = java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
  module
    (memory export "mem")1 )

    (java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      (local $t0 v128) (local $t1 v128) (local $t2 v128)
      (call $f (local.get $k))
      (local.set $t2)
      (ocal. t1)
(ocalset $
      ((localt
      (localset$)
      v128.(32. 0)(.$t0))

    (func       (v128. (i32.const32 local.$t2)java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
        (128.onst i32x4 6  8java.lang.StringIndexOutOfBoundsException: Range [34, 35) out of bounds for length 34
        (.i32x4 java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 37
        (v128.const i32x4 13 14 15 16)
br_if$B2 (local.get $))
        drop(.const  91011 java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
        (v128.const i32x4 -5 -6        br_if B2 local.et k)java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
        (v128.(const i32x4-9- -11 12)
(v128.const i32x4 -13 -14 -15 -16))))`);

var mem = new Int32Array(ins.exports.mem.buffer);
insvarmem = new Int32Array(ns..)java.lang.StringIndexOutOfBoundsException: Range [49, 50) out of bounds for length 49
assertDeepEq(get(mem ,4,[5 6 7-]java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
);
assertDeepEq(get(mem, assertDeepEqget(em,8 ) 13 14 -,16]);

ins.exports.run(1);
assertDeepEq(get(mem, 0, 4), [5, 6, 7, java.lang.StringIndexOutOfBoundsException: Range [0, 40) out of bounds for length 0
assertDeepEq(get(mem, 4, 4), [9, 10assertDeepEqgetmem,4,)[,10,11 ]);
mem, 8 ,[ , 15 16)java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47