1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/js/src/jit-test/tests/asm.js/testExpressions.js Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,360 @@
1.4 +load(libdir + "asm.js");
1.5 +
1.6 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i+j)|0 } return f");
1.7 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i+j)|0 } return f");
1.8 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i-j)|0 } return f");
1.9 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i-j)|0 } return f");
1.10 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i*j)|0 } return f");
1.11 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i*j)|0 } return f");
1.12 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (i*j)|0 } return f");
1.13 +assertAsmTypeFail(USE_ASM + "function f() { var i=0; return (i*1048576)|0 } return f");
1.14 +assertAsmTypeFail(USE_ASM + "function f() { var i=0; return (i*-1048576)|0 } return f");
1.15 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (i + (j*4))|0 } return f");
1.16 +assertAsmTypeFail(USE_ASM + "function f() { var two30 = 1073741824; return (((two30 * 524288 * 16) + 1) & 1)|0 } return f");
1.17 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i/j)|0 } return f");
1.18 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i/j)|0 } return f");
1.19 +assertAsmTypeFail(USE_ASM + "function f() { var i=1,j=1; return (i/j)|0 } return f");
1.20 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i%j)|0 } return f");
1.21 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i%j)|0 } return f");
1.22 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0,j=0; return (i<j)|0 } return f");
1.23 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0.0; return (i<j)|0 } return f");
1.24 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (i<j)|0 } return f");
1.25 +assertAsmTypeFail(USE_ASM + "function f() { var i=0.0; return (-i)|0 } return f");
1.26 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0; return (-(i+j))|0 } return f");
1.27 +
1.28 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i|0)/(k|0) } return f");
1.29 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i>>>0)/(k>>>0) } return f");
1.30 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i|0)%(k|0) } return f");
1.31 +assertAsmTypeFail(USE_ASM + "function f() { var i=0,j=0,k=0; k = (i>>>0)%(k>>>0) } return f");
1.32 +
1.33 +const UINT32_MAX = Math.pow(2,32)-1;
1.34 +const INT32_MIN = -Math.pow(2,31);
1.35 +const INT32_MAX = Math.pow(2,31)-1;
1.36 +
1.37 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (i*2)|0 } return f"));
1.38 +assertEq(f(0), 0);
1.39 +assertEq(f(INT32_MIN), (2*INT32_MIN)|0);
1.40 +assertEq(f(INT32_MAX), (2*INT32_MAX)|0);
1.41 +
1.42 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (2*i)|0 } return f"));
1.43 +assertEq(f(0), 0);
1.44 +assertEq(f(INT32_MIN), (2*INT32_MIN)|0);
1.45 +assertEq(f(INT32_MAX), (2*INT32_MAX)|0);
1.46 +
1.47 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (i*1048575)|0 } return f"));
1.48 +assertEq(f(0), 0);
1.49 +assertEq(f(2), (1048575*2)|0);
1.50 +assertEq(f(-1), (1048575*-1)|0);
1.51 +assertEq(f(INT32_MIN), (1048575*INT32_MIN)|0);
1.52 +assertEq(f(INT32_MAX), (1048575*INT32_MAX)|0);
1.53 +
1.54 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (1048575*i)|0 } return f"));
1.55 +assertEq(f(0), 0);
1.56 +assertEq(f(2), (1048575*2)|0);
1.57 +assertEq(f(-1), (1048575*-1)|0);
1.58 +assertEq(f(INT32_MIN), (1048575*INT32_MIN)|0);
1.59 +assertEq(f(INT32_MAX), (1048575*INT32_MAX)|0);
1.60 +
1.61 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=+i; var j=0; j=~~i; return j|0 } return f"));
1.62 +assertEq(f(0), 0);
1.63 +assertEq(f(3.5), 3);
1.64 +assertEq(f(-3.5), -3);
1.65 +assertEq(f(INT32_MAX), INT32_MAX);
1.66 +assertEq(f(INT32_MIN), INT32_MIN);
1.67 +assertEq(f(UINT32_MAX), -1);
1.68 +
1.69 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; var j=0.0; j=+~~i; return +j } return f"));
1.70 +assertEq(f(0), 0);
1.71 +assertEq(f(INT32_MAX), INT32_MAX);
1.72 +assertEq(f(INT32_MIN), INT32_MIN);
1.73 +
1.74 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; var j=0.1; j=+(i>>>0); return +j } return f"));
1.75 +assertEq(f(0), 0);
1.76 +assertEq(f(INT32_MAX), INT32_MAX);
1.77 +assertEq(f(UINT32_MAX), UINT32_MAX);
1.78 +
1.79 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return (-i)|0 } return f"));
1.80 +assertEq(f(0), 0);
1.81 +assertEq(f(-0), 0);
1.82 +assertEq(f(1), -1);
1.83 +assertEq(f(INT32_MAX), INT32_MIN+1);
1.84 +assertEq(f(INT32_MIN), INT32_MIN);
1.85 +
1.86 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=+i; return +(-i) } return f"));
1.87 +assertEq(f(0), -0);
1.88 +assertEq(f(-0), 0);
1.89 +assertEq(f(-1), 1);
1.90 +assertEq(f(1), -1);
1.91 +assertEq(f(Math.pow(2,50)), -Math.pow(2,50));
1.92 +assertEq(f(1.54e20), -1.54e20);
1.93 +
1.94 +var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i|0) < (j|0))|0 } return f"));
1.95 +assertEq(f(0, 1), 1);
1.96 +assertEq(f(1, 0), 0);
1.97 +assertEq(f(1, 1), 0);
1.98 +assertEq(f(INT32_MIN, INT32_MAX), 1);
1.99 +assertEq(f(INT32_MAX, INT32_MIN), 0);
1.100 +assertEq(f(0, INT32_MAX), 1);
1.101 +assertEq(f(INT32_MAX, 0), 0);
1.102 +assertEq(f(INT32_MIN, 0), 1);
1.103 +assertEq(f(0, INT32_MIN), 0);
1.104 +assertEq(f(UINT32_MAX, 0), 1);
1.105 +assertEq(f(0, UINT32_MAX), 0);
1.106 +
1.107 +var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i>>>0) < (j>>>0))|0 } return f"));
1.108 +assertEq(f(0, 1), 1);
1.109 +assertEq(f(1, 0), 0);
1.110 +assertEq(f(1, 1), 0);
1.111 +assertEq(f(INT32_MIN, INT32_MAX), 0);
1.112 +assertEq(f(INT32_MAX, INT32_MIN), 1);
1.113 +assertEq(f(0, INT32_MAX), 1);
1.114 +assertEq(f(INT32_MAX, 0), 0);
1.115 +assertEq(f(INT32_MIN, 0), 0);
1.116 +assertEq(f(0, INT32_MIN), 1);
1.117 +assertEq(f(UINT32_MAX, 0), 0);
1.118 +assertEq(f(0, UINT32_MAX), 1);
1.119 +
1.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);
1.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);
1.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), 1);
1.123 +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);
1.124 +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);
1.125 +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);
1.126 +
1.127 +var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i|0)/(j|0))|0 } return f"));
1.128 +assertEq(f(4,2), 2);
1.129 +assertEq(f(3,2), 1);
1.130 +assertEq(f(3,-2), -1);
1.131 +assertEq(f(-3,-2), 1);
1.132 +assertEq(f(0, -1), 0);
1.133 +assertEq(f(0, INT32_MAX), 0);
1.134 +assertEq(f(0, INT32_MIN), 0);
1.135 +assertEq(f(INT32_MAX, 0), 0);
1.136 +assertEq(f(INT32_MIN, 0), 0);
1.137 +assertEq(f(-1, INT32_MAX), 0);
1.138 +assertEq(f(-1, INT32_MIN), 0);
1.139 +assertEq(f(INT32_MAX, -1), -INT32_MAX);
1.140 +assertEq(f(INT32_MIN, -1), INT32_MIN); // !!
1.141 +assertEq(f(INT32_MAX, INT32_MAX), 1);
1.142 +assertEq(f(INT32_MAX, INT32_MIN), 0);
1.143 +assertEq(f(INT32_MIN, INT32_MAX), -1);
1.144 +assertEq(f(INT32_MIN, INT32_MIN), 1);
1.145 +
1.146 +var f = asmLink(asmCompile(USE_ASM + "function f(i,j) { i=i|0;j=j|0; return ((i>>>0)/(j>>>0))|0 } return f"));
1.147 +assertEq(f(4,2), 2);
1.148 +assertEq(f(3,2), 1);
1.149 +assertEq(f(3,-2), 0);
1.150 +assertEq(f(-3,-2), 0);
1.151 +assertEq(f(0, -1), 0);
1.152 +assertEq(f(0, INT32_MAX), 0);
1.153 +assertEq(f(0, INT32_MIN), 0);
1.154 +assertEq(f(0, UINT32_MAX), 0);
1.155 +assertEq(f(INT32_MAX, 0), 0);
1.156 +assertEq(f(INT32_MIN, 0), 0);
1.157 +assertEq(f(UINT32_MAX, 0), 0);
1.158 +assertEq(f(-1, INT32_MAX), 2);
1.159 +assertEq(f(-1, INT32_MIN), 1);
1.160 +assertEq(f(-1, UINT32_MAX), 1);
1.161 +assertEq(f(INT32_MAX, -1), 0);
1.162 +assertEq(f(INT32_MIN, -1), 0);
1.163 +assertEq(f(UINT32_MAX, -1), 1);
1.164 +assertEq(f(INT32_MAX, INT32_MAX), 1);
1.165 +assertEq(f(INT32_MAX, INT32_MIN), 0);
1.166 +assertEq(f(UINT32_MAX, INT32_MAX), 2);
1.167 +assertEq(f(INT32_MAX, UINT32_MAX), 0);
1.168 +assertEq(f(UINT32_MAX, UINT32_MAX), 1);
1.169 +assertEq(f(INT32_MIN, INT32_MAX), 1);
1.170 +assertEq(f(INT32_MIN, UINT32_MAX), 0);
1.171 +assertEq(f(INT32_MIN, INT32_MIN), 1);
1.172 +
1.173 +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"));
1.174 +assertEq(f(4,2), 0);
1.175 +assertEq(f(3,2), 1);
1.176 +assertEq(f(3,-2), 1);
1.177 +assertEq(f(-3,-2), -1);
1.178 +assertEq(f(0, -1), 0);
1.179 +assertEq(f(0, INT32_MAX), 0);
1.180 +assertEq(f(0, INT32_MIN), 0);
1.181 +assertEq(f(INT32_MAX, 0), 0);
1.182 +assertEq(f(INT32_MIN, 0), 0);
1.183 +assertEq(f(-1, INT32_MAX), -1);
1.184 +assertEq(f(-1, INT32_MIN), -1);
1.185 +assertEq(f(INT32_MAX, -1), 0);
1.186 +assertEq(f(INT32_MIN, -1), 0); // !!
1.187 +assertEq(f(INT32_MAX, INT32_MAX), 0);
1.188 +assertEq(f(INT32_MAX, INT32_MIN), INT32_MAX);
1.189 +assertEq(f(INT32_MIN, INT32_MAX), -1);
1.190 +assertEq(f(INT32_MIN, INT32_MIN), 0);
1.191 +
1.192 +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"));
1.193 +assertEq(f(0), 0);
1.194 +assertEq(f(-1), -1);
1.195 +assertEq(f(-3), -3);
1.196 +assertEq(f(-4), 0);
1.197 +assertEq(f(INT32_MIN), 0);
1.198 +assertEq(f(3), 3);
1.199 +assertEq(f(4), 0);
1.200 +assertEq(f(INT32_MAX), 3);
1.201 +
1.202 +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"));
1.203 +assertEq(f(4,2), 0);
1.204 +assertEq(f(3,2), 1);
1.205 +assertEq(f(3,-2), 3);
1.206 +assertEq(f(-3,-2), -3);
1.207 +assertEq(f(0, -1), 0);
1.208 +assertEq(f(0, INT32_MAX), 0);
1.209 +assertEq(f(0, INT32_MIN), 0);
1.210 +assertEq(f(0, UINT32_MAX), 0);
1.211 +assertEq(f(INT32_MAX, 0), 0);
1.212 +assertEq(f(INT32_MIN, 0), 0);
1.213 +assertEq(f(UINT32_MAX, 0), 0);
1.214 +assertEq(f(-1, INT32_MAX), 1);
1.215 +assertEq(f(-1, INT32_MIN), INT32_MAX);
1.216 +assertEq(f(-1, UINT32_MAX), 0);
1.217 +assertEq(f(INT32_MAX, -1), INT32_MAX);
1.218 +assertEq(f(INT32_MIN, -1), INT32_MIN);
1.219 +assertEq(f(UINT32_MAX, -1), 0);
1.220 +assertEq(f(INT32_MAX, INT32_MAX), 0);
1.221 +assertEq(f(INT32_MAX, INT32_MIN), INT32_MAX);
1.222 +assertEq(f(UINT32_MAX, INT32_MAX), 1);
1.223 +assertEq(f(INT32_MAX, UINT32_MAX), INT32_MAX);
1.224 +assertEq(f(UINT32_MAX, UINT32_MAX), 0);
1.225 +assertEq(f(INT32_MIN, INT32_MAX), 1);
1.226 +assertEq(f(INT32_MIN, UINT32_MAX), INT32_MIN);
1.227 +assertEq(f(INT32_MIN, INT32_MIN), 0);
1.228 +
1.229 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 / 2)|0 } return f"))(), 2);
1.230 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (3 / 2)|0 } return f"))(), 1);
1.231 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 % 2)|0 } return f"))(), 0);
1.232 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (3 % 2)|0 } return f"))(), 1);
1.233 +
1.234 +assertAsmTypeFail(USE_ASM + "function f() { var i=42,j=1.1; return +(i?i:j) } return f");
1.235 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { var i=42,j=1.1; return +(i?+(i|0):j) } return f"))(), 42);
1.236 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { var i=42,j=1; return (i?i:j)|0 } return f"))(), 42);
1.237 +
1.238 +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"));
1.239 +assertEq(f(2, 4), 104);
1.240 +assertEq(f(-2, -4), 8);
1.241 +
1.242 +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"));
1.243 +assertEq(f(1,2,3), 3);
1.244 +assertEq(f(1,3,2), 3);
1.245 +assertEq(f(2,1,3), 3);
1.246 +assertEq(f(2,3,1), 3);
1.247 +assertEq(f(3,1,2), 3);
1.248 +assertEq(f(3,2,1), 3);
1.249 +
1.250 +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"));
1.251 +assertEq(f(1,true), 1);
1.252 +assertEq(f(-1,true), 0);
1.253 +assertEq(f(-5,true), 1);
1.254 +assertEq(f(1,false), 0);
1.255 +assertEq(f(-1,false), 0);
1.256 +assertEq(f(-5,false), 1);
1.257 +
1.258 +assertAsmTypeFail('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return (i32[0]+1)|0 } return f");
1.259 +new Float64Array(BUF_64KB)[0] = 2.3;
1.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);
1.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);
1.262 +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);
1.263 +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);
1.264 +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);
1.265 +assertEq(asmLink(asmCompile('glob','imp','b', USE_ASM + HEAP_IMPORTS + "function f() { return +-f64[0] } return f"), this, null, BUF_64KB)(), -2.3);
1.266 +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));
1.267 +new Int32Array(BUF_64KB)[0] = 42;
1.268 +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);
1.269 +
1.270 +// beware ye phis of comparisons and integers
1.271 +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 "));
1.272 +assertEq(f(0), -1);
1.273 +assertEq(f(1), 0);
1.274 +assertEq(f(2), 1);
1.275 +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 "));
1.276 +assertEq(f(0), -1);
1.277 +assertEq(f(1), 0);
1.278 +assertEq(f(2), 0);
1.279 +
1.280 +// beware ye constant-evaluate of boolean-producing operators
1.281 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 | (2 == 2))|0 } return f"))(), 5);
1.282 +assertEq(asmLink(asmCompile(USE_ASM + "function f() { return (4 | (!2))|0 } return f"))(), 4);
1.283 +
1.284 +// get that order-of-operations right!
1.285 +var buf = new ArrayBuffer(4096);
1.286 +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)();
1.287 +assertEq(new Int32Array(buf)[0], 42);
1.288 +
1.289 +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)
1.290 +
1.291 +// Signed integer division by a power of two.
1.292 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/1)|0; } return f;"));
1.293 +for (let i = 0; i < 31; i++) {
1.294 + assertEq(f(Math.pow(2,i)), Math.pow(2,i));
1.295 + assertEq(f(Math.pow(2,i)-1), Math.pow(2,i)-1);
1.296 + assertEq(f(-Math.pow(2,i)), -Math.pow(2,i));
1.297 + assertEq(f(-Math.pow(2,i)-1), -Math.pow(2,i)-1);
1.298 +}
1.299 +assertEq(f(INT32_MIN), INT32_MIN);
1.300 +assertEq(f(INT32_MAX), INT32_MAX);
1.301 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/2)|0; } return f;"));
1.302 +for (let i = 0; i < 31; i++) {
1.303 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/2)|0);
1.304 + assertEq(f(Math.pow(2,i)-1), ((Math.pow(2,i)-1)/2)|0);
1.305 + assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i)/2)|0);
1.306 + assertEq(f(-Math.pow(2,i)-1), ((-Math.pow(2,i)-1)/2)|0);
1.307 +}
1.308 +assertEq(f(INT32_MIN), (INT32_MIN/2)|0);
1.309 +assertEq(f(INT32_MAX), (INT32_MAX/2)|0);
1.310 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/4)|0; } return f;"));
1.311 +for (let i = 0; i < 31; i++) {
1.312 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/4)|0);
1.313 + assertEq(f(Math.pow(2,i)-1), ((Math.pow(2,i)-1)/4)|0);
1.314 + assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i)/4)|0);
1.315 + assertEq(f(-Math.pow(2,i)-1), ((-Math.pow(2,i)-1)/4)|0);
1.316 +}
1.317 +assertEq(f(INT32_MIN), (INT32_MIN/4)|0);
1.318 +assertEq(f(INT32_MAX), (INT32_MAX/4)|0);
1.319 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((i|0)/1073741824)|0; } return f;"));
1.320 +for (let i = 0; i < 31; i++) {
1.321 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/Math.pow(2,30))|0);
1.322 + assertEq(f(Math.pow(2,i)-1), ((Math.pow(2,i)-1)/Math.pow(2,30))|0);
1.323 + assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i)/Math.pow(2,30))|0);
1.324 + assertEq(f(-Math.pow(2,i)-1), ((-Math.pow(2,i)-1)/Math.pow(2,30))|0);
1.325 +}
1.326 +assertEq(f(INT32_MIN), (INT32_MIN/Math.pow(2,30))|0);
1.327 +assertEq(f(INT32_MAX), (INT32_MAX/Math.pow(2,30))|0);
1.328 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; return ((((i|0)/1)|0)+i)|0; } return f;"));
1.329 +for (let i = 0; i < 31; i++) {
1.330 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i) * 2)|0);
1.331 + assertEq(f(Math.pow(2,i) - 1), ((Math.pow(2,i) - 1) * 2)|0);
1.332 + assertEq(f(-Math.pow(2,i)), (-Math.pow(2,i) * 2)|0);
1.333 + assertEq(f(-Math.pow(2,i) - 1), ((-Math.pow(2,i) - 1) * 2)|0);
1.334 +}
1.335 +assertEq(f(INT32_MIN), (INT32_MIN * 2)|0);
1.336 +assertEq(f(INT32_MAX), (INT32_MAX * 2)|0);
1.337 +
1.338 +// Signed integer division by a power of two - with a non-negative numerator!
1.339 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/1)|0; } return f;"));
1.340 +for (let i = 0; i < 31; i++) {
1.341 + assertEq(f(Math.pow(2,i)), Math.pow(2,i));
1.342 + assertEq(f(Math.pow(2,i+1)-1), Math.pow(2,i+1)-1);
1.343 +}
1.344 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/2)|0; } return f;"));
1.345 +for (let i = 0; i < 31; i++) {
1.346 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/2)|0);
1.347 + assertEq(f(Math.pow(2,i+1)-1), ((Math.pow(2,i+1)-1)/2)|0);
1.348 +}
1.349 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/4)|0; } return f;"));
1.350 +for (let i = 0; i < 31; i++) {
1.351 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/4)|0);
1.352 + assertEq(f(Math.pow(2,i+1)-1), ((Math.pow(2,i+1)-1)/4)|0);
1.353 +}
1.354 +var f = asmLink(asmCompile(USE_ASM + "function f(i) { i=i|0; i=(i&2147483647)|0; return ((i|0)/1073741824)|0; } return f;"));
1.355 +for (let i = 0; i < 31; i++) {
1.356 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i)/Math.pow(2,30))|0);
1.357 + assertEq(f(Math.pow(2,i+1)-1), ((Math.pow(2,i+1)-1)/Math.pow(2,30))|0);
1.358 +}
1.359 +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;"));
1.360 +for (let i = 0; i < 31; i++) {
1.361 + assertEq(f(Math.pow(2,i)), (Math.pow(2,i) * 2)|0);
1.362 + assertEq(f(Math.pow(2,i+1) - 1), ((Math.pow(2,i+1) - 1) * 2)|0);
1.363 +}
