The Tor Browser / annotate

js/src/jit-test/tests/asm.js/testExpressions.js@6474c204b198 (annotated)

js/src/jit-test/tests/asm.js/testExpressions.js

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

michael@0 1 load(libdir + "asm.js");
michael@0 2
michael@0 3 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i+j)|0 } return f");
michael@0 4 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i+j)|0 } return f");
michael@0 5 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i-j)|0 } return f");
michael@0 6 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i-j)|0 } return f");
michael@0 7 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i*j)|0 } return f");
michael@0 8 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i*j)|0 } return f");
michael@0 9 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (i*j)|0 } return f");
michael@0 10 assertAsmTypeFail(USE_ASM + "function f() { var i=0; return (i*1048576)|0 } return f");
michael@0 11 assertAsmTypeFail(USE_ASM + "function f() { var i=0; return (i*-1048576)|0 } return f");
michael@0 12 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (i + (j*4))|0 } return f");
michael@0 13 assertAsmTypeFail(USE_ASM + "function f() { var two30 = 1073741824; return (((two30 * 524288 * 16) + 1) & 1)|0 } return f");
michael@0 14 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i/j)|0 } return f");
michael@0 15 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i/j)|0 } return f");
michael@0 16 assertAsmTypeFail(USE_ASM + "function f() { var i=1,j=1; return (i/j)|0 } return f");
michael@0 17 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i%j)|0 } return f");
michael@0 18 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i%j)|0 } return f");
michael@0 19 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i<j)|0 } return f");
michael@0 20 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i<j)|0 } return f");
michael@0 21 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (i<j)|0 } return f");
michael@0 22 assertAsmTypeFail(USE_ASM + "function f() { var i=0.0; return (-i)|0 } return f");
michael@0 23 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (-(i+j))|0 } return f");
michael@0 24
michael@0 25 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i|0)/(k|0) } return f");
michael@0 26 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i>>>0)/(k>>>0) } return f");
michael@0 27 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i|0)%(k|0) } return f");
michael@0 28 assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i>>>0)%(k>>>0) } return f");
michael@0 29
michael@0 30 const UINT32_MAX = Math.pow(2,32)-1;
michael@0 31 const INT32_MIN = -Math.pow(2,31);
michael@0 32 const INT32_MAX = Math.pow(2,31)-1;
michael@0 33
michael@0 34 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (i*2)|0 } return f"));
michael@0 35 assertEq(f(0), 0);
michael@0 36 assertEq(f(INT32_MIN), (2*INT32_MIN)|0);
michael@0 37 assertEq(f(INT32_MAX), (2*INT32_MAX)|0);
michael@0 38
michael@0 39 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (2*i)|0 } return f"));
michael@0 40 assertEq(f(0), 0);
michael@0 41 assertEq(f(INT32_MIN), (2*INT32_MIN)|0);
michael@0 42 assertEq(f(INT32_MAX), (2*INT32_MAX)|0);
michael@0 43
michael@0 44 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (i*1048575)|0 } return f"));
michael@0 45 assertEq(f(0), 0);
michael@0 46 assertEq(f(2), (1048575*2)|0);
michael@0 47 assertEq(f(-1), (1048575*-1)|0);
michael@0 48 assertEq(f(INT32_MIN), (1048575*INT32_MIN)|0);
michael@0 49 assertEq(f(INT32_MAX), (1048575*INT32_MAX)|0);
michael@0 50
michael@0 51 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (1048575*i)|0 } return f"));
michael@0 52 assertEq(f(0), 0);
michael@0 53 assertEq(f(2), (1048575*2)|0);
michael@0 54 assertEq(f(-1), (1048575*-1)|0);
michael@0 55 assertEq(f(INT32_MIN), (1048575*INT32_MIN)|0);
michael@0 56 assertEq(f(INT32_MAX), (1048575*INT32_MAX)|0);
michael@0 57
michael@0 58 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=+i; var j=0; j=~~i; return j|0 } return f"));
michael@0 59 assertEq(f(0), 0);
michael@0 60 assertEq(f(3.5), 3);
michael@0 61 assertEq(f(-3.5), -3);
michael@0 62 assertEq(f(INT32_MAX), INT32_MAX);
michael@0 63 assertEq(f(INT32_MIN), INT32_MIN);
michael@0 64 assertEq(f(UINT32_MAX), -1);
michael@0 65
michael@0 66 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; var j=0.0; j=+~~i; return +j } return f"));
michael@0 67 assertEq(f(0), 0);
michael@0 68 assertEq(f(INT32_MAX), INT32_MAX);
michael@0 69 assertEq(f(INT32_MIN), INT32_MIN);
michael@0 70
michael@0 71 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; var j=0.1; j=+(i>>>0); return +j } return f"));
michael@0 72 assertEq(f(0), 0);
michael@0 73 assertEq(f(INT32_MAX), INT32_MAX);
michael@0 74 assertEq(f(UINT32_MAX), UINT32_MAX);
michael@0 75
michael@0 76 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (-i)|0 } return f"));
michael@0 77 assertEq(f(0), 0);
michael@0 78 assertEq(f(-0), 0);
michael@0 79 assertEq(f(1), -1);
michael@0 80 assertEq(f(INT32_MAX), INT32_MIN+1);
michael@0 81 assertEq(f(INT32_MIN), INT32_MIN);
michael@0 82
michael@0 83 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=+i; return +(-i) } return f"));
michael@0 84 assertEq(f(0), -0);
michael@0 85 assertEq(f(-0), 0);
michael@0 86 assertEq(f(-1), 1);
michael@0 87 assertEq(f(1), -1);
michael@0 88 assertEq(f(Math.pow(2,50)), -Math.pow(2,50));
michael@0 89 assertEq(f(1.54e20), -1.54e20);
michael@0 90
michael@0 91 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i|0) < (j|0))|0 } return f"));
michael@0 92 assertEq(f(0, 1), 1);
michael@0 93 assertEq(f(1, 0), 0);
michael@0 94 assertEq(f(1, 1), 0);
michael@0 95 assertEq(f(INT32_MIN, INT32_MAX), 1);
michael@0 96 assertEq(f(INT32_MAX, INT32_MIN), 0);
michael@0 97 assertEq(f(0, INT32_MAX), 1);
michael@0 98 assertEq(f(INT32_MAX, 0), 0);
michael@0 99 assertEq(f(INT32_MIN, 0), 1);
michael@0 100 assertEq(f(0, INT32_MIN), 0);
michael@0 101 assertEq(f(UINT32_MAX, 0), 1);
michael@0 102 assertEq(f(0, UINT32_MAX), 0);
michael@0 103
michael@0 104 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i>>>0) < (j>>>0))|0 } return f"));
michael@0 105 assertEq(f(0, 1), 1);
michael@0 106 assertEq(f(1, 0), 0);
michael@0 107 assertEq(f(1, 1), 0);
michael@0 108 assertEq(f(INT32_MIN, INT32_MAX), 0);
michael@0 109 assertEq(f(INT32_MAX, INT32_MIN), 1);
michael@0 110 assertEq(f(0, INT32_MAX), 1);
michael@0 111 assertEq(f(INT32_MAX, 0), 0);
michael@0 112 assertEq(f(INT32_MIN, 0), 0);
michael@0 113 assertEq(f(0, INT32_MIN), 1);
michael@0 114 assertEq(f(UINT32_MAX, 0), 0);
michael@0 115 assertEq(f(0, UINT32_MAX), 1);
michael@0 116
michael@0 117 assertEq(asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k=0; k=(i|0)==(j|0); return k|0 } return f"))(1,2), 0);
michael@0 118 assertEq(asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k=0; k=(i|0)!=(j|0); return k|0 } return f"))(1,2), 1);
michael@0 119 assertEq(asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k=0; k=(i|0)<(j|0); return k|0 } return f"))(1,2), 1);
michael@0 120 assertEq(asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k=0; k=(i|0)>(j|0); return k|0 } return f"))(1,2), 0);
michael@0 121 assertEq(asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k=0; k=(i|0)<=(j|0); return k|0 } return f"))(1,2), 1);
michael@0 122 assertEq(asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k=0; k=(i|0)>=(j|0); return k|0 } return f"))(1,2), 0);
michael@0 123
michael@0 124 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i|0)/(j|0))|0 } return f"));
michael@0 125 assertEq(f(4,2), 2);
michael@0 126 assertEq(f(3,2), 1);
michael@0 127 assertEq(f(3,-2), -1);
michael@0 128 assertEq(f(-3,-2), 1);
michael@0 129 assertEq(f(0, -1), 0);
michael@0 130 assertEq(f(0, INT32_MAX), 0);
michael@0 131 assertEq(f(0, INT32_MIN), 0);
michael@0 132 assertEq(f(INT32_MAX, 0), 0);
michael@0 133 assertEq(f(INT32_MIN, 0), 0);
michael@0 134 assertEq(f(-1, INT32_MAX), 0);
michael@0 135 assertEq(f(-1, INT32_MIN), 0);
michael@0 136 assertEq(f(INT32_MAX, -1), -INT32_MAX);
michael@0 137 assertEq(f(INT32_MIN, -1), INT32_MIN); // !!
michael@0 138 assertEq(f(INT32_MAX, INT32_MAX), 1);
michael@0 139 assertEq(f(INT32_MAX, INT32_MIN), 0);
michael@0 140 assertEq(f(INT32_MIN, INT32_MAX), -1);
michael@0 141 assertEq(f(INT32_MIN, INT32_MIN), 1);
michael@0 142
michael@0 143 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i>>>0)/(j>>>0))|0 } return f"));
michael@0 144 assertEq(f(4,2), 2);
michael@0 145 assertEq(f(3,2), 1);
michael@0 146 assertEq(f(3,-2), 0);
michael@0 147 assertEq(f(-3,-2), 0);
michael@0 148 assertEq(f(0, -1), 0);
michael@0 149 assertEq(f(0, INT32_MAX), 0);
michael@0 150 assertEq(f(0, INT32_MIN), 0);
michael@0 151 assertEq(f(0, UINT32_MAX), 0);
michael@0 152 assertEq(f(INT32_MAX, 0), 0);
michael@0 153 assertEq(f(INT32_MIN, 0), 0);
michael@0 154 assertEq(f(UINT32_MAX, 0), 0);
michael@0 155 assertEq(f(-1, INT32_MAX), 2);
michael@0 156 assertEq(f(-1, INT32_MIN), 1);
michael@0 157 assertEq(f(-1, UINT32_MAX), 1);
michael@0 158 assertEq(f(INT32_MAX, -1), 0);
michael@0 159 assertEq(f(INT32_MIN, -1), 0);
michael@0 160 assertEq(f(UINT32_MAX, -1), 1);
michael@0 161 assertEq(f(INT32_MAX, INT32_MAX), 1);
michael@0 162 assertEq(f(INT32_MAX, INT32_MIN), 0);
michael@0 163 assertEq(f(UINT32_MAX, INT32_MAX), 2);
michael@0 164 assertEq(f(INT32_MAX, UINT32_MAX), 0);
michael@0 165 assertEq(f(UINT32_MAX, UINT32_MAX), 1);
michael@0 166 assertEq(f(INT32_MIN, INT32_MAX), 1);
michael@0 167 assertEq(f(INT32_MIN, UINT32_MAX), 0);
michael@0 168 assertEq(f(INT32_MIN, INT32_MIN), 1);
michael@0 169
michael@0 170 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k = 0; k = (i|0)%(j|0)|0; return k|0 } return f"));
michael@0 171 assertEq(f(4,2), 0);
michael@0 172 assertEq(f(3,2), 1);
michael@0 173 assertEq(f(3,-2), 1);
michael@0 174 assertEq(f(-3,-2), -1);
michael@0 175 assertEq(f(0, -1), 0);
michael@0 176 assertEq(f(0, INT32_MAX), 0);
michael@0 177 assertEq(f(0, INT32_MIN), 0);
michael@0 178 assertEq(f(INT32_MAX, 0), 0);
michael@0 179 assertEq(f(INT32_MIN, 0), 0);
michael@0 180 assertEq(f(-1, INT32_MAX), -1);
michael@0 181 assertEq(f(-1, INT32_MIN), -1);
michael@0 182 assertEq(f(INT32_MAX, -1), 0);
michael@0 183 assertEq(f(INT32_MIN, -1), 0); // !!
michael@0 184 assertEq(f(INT32_MAX, INT32_MAX), 0);
michael@0 185 assertEq(f(INT32_MAX, INT32_MIN), INT32_MAX);
michael@0 186 assertEq(f(INT32_MIN, INT32_MAX), -1);
michael@0 187 assertEq(f(INT32_MIN, INT32_MIN), 0);
michael@0 188
michael@0 189 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k = 0; k = (i|0)%4|0; return k|0 } return f"));
michael@0 190 assertEq(f(0), 0);
michael@0 191 assertEq(f(-1), -1);
michael@0 192 assertEq(f(-3), -3);
michael@0 193 assertEq(f(-4), 0);
michael@0 194 assertEq(f(INT32_MIN), 0);
michael@0 195 assertEq(f(3), 3);
michael@0 196 assertEq(f(4), 0);
michael@0 197 assertEq(f(INT32_MAX), 3);
michael@0 198
michael@0 199 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var k = 0; k = (i>>>0)%(j>>>0)|0; return k|0 } return f"));
michael@0 200 assertEq(f(4,2), 0);
michael@0 201 assertEq(f(3,2), 1);
michael@0 202 assertEq(f(3,-2), 3);
michael@0 203 assertEq(f(-3,-2), -3);
michael@0 204 assertEq(f(0, -1), 0);
michael@0 205 assertEq(f(0, INT32_MAX), 0);
michael@0 206 assertEq(f(0, INT32_MIN), 0);
michael@0 207 assertEq(f(0, UINT32_MAX), 0);
michael@0 208 assertEq(f(INT32_MAX, 0), 0);
michael@0 209 assertEq(f(INT32_MIN, 0), 0);
michael@0 210 assertEq(f(UINT32_MAX, 0), 0);
michael@0 211 assertEq(f(-1, INT32_MAX), 1);
michael@0 212 assertEq(f(-1, INT32_MIN), INT32_MAX);
michael@0 213 assertEq(f(-1, UINT32_MAX), 0);
michael@0 214 assertEq(f(INT32_MAX, -1), INT32_MAX);
michael@0 215 assertEq(f(INT32_MIN, -1), INT32_MIN);
michael@0 216 assertEq(f(UINT32_MAX, -1), 0);
michael@0 217 assertEq(f(INT32_MAX, INT32_MAX), 0);
michael@0 218 assertEq(f(INT32_MAX, INT32_MIN), INT32_MAX);
michael@0 219 assertEq(f(UINT32_MAX, INT32_MAX), 1);
michael@0 220 assertEq(f(INT32_MAX, UINT32_MAX), INT32_MAX);
michael@0 221 assertEq(f(UINT32_MAX, UINT32_MAX), 0);
michael@0 222 assertEq(f(INT32_MIN, INT32_MAX), 1);
michael@0 223 assertEq(f(INT32_MIN, UINT32_MAX), INT32_MIN);
michael@0 224 assertEq(f(INT32_MIN, INT32_MIN), 0);
michael@0 225
michael@0 226 assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 / 2)|0 } return f"))(), 2);
michael@0 227 assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (3 / 2)|0 } return f"))(), 1);
michael@0 228 assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 % 2)|0 } return f"))(), 0);
michael@0 229 assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (3 % 2)|0 } return f"))(), 1);
michael@0 230
michael@0 231 assertAsmTypeFail(USE_ASM + "function f() { var i=42,j=1.1; return +(i?i:j) } return f");
michael@0 232 assertEq(asmLink(asmCompile(USE_ASM + "function f() { var i=42,j=1.1; return +(i?+(i|0):j) } return f"))(), 42);
michael@0 233 assertEq(asmLink(asmCompile(USE_ASM + "function f() { var i=42,j=1; return (i?i:j)|0 } return f"))(), 42);
michael@0 234
michael@0 235 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i|0)>(j|0)?(i+10)|0:(j+100)|0)|0 } return f"));
michael@0 236 assertEq(f(2, 4), 104);
michael@0 237 assertEq(f(-2, -4), 8);
michael@0 238
michael@0 239 var f = asmLink(asmCompile(USE_ASM + "function f(i,j,k) { i=i|0;j=j|0;k=k|0; return ((i|0)>(j|0) ? (i|0)>(k|0) ? i : k : (j|0)>(k|0) ? j : k)|0 } return f"));
michael@0 240 assertEq(f(1,2,3), 3);
michael@0 241 assertEq(f(1,3,2), 3);
michael@0 242 assertEq(f(2,1,3), 3);
michael@0 243 assertEq(f(2,3,1), 3);
michael@0 244 assertEq(f(3,1,2), 3);
michael@0 245 assertEq(f(3,2,1), 3);
michael@0 246
michael@0 247 var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; var a=0,b=0; a=i>>>0 < 4294967292; b=(i|0) < -4; return (j ? a : b)|0 } return f"));
michael@0 248 assertEq(f(1,true), 1);
michael@0 249 assertEq(f(-1,true), 0);
michael@0 250 assertEq(f(-5,true), 1);
michael@0 251 assertEq(f(1,false), 0);
michael@0 252 assertEq(f(-1,false), 0);
michael@0 253 assertEq(f(-5,false), 1);
michael@0 254
michael@0 255 assertAsmTypeFail('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return (i32[0]+1)|0 } return f");
michael@0 256 new Float64Array(BUF_64KB)[0] = 2.3;
michael@0 257 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +(f64[0] + 2.0) } return f"), this, null, BUF_64KB)(), 2.3+2);
michael@0 258 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +(f64[0] - 2.0) } return f"), this, null, BUF_64KB)(), 2.3-2);
michael@0 259 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +(f64[0] * 2.0) } return f"), this, null, BUF_64KB)(), 2.3*2);
michael@0 260 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +(f64[0] / 2.0) } return f"), this, null, BUF_64KB)(), 2.3/2);
michael@0 261 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +(f64[0] % 2.0) } return f"), this, null, BUF_64KB)(), 2.3%2);
michael@0 262 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +-f64[0] } return f"), this, null, BUF_64KB)(), -2.3);
michael@0 263 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "var sqrt=glob.Math.sqrt; function f() { return +sqrt(f64[0]) } return f"), this, null, BUF_64KB)(), Math.sqrt(2.3));
michael@0 264 new Int32Array(BUF_64KB)[0] = 42;
michael@0 265 assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "var imul=glob.Math.imul; function f() { return imul(i32[0], 2)|0 } return f"), this, null, BUF_64KB)(), 84);
michael@0 266
michael@0 267 // beware ye phis of comparisons and integers
michael@0 268 var f = asmLink(asmCompile(USE_ASM + "function g(i) { i=i|0; if (i) { i = ((i|0) == 2); } else { i=(i-1)|0 } return i|0; } return g "));
michael@0 269 assertEq(f(0), -1);
michael@0 270 assertEq(f(1), 0);
michael@0 271 assertEq(f(2), 1);
michael@0 272 var f = asmLink(asmCompile(USE_ASM + "function g(i) { i=i|0; if (i) { i = !i } else { i=(i-1)|0 } return i|0; } return g "));
michael@0 273 assertEq(f(0), -1);
michael@0 274 assertEq(f(1), 0);
michael@0 275 assertEq(f(2), 0);
michael@0 276
michael@0 277 // beware ye constant-evaluate of boolean-producing operators
michael@0 278 assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 | (2 == 2))|0 } return f"))(), 5);
michael@0 279 assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 | (!2))|0 } return f"))(), 4);
michael@0 280
michael@0 281 // get that order-of-operations right!
michael@0 282 var buf = new ArrayBuffer(4096);
michael@0 283 asmLink(asmCompile('glob','imp','buf', USE_ASM + "var i32=new glob.Int32Array(buf); var x=0; function a() { return x|0 } function b() { x=42; return 0 } function f() { i32[((b()|0) & 0x3) >> 2] = a()|0 } return f"), this, null, buf)();
michael@0 284 assertEq(new Int32Array(buf)[0], 42);
michael@0 285
michael@0 286 assertEq(asmLink(asmCompile(USE_ASM + "function f() { var a=0,i=0; for (; ~~i!=4; i=(i+1)|0) { a = (a*5)|0; if (+(a>>>0) != 0.0) return 1; } return 0; } return f"))(), 0)
michael@0 287
michael@0 288 // Signed integer division by a power of two.
michael@0 289 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/1)|0; } return f;"));
michael@0 290 for (let i = 0; i < 31; i++) {
michael@0 291 assertEq(f(Math.pow(2,i)), Math.pow(2,i));
michael@0 292 assertEq(f(Math.pow(2,i)-1), Math.pow(2,i)-1);
michael@0 293 assertEq(f(-Math.pow(2,i)), -Math.pow(2,i));
michael@0 294 assertEq(f(-Math.pow(2,i)-1), -Math.pow(2,i)-1);
michael@0 295 }
michael@0 296 assertEq(f(INT32_MIN), INT32_MIN);
michael@0 297 assertEq(f(INT32_MAX), INT32_MAX);
michael@0 298 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/2)|0; } return f;"));
michael@0 299 for (let i = 0; i < 31; i++) {
michael@0 300 assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/2)|0);
michael@0 301 assertEq(f(Math.pow(2,i)-1), ((Math.pow(2,i)-1)/2)|0);
michael@0 302 assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i)/2)|0);
michael@0 303 assertEq(f(-Math.pow(2,i)-1), ((-Math.pow(2,i)-1)/2)|0);
michael@0 304 }
michael@0 305 assertEq(f(INT32_MIN), (INT32_MIN/2)|0);
michael@0 306 assertEq(f(INT32_MAX), (INT32_MAX/2)|0);
michael@0 307 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/4)|0; } return f;"));
michael@0 308 for (let i = 0; i < 31; i++) {
michael@0 309 assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/4)|0);
michael@0 310 assertEq(f(Math.pow(2,i)-1), ((Math.pow(2,i)-1)/4)|0);
michael@0 311 assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i)/4)|0);
michael@0 312 assertEq(f(-Math.pow(2,i)-1), ((-Math.pow(2,i)-1)/4)|0);
michael@0 313 }
michael@0 314 assertEq(f(INT32_MIN), (INT32_MIN/4)|0);
michael@0 315 assertEq(f(INT32_MAX), (INT32_MAX/4)|0);
michael@0 316 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/1073741824)|0; } return f;"));
michael@0 317 for (let i = 0; i < 31; i++) {
michael@0 318 assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/Math.pow(2,30))|0);
michael@0 319 assertEq(f(Math.pow(2,i)-1), ((Math.pow(2,i)-1)/Math.pow(2,30))|0);
michael@0 320 assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i)/Math.pow(2,30))|0);
michael@0 321 assertEq(f(-Math.pow(2,i)-1), ((-Math.pow(2,i)-1)/Math.pow(2,30))|0);
michael@0 322 }
michael@0 323 assertEq(f(INT32_MIN), (INT32_MIN/Math.pow(2,30))|0);
michael@0 324 assertEq(f(INT32_MAX), (INT32_MAX/Math.pow(2,30))|0);
michael@0 325 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((((i|0)/1)|0)+i)|0; } return f;"));
michael@0 326 for (let i = 0; i < 31; i++) {
michael@0 327 assertEq(f(Math.pow(2,i)), (Math.pow(2,i) * 2)|0);
michael@0 328 assertEq(f(Math.pow(2,i) - 1), ((Math.pow(2,i) - 1) * 2)|0);
michael@0 329 assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i) * 2)|0);
michael@0 330 assertEq(f(-Math.pow(2,i) - 1), ((-Math.pow(2,i) - 1) * 2)|0);
michael@0 331 }
michael@0 332 assertEq(f(INT32_MIN), (INT32_MIN * 2)|0);
michael@0 333 assertEq(f(INT32_MAX), (INT32_MAX * 2)|0);
michael@0 334
michael@0 335 // Signed integer division by a power of two - with a non-negative numerator!
michael@0 336 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/1)|0; } return f;"));
michael@0 337 for (let i = 0; i < 31; i++) {
michael@0 338 assertEq(f(Math.pow(2,i)), Math.pow(2,i));
michael@0 339 assertEq(f(Math.pow(2,i+1)-1), Math.pow(2,i+1)-1);
michael@0 340 }
michael@0 341 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/2)|0; } return f;"));
michael@0 342 for (let i = 0; i < 31; i++) {
michael@0 343 assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/2)|0);
michael@0 344 assertEq(f(Math.pow(2,i+1)-1), ((Math.pow(2,i+1)-1)/2)|0);
michael@0 345 }
michael@0 346 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/4)|0; } return f;"));
michael@0 347 for (let i = 0; i < 31; i++) {
michael@0 348 assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/4)|0);
michael@0 349 assertEq(f(Math.pow(2,i+1)-1), ((Math.pow(2,i+1)-1)/4)|0);
michael@0 350 }
michael@0 351 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/1073741824)|0; } return f;"));
michael@0 352 for (let i = 0; i < 31; i++) {
michael@0 353 assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/Math.pow(2,30))|0);
michael@0 354 assertEq(f(Math.pow(2,i+1)-1), ((Math.pow(2,i+1)-1)/Math.pow(2,30))|0);
michael@0 355 }
michael@0 356 var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((((i|0)/1)|0)+i)|0; } return f;"));
michael@0 357 for (let i = 0; i < 31; i++) {
michael@0 358 assertEq(f(Math.pow(2,i)), (Math.pow(2,i) * 2)|0);
michael@0 359 assertEq(f(Math.pow(2,i+1) - 1), ((Math.pow(2,i+1) - 1) * 2)|0);
michael@0 360 }

Mercurial Repository: The Tor Browser

Europalab SCM Repository Server

mercurial