summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/SIMD/unbox.js
blob: 2fffddd06671e76be0688b47f315dd1048db3e0a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
load(libdir + 'simd.js');

setJitCompilerOption("baseline.warmup.trigger", 10);
setJitCompilerOption("ion.warmup.trigger", 30);

var max = 40, pivot = 35;

var i32x4 = SIMD.Int32x4;
var f32x4 = SIMD.Float32x4;
var i32x4Add = SIMD.Int32x4.add;

var FakeSIMDType = function (o) { this.x = o.x; this.y = o.y; this.z = o.z; this.w = o.w; };
if (this.hasOwnProperty("TypedObject")) {
  var TO = TypedObject;
  FakeSIMDType = new TO.StructType({ x: TO.int32, y: TO.int32, z: TO.int32, w: TO.int32 });
}

function simdunbox_bail_undef(i, lhs, rhs) {
  return i32x4Add(lhs, rhs);
}

function simdunbox_bail_object(i, lhs, rhs) {
  return i32x4Add(lhs, rhs);
}

function simdunbox_bail_typeobj(i, lhs, rhs) {
  return i32x4Add(lhs, rhs);
}

function simdunbox_bail_badsimd(i, lhs, rhs) {
  return i32x4Add(lhs, rhs);
}

var arr_undef = [ i32x4(0, 1, 1, 2), i32x4(1, 1, 2, 3) ];
var fail_undef = 0;
var arr_object = [ i32x4(0, 1, 1, 2), i32x4(1, 1, 2, 3) ];
var fail_object = 0;
var arr_typeobj = [ i32x4(0, 1, 1, 2), i32x4(1, 1, 2, 3) ];
var fail_typeobj = 0;
var arr_badsimd = [ i32x4(0, 1, 1, 2), i32x4(1, 1, 2, 3) ];
var fail_badsimd = 0;
for (var i = 0; i < max; i++) {
  try {
    arr_undef[i + 2] = simdunbox_bail_undef(i, arr_undef[i], arr_undef[i + 1]);
  } catch (x) {
    arr_undef[i + 2] = arr_undef[i - 1];
    fail_undef++;
  }

  try {
    arr_object[i + 2] = simdunbox_bail_object(i, arr_object[i], arr_object[i + 1]);
  } catch (x) {
    arr_object[i + 2] = arr_object[i - 1];
    fail_object++;
  }

  try {
    arr_typeobj[i + 2] = simdunbox_bail_typeobj(i, arr_typeobj[i], arr_typeobj[i + 1]);
  } catch (x) {
    arr_typeobj[i + 2] = arr_typeobj[i - 1];
    fail_typeobj++;
  }

  try {
    arr_badsimd[i + 2] = simdunbox_bail_badsimd(i, arr_badsimd[i], arr_badsimd[i + 1]);
  } catch (x) {
    arr_badsimd[i + 2] = arr_badsimd[i - 1];
    fail_badsimd++;
  }

  if (i + 2 == pivot) {
    arr_undef[pivot] = undefined;
    arr_object[pivot] = { x: 0, y: 1, z: 2, w: 3 };
    arr_typeobj[pivot] = new FakeSIMDType({ x: 0, y: 1, z: 2, w: 3 });
    arr_badsimd[pivot] = f32x4(0, 1, 2, 3);
  }
}

assertEq(fail_undef, 2);
assertEq(fail_object, 2);
assertEq(fail_typeobj, 2);
assertEq(fail_badsimd, 2);

// Assert that all SIMD values are correct.
function assertEqX4(real, expected, assertFunc) {
    if (typeof assertFunc === 'undefined')
        assertFunc = assertEq;

    assertFunc(real.x, expected[0]);
    assertFunc(real.y, expected[1]);
    assertFunc(real.z, expected[2]);
    assertFunc(real.w, expected[3]);
}

var fib = [0, 1];
for (i = 0; i < max + 5; i++)
  fib[i+2] = (fib[i] + fib[i+1]) | 0;

for (i = 0; i < max; i++) {
  if (i == pivot)
    continue;
  var ref = fib.slice(i < pivot ? i : i - 3);
  assertEqX4(arr_undef[i], ref);
  assertEqX4(arr_object[i], ref);
  assertEqX4(arr_typeobj[i], ref);
  assertEqX4(arr_badsimd[i], ref);
}

// Check that unbox operations aren't removed
(function() {

    function add(i, v, w) {
        if (i % 2 == 0) {
            SIMD.Int32x4.add(v, w);
        } else {
            SIMD.Float32x4.add(v, w);
        }
    }

    var i = 0;
    var caught = false;
    var f4 = SIMD.Float32x4(1,2,3,4);
    var i4 = SIMD.Int32x4(1,2,3,4);
    try {
        for (; i < 200; i++) {
            if (i % 2 == 0) {
                add(i, i4, i4);
            } else if (i == 199) {
                add(i, i4, f4);
            } else {
                add(i, f4, f4);
            }
        }
    } catch(e) {
        print(e);
        assertEq(e instanceof TypeError, true);
        assertEq(i, 199);
        caught = true;
    }

    assertEq(i < 199 || caught, true);

})();