<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head><meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>[209275] trunk</title>
</head>
<body>
<style type="text/css"><!--
#msg dl.meta { border: 1px #006 solid; background: #369; padding: 6px; color: #fff; }
#msg dl.meta dt { float: left; width: 6em; font-weight: bold; }
#msg dt:after { content:':';}
#msg dl, #msg dt, #msg ul, #msg li, #header, #footer, #logmsg { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; }
#msg dl a { font-weight: bold}
#msg dl a:link { color:#fc3; }
#msg dl a:active { color:#ff0; }
#msg dl a:visited { color:#cc6; }
h3 { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; font-weight: bold; }
#msg pre { overflow: auto; background: #ffc; border: 1px #fa0 solid; padding: 6px; }
#logmsg { background: #ffc; border: 1px #fa0 solid; padding: 1em 1em 0 1em; }
#logmsg p, #logmsg pre, #logmsg blockquote { margin: 0 0 1em 0; }
#logmsg p, #logmsg li, #logmsg dt, #logmsg dd { line-height: 14pt; }
#logmsg h1, #logmsg h2, #logmsg h3, #logmsg h4, #logmsg h5, #logmsg h6 { margin: .5em 0; }
#logmsg h1:first-child, #logmsg h2:first-child, #logmsg h3:first-child, #logmsg h4:first-child, #logmsg h5:first-child, #logmsg h6:first-child { margin-top: 0; }
#logmsg ul, #logmsg ol { padding: 0; list-style-position: inside; margin: 0 0 0 1em; }
#logmsg ul { text-indent: -1em; padding-left: 1em; }#logmsg ol { text-indent: -1.5em; padding-left: 1.5em; }
#logmsg > ul, #logmsg > ol { margin: 0 0 1em 0; }
#logmsg pre { background: #eee; padding: 1em; }
#logmsg blockquote { border: 1px solid #fa0; border-left-width: 10px; padding: 1em 1em 0 1em; background: white;}
#logmsg dl { margin: 0; }
#logmsg dt { font-weight: bold; }
#logmsg dd { margin: 0; padding: 0 0 0.5em 0; }
#logmsg dd:before { content:'\00bb';}
#logmsg table { border-spacing: 0px; border-collapse: collapse; border-top: 4px solid #fa0; border-bottom: 1px solid #fa0; background: #fff; }
#logmsg table th { text-align: left; font-weight: normal; padding: 0.2em 0.5em; border-top: 1px dotted #fa0; }
#logmsg table td { text-align: right; border-top: 1px dotted #fa0; padding: 0.2em 0.5em; }
#logmsg table thead th { text-align: center; border-bottom: 1px solid #fa0; }
#logmsg table th.Corner { text-align: left; }
#logmsg hr { border: none 0; border-top: 2px dashed #fa0; height: 1px; }
#header, #footer { color: #fff; background: #636; border: 1px #300 solid; padding: 6px; }
#patch { width: 100%; }
#patch h4 {font-family: verdana,arial,helvetica,sans-serif;font-size:10pt;padding:8px;background:#369;color:#fff;margin:0;}
#patch .propset h4, #patch .binary h4 {margin:0;}
#patch pre {padding:0;line-height:1.2em;margin:0;}
#patch .diff {width:100%;background:#eee;padding: 0 0 10px 0;overflow:auto;}
#patch .propset .diff, #patch .binary .diff {padding:10px 0;}
#patch span {display:block;padding:0 10px;}
#patch .modfile, #patch .addfile, #patch .delfile, #patch .propset, #patch .binary, #patch .copfile {border:1px solid #ccc;margin:10px 0;}
#patch ins {background:#dfd;text-decoration:none;display:block;padding:0 10px;}
#patch del {background:#fdd;text-decoration:none;display:block;padding:0 10px;}
#patch .lines, .info {color:#888;background:#fff;}
--></style>
<div id="msg">
<dl class="meta">
<dt>Revision</dt> <dd><a href="http://trac.webkit.org/projects/webkit/changeset/209275">209275</a></dd>
<dt>Author</dt> <dd>keith_miller@apple.com</dd>
<dt>Date</dt> <dd>2016-12-02 14:59:20 -0800 (Fri, 02 Dec 2016)</dd>
</dl>
<h3>Log Message</h3>
<pre>Add Wasm floating point nearest and trunc
https://bugs.webkit.org/show_bug.cgi?id=165339
Reviewed by Filip Pizlo.
JSTests:
* wasm/function-tests/nearest.js: Added.
* wasm/function-tests/trunc.js: Added.
Source/JavaScriptCore:
This patch also allows any wasm primitive type to be passed as a
string.
* assembler/MacroAssemblerARM64.h:
(JSC::MacroAssemblerARM64::nearestIntDouble):
(JSC::MacroAssemblerARM64::nearestIntFloat):
(JSC::MacroAssemblerARM64::truncDouble):
(JSC::MacroAssemblerARM64::truncFloat):
* assembler/MacroAssemblerX86Common.h:
(JSC::MacroAssemblerX86Common::nearestIntDouble):
(JSC::MacroAssemblerX86Common::nearestIntFloat):
* jsc.cpp:
(box):
* wasm/WasmB3IRGenerator.cpp:
(JSC::Wasm::B3IRGenerator::addOp<F64ConvertUI64>):
(JSC::Wasm::B3IRGenerator::addOp<OpType::F32ConvertUI64>):
(JSC::Wasm::B3IRGenerator::addOp<OpType::F64Nearest>):
(JSC::Wasm::B3IRGenerator::addOp<OpType::F32Nearest>):
(JSC::Wasm::B3IRGenerator::addOp<OpType::F64Trunc>):
(JSC::Wasm::B3IRGenerator::addOp<OpType::F32Trunc>):
* wasm/WasmFunctionParser.h:
(JSC::Wasm::FunctionParser<Context>::parseExpression):</pre>
<h3>Modified Paths</h3>
<ul>
<li><a href="#trunkJSTestsChangeLog">trunk/JSTests/ChangeLog</a></li>
<li><a href="#trunkSourceJavaScriptCoreChangeLog">trunk/Source/JavaScriptCore/ChangeLog</a></li>
<li><a href="#trunkSourceJavaScriptCoreassemblerMacroAssemblerARM64h">trunk/Source/JavaScriptCore/assembler/MacroAssemblerARM64.h</a></li>
<li><a href="#trunkSourceJavaScriptCoreassemblerMacroAssemblerX86Commonh">trunk/Source/JavaScriptCore/assembler/MacroAssemblerX86Common.h</a></li>
<li><a href="#trunkSourceJavaScriptCorejsccpp">trunk/Source/JavaScriptCore/jsc.cpp</a></li>
<li><a href="#trunkSourceJavaScriptCorewasmWasmB3IRGeneratorcpp">trunk/Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp</a></li>
<li><a href="#trunkSourceJavaScriptCorewasmWasmFunctionParserh">trunk/Source/JavaScriptCore/wasm/WasmFunctionParser.h</a></li>
</ul>
<h3>Added Paths</h3>
<ul>
<li><a href="#trunkJSTestswasmfunctiontestsnearestjs">trunk/JSTests/wasm/function-tests/nearest.js</a></li>
<li><a href="#trunkJSTestswasmfunctionteststruncjs">trunk/JSTests/wasm/function-tests/trunc.js</a></li>
</ul>
</div>
<div id="patch">
<h3>Diff</h3>
<a id="trunkJSTestsChangeLog"></a>
<div class="modfile"><h4>Modified: trunk/JSTests/ChangeLog (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/JSTests/ChangeLog 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/JSTests/ChangeLog 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -1,3 +1,13 @@
</span><ins>+2016-12-02 Keith Miller <keith_miller@apple.com>
+
+ Add Wasm floating point nearest and trunc
+ https://bugs.webkit.org/show_bug.cgi?id=165339
+
+ Reviewed by Filip Pizlo.
+
+ * wasm/function-tests/nearest.js: Added.
+ * wasm/function-tests/trunc.js: Added.
+
</ins><span class="cx"> 2016-12-02 JF Bastien <jfbastien@apple.com>
</span><span class="cx">
</span><span class="cx"> WebAssembly: revert patch causing odd breakage
</span></span></pre></div>
<a id="trunkJSTestswasmfunctiontestsnearestjs"></a>
<div class="addfile"><h4>Added: trunk/JSTests/wasm/function-tests/nearest.js (0 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/JSTests/wasm/function-tests/nearest.js (rev 0)
+++ trunk/JSTests/wasm/function-tests/nearest.js 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -0,0 +1,60 @@
</span><ins>+import Builder from '../Builder.js'
+
+const b = new Builder();
+b.Type().End()
+ .Function().End()
+ .Code()
+ .Function({ params: ["f32"], ret: "f32" }, [])
+ .GetLocal(0)
+ .F32Nearest()
+ .End()
+
+ .Function({ params: ["f64"], ret: "f64" }, [])
+ .GetLocal(0)
+ .F64Nearest()
+ .End()
+
+const bin = b.WebAssembly()
+bin.trim();
+testWasmModuleFunctions(bin.get(), 2,
+ [[{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x0p+0" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x0p+0" }]],
+ [{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x1p-149" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x1p-149" }]],
+ [{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x1p-126" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x1p-126" }]],
+ [{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x1p-1" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x1p-1" }]],
+ [{ type: "f32", value: "-0x1p+0" }, [{ type: "f32", value: "-0x1p+0" }]],
+ [{ type: "f32", value: "0x1p+0" }, [{ type: "f32", value: "0x1p+0" }]],
+ [{ type: "f32", value: "-0x1.8p+2" }, [{ type: "f32", value: "-0x1.921fb6p+2" }]],
+ [{ type: "f32", value: "0x1.8p+2" }, [{ type: "f32", value: "0x1.921fb6p+2" }]],
+ [{ type: "f32", value: "-0x1.fffffep+127" }, [{ type: "f32", value: "-0x1.fffffep+127" }]],
+ [{ type: "f32", value: "0x1.fffffep+127" }, [{ type: "f32", value: "0x1.fffffep+127" }]],
+ [{ type: "f32", value: "-infinity" }, [{ type: "f32", value: "-infinity" }]],
+ [{ type: "f32", value: "infinity" }, [{ type: "f32", value: "infinity" }]],
+ [{ type: "f32", value: "-nan" }, [{ type: "f32", value: "-nan" }]],
+ [{ type: "f32", value: "nan" }, [{ type: "f32", value: "nan" }]],
+ ],
+
+ [[{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x0p+0" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x0p+0" }]],
+ [{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x0.0000000000001p-1022" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x0.0000000000001p-1022" }]],
+ [{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x1p-1022" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x1p-1022" }]],
+ [{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x1p-1" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x1p-1" }]],
+ [{ type: "f64", value: "-0x1p+0" }, [{ type: "f64", value: "-0x1p+0" }]],
+ [{ type: "f64", value: "0x1p+0" }, [{ type: "f64", value: "0x1p+0" }]],
+ [{ type: "f64", value: "-0x1.8p+2" }, [{ type: "f64", value: "-0x1.921fb54442d18p+2" }]],
+ [{ type: "f64", value: "0x1.8p+2" }, [{ type: "f64", value: "0x1.921fb54442d18p+2" }]],
+ [{ type: "f64", value: "-0x1.fffffffffffffp+1023" }, [{ type: "f64", value: "-0x1.fffffffffffffp+1023" }]],
+ [{ type: "f64", value: "0x1.fffffffffffffp+1023" }, [{ type: "f64", value: "0x1.fffffffffffffp+1023" }]],
+ [{ type: "f64", value: "-infinity" }, [{ type: "f64", value: "-infinity" }]],
+ [{ type: "f64", value: "infinity" }, [{ type: "f64", value: "infinity" }]],
+ [{ type: "f64", value: "-nan" }, [{ type: "f64", value: "-nan" }]],
+ [{ type: "f64", value: "nan" }, [{ type: "f64", value: "nan" }]]
+ ]
+
+ );
</ins></span></pre></div>
<a id="trunkJSTestswasmfunctionteststruncjs"></a>
<div class="addfile"><h4>Added: trunk/JSTests/wasm/function-tests/trunc.js (0 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/JSTests/wasm/function-tests/trunc.js (rev 0)
+++ trunk/JSTests/wasm/function-tests/trunc.js 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -0,0 +1,59 @@
</span><ins>+import Builder from '../Builder.js'
+
+const b = new Builder();
+b.Type().End()
+ .Function().End()
+ .Code()
+ .Function({ params: ["f32"], ret: "f32" }, [])
+ .GetLocal(0)
+ .F32Trunc()
+ .End()
+
+ .Function({ params: ["f64"], ret: "f64" }, [])
+ .GetLocal(0)
+ .F64Trunc()
+ .End()
+
+const bin = b.WebAssembly()
+bin.trim();
+testWasmModuleFunctions(bin.get(), 2,
+ [[{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x0p+0" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x0p+0" }]],
+ [{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x1p-149" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x1p-149" }]],
+ [{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x1p-126" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x1p-126" }]],
+ [{ type: "f32", value: "-0x0p+0" }, [{ type: "f32", value: "-0x1p-1" }]],
+ [{ type: "f32", value: "0x0p+0" }, [{ type: "f32", value: "0x1p-1" }]],
+ [{ type: "f32", value: "-0x1p+0" }, [{ type: "f32", value: "-0x1p+0" }]],
+ [{ type: "f32", value: "0x1p+0" }, [{ type: "f32", value: "0x1p+0" }]],
+ [{ type: "f32", value: "-0x1.8p+2" }, [{ type: "f32", value: "-0x1.921fb6p+2" }]],
+ [{ type: "f32", value: "0x1.8p+2" }, [{ type: "f32", value: "0x1.921fb6p+2" }]],
+ [{ type: "f32", value: "-0x1.fffffep+127" }, [{ type: "f32", value: "-0x1.fffffep+127" }]],
+ [{ type: "f32", value: "0x1.fffffep+127" }, [{ type: "f32", value: "0x1.fffffep+127" }]],
+ [{ type: "f32", value: "-infinity" }, [{ type: "f32", value: "-infinity" }]],
+ [{ type: "f32", value: "infinity" }, [{ type: "f32", value: "infinity" }]],
+ [{ type: "f32", value: "-nan" }, [{ type: "f32", value: "-nan" }]],
+ [{ type: "f32", value: "nan" }, [{ type: "f32", value: "nan" }]]
+ ],
+
+ [[{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x0p+0" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x0p+0" }]],
+ [{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x0.0000000000001p-1022" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x0.0000000000001p-1022" }]],
+ [{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x1p-1022" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x1p-1022" }]],
+ [{ type: "f64", value: "-0x0p+0" }, [{ type: "f64", value: "-0x1p-1" }]],
+ [{ type: "f64", value: "0x0p+0" }, [{ type: "f64", value: "0x1p-1" }]],
+ [{ type: "f64", value: "-0x1p+0" }, [{ type: "f64", value: "-0x1p+0" }]],
+ [{ type: "f64", value: "0x1p+0" }, [{ type: "f64", value: "0x1p+0" }]],
+ [{ type: "f64", value: "-0x1.8p+2" }, [{ type: "f64", value: "-0x1.921fb54442d18p+2" }]],
+ [{ type: "f64", value: "0x1.8p+2" }, [{ type: "f64", value: "0x1.921fb54442d18p+2" }]],
+ [{ type: "f64", value: "-0x1.fffffffffffffp+1023" }, [{ type: "f64", value: "-0x1.fffffffffffffp+1023" }]],
+ [{ type: "f64", value: "0x1.fffffffffffffp+1023" }, [{ type: "f64", value: "0x1.fffffffffffffp+1023" }]],
+ [{ type: "f64", value: "-infinity" }, [{ type: "f64", value: "-infinity" }]],
+ [{ type: "f64", value: "infinity" }, [{ type: "f64", value: "infinity" }]],
+ [{ type: "f64", value: "-nan" }, [{ type: "f64", value: "-nan" }]],
+ [{ type: "f64", value: "nan" }, [{ type: "f64", value: "nan" }]]
+ ]
+ );
</ins></span></pre></div>
<a id="trunkSourceJavaScriptCoreChangeLog"></a>
<div class="modfile"><h4>Modified: trunk/Source/JavaScriptCore/ChangeLog (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/Source/JavaScriptCore/ChangeLog 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/Source/JavaScriptCore/ChangeLog 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -1,3 +1,33 @@
</span><ins>+2016-12-02 Keith Miller <keith_miller@apple.com>
+
+ Add Wasm floating point nearest and trunc
+ https://bugs.webkit.org/show_bug.cgi?id=165339
+
+ Reviewed by Filip Pizlo.
+
+ This patch also allows any wasm primitive type to be passed as a
+ string.
+
+ * assembler/MacroAssemblerARM64.h:
+ (JSC::MacroAssemblerARM64::nearestIntDouble):
+ (JSC::MacroAssemblerARM64::nearestIntFloat):
+ (JSC::MacroAssemblerARM64::truncDouble):
+ (JSC::MacroAssemblerARM64::truncFloat):
+ * assembler/MacroAssemblerX86Common.h:
+ (JSC::MacroAssemblerX86Common::nearestIntDouble):
+ (JSC::MacroAssemblerX86Common::nearestIntFloat):
+ * jsc.cpp:
+ (box):
+ * wasm/WasmB3IRGenerator.cpp:
+ (JSC::Wasm::B3IRGenerator::addOp<F64ConvertUI64>):
+ (JSC::Wasm::B3IRGenerator::addOp<OpType::F32ConvertUI64>):
+ (JSC::Wasm::B3IRGenerator::addOp<OpType::F64Nearest>):
+ (JSC::Wasm::B3IRGenerator::addOp<OpType::F32Nearest>):
+ (JSC::Wasm::B3IRGenerator::addOp<OpType::F64Trunc>):
+ (JSC::Wasm::B3IRGenerator::addOp<OpType::F32Trunc>):
+ * wasm/WasmFunctionParser.h:
+ (JSC::Wasm::FunctionParser<Context>::parseExpression):
+
</ins><span class="cx"> 2016-12-02 JF Bastien <jfbastien@apple.com>
</span><span class="cx">
</span><span class="cx"> WebAssembly: revert patch causing odd breakage
</span></span></pre></div>
<a id="trunkSourceJavaScriptCoreassemblerMacroAssemblerARM64h"></a>
<div class="modfile"><h4>Modified: trunk/Source/JavaScriptCore/assembler/MacroAssemblerARM64.h (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/Source/JavaScriptCore/assembler/MacroAssemblerARM64.h 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/Source/JavaScriptCore/assembler/MacroAssemblerARM64.h 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -1540,6 +1540,16 @@
</span><span class="cx"> m_assembler.fadd<32>(dest, op1, op2);
</span><span class="cx"> }
</span><span class="cx">
</span><ins>+ void nearestIntDouble(FPRegisterID src, FPRegisterID dest)
+ {
+ m_assembler.frinta<64>(dest, src);
+ }
+
+ void nearestIntFloat(FPRegisterID src, FPRegisterID dest)
+ {
+ m_assembler.frinta<32>(dest, src);
+ }
+
</ins><span class="cx"> void ceilDouble(FPRegisterID src, FPRegisterID dest)
</span><span class="cx"> {
</span><span class="cx"> m_assembler.frintp<64>(dest, src);
</span><span class="lines">@@ -1693,6 +1703,16 @@
</span><span class="cx"> m_assembler.ucvtf<32, 64>(dest, src);
</span><span class="cx"> }
</span><span class="cx">
</span><ins>+ void truncDouble(FPRegisterID src, FPRegisterID dest)
+ {
+ m_assembler.frintz<64, 64>(dest, src);
+ }
+
+ void truncFloat(FPRegisterID src, FPRegisterID dest)
+ {
+ m_assembler.frintz<32, 32>(dest, src);
+ }
+
</ins><span class="cx"> void divDouble(FPRegisterID src, FPRegisterID dest)
</span><span class="cx"> {
</span><span class="cx"> divDouble(dest, src, dest);
</span></span></pre></div>
<a id="trunkSourceJavaScriptCoreassemblerMacroAssemblerX86Commonh"></a>
<div class="modfile"><h4>Modified: trunk/Source/JavaScriptCore/assembler/MacroAssemblerX86Common.h (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/Source/JavaScriptCore/assembler/MacroAssemblerX86Common.h 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/Source/JavaScriptCore/assembler/MacroAssemblerX86Common.h 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -757,6 +757,16 @@
</span><span class="cx"> m_assembler.xorpd_rr(src, dst);
</span><span class="cx"> }
</span><span class="cx">
</span><ins>+ void nearestIntDouble(FPRegisterID src, FPRegisterID dst)
+ {
+ m_assembler.roundsd_rr(src, dst, X86Assembler::RoundingType::ToNearestWithTiesToEven);
+ }
+
+ void nearestIntFloat(FPRegisterID src, FPRegisterID dst)
+ {
+ m_assembler.roundss_rr(src, dst, X86Assembler::RoundingType::ToNearestWithTiesToEven);
+ }
+
</ins><span class="cx"> void ceilDouble(FPRegisterID src, FPRegisterID dst)
</span><span class="cx"> {
</span><span class="cx"> m_assembler.roundsd_rr(src, dst, X86Assembler::RoundingType::TowardInfiniti);
</span></span></pre></div>
<a id="trunkSourceJavaScriptCorejsccpp"></a>
<div class="modfile"><h4>Modified: trunk/Source/JavaScriptCore/jsc.cpp (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/Source/JavaScriptCore/jsc.cpp 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/Source/JavaScriptCore/jsc.cpp 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -2510,33 +2510,60 @@
</span><span class="cx">
</span><span class="cx"> static JSValue box(ExecState* exec, VM& vm, JSValue wasmValue)
</span><span class="cx"> {
</span><ins>+
</ins><span class="cx"> JSString* type = jsCast<JSString*>(wasmValue.get(exec, makeIdentifier(vm, "type")));
</span><span class="cx"> JSValue value = wasmValue.get(exec, makeIdentifier(vm, "value"));
</span><span class="cx">
</span><del>- const String& typeString = type->value(exec);
- if (typeString == "i64") {
- int64_t result;
</del><ins>+ auto unboxString = [&] (const char* hexFormat, const char* decFormat, auto& result) {
+ if (!value.isString())
+ return false;
+
</ins><span class="cx"> const char* str = toCString(jsCast<JSString*>(value)->value(exec)).data();
</span><span class="cx"> int scanResult;
</span><del>- if (std::strlen(str) > 2 && str[0] == '0' && str[1] == 'x')
- scanResult = sscanf(str, "%llx", &result);
</del><ins>+ int length = std::strlen(str);
+ if ((length > 2 && (str[0] == '0' && str[1] == 'x'))
+ || (length > 3 && (str[0] == '-' && str[1] == '0' && str[2] == 'x')))
+#if COMPILER(CLANG)
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wformat-nonliteral"
+#endif
+ scanResult = sscanf(str, hexFormat, &result);
</ins><span class="cx"> else
</span><del>- scanResult = sscanf(str, "%lld", &result);
</del><ins>+ scanResult = sscanf(str, decFormat, &result);
+#if COMPILER(CLANG)
+#pragma clang diagnostic pop
+#endif
</ins><span class="cx"> RELEASE_ASSERT(scanResult != EOF);
</span><ins>+ return true;
+ };
+
+ const String& typeString = type->value(exec);
+ if (typeString == "i64") {
+ int64_t result;
+ if (!unboxString("%llx", "%lld", result))
+ CRASH();
</ins><span class="cx"> return JSValue::decode(result);
</span><span class="cx"> }
</span><del>- RELEASE_ASSERT(value.isNumber());
</del><span class="cx">
</span><span class="cx"> if (typeString == "i32") {
</span><del>- RELEASE_ASSERT(value.isInt32());
- return JSValue::decode(static_cast<uint32_t>(value.asInt32()));
</del><ins>+ int32_t result;
+ if (!unboxString("%x", "%d", result))
+ result = value.asInt32();
+ return JSValue::decode(static_cast<uint32_t>(result));
</ins><span class="cx"> }
</span><span class="cx">
</span><del>- if (typeString == "f32")
- return JSValue::decode(bitwise_cast<uint32_t>(value.toFloat(exec)));
</del><ins>+ if (typeString == "f32") {
+ float result;
+ if (!unboxString("%a", "%f", result))
+ result = value.toFloat(exec);
+ return JSValue::decode(bitwise_cast<uint32_t>(result));
+ }
</ins><span class="cx">
</span><span class="cx"> RELEASE_ASSERT(typeString == "f64");
</span><del>- return JSValue::decode(bitwise_cast<uint64_t>(value.asNumber()));
</del><ins>+ double result;
+ if (!unboxString("%la", "%lf", result))
+ result = value.asNumber();
+ return JSValue::decode(bitwise_cast<uint64_t>(result));
</ins><span class="cx"> }
</span><span class="cx">
</span><span class="cx"> static JSValue callWasmFunction(VM* vm, const B3::Compilation& code, Vector<JSValue>& boxedArgs)
</span></span></pre></div>
<a id="trunkSourceJavaScriptCorewasmWasmB3IRGeneratorcpp"></a>
<div class="modfile"><h4>Modified: trunk/Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/Source/JavaScriptCore/wasm/WasmB3IRGenerator.cpp 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -29,6 +29,7 @@
</span><span class="cx"> #if ENABLE(WEBASSEMBLY)
</span><span class="cx">
</span><span class="cx"> #include "B3BasicBlockInlines.h"
</span><ins>+#include "B3CCallValue.h"
</ins><span class="cx"> #include "B3ConstPtrValue.h"
</span><span class="cx"> #include "B3FixSSA.h"
</span><span class="cx"> #include "B3StackmapGenerationParams.h"
</span><span class="lines">@@ -749,7 +750,7 @@
</span><span class="cx"> PatchpointValue* patchpoint = m_currentBlock->appendNew<PatchpointValue>(m_proc, Float, Origin());
</span><span class="cx"> if (isX86())
</span><span class="cx"> patchpoint->numGPScratchRegisters = 1;
</span><del>- patchpoint->append(ConstrainedValue(arg, ValueRep::WarmAny));
</del><ins>+ patchpoint->append(arg, ValueRep::SomeRegister);
</ins><span class="cx"> patchpoint->setGenerator([=] (CCallHelpers& jit, const StackmapGenerationParams& params) {
</span><span class="cx"> AllowMacroScratchRegisterUsage allowScratch(jit);
</span><span class="cx"> #if CPU(X86_64)
</span><span class="lines">@@ -769,7 +770,7 @@
</span><span class="cx"> PatchpointValue* patchpoint = m_currentBlock->appendNew<PatchpointValue>(m_proc, Float, Origin());
</span><span class="cx"> if (isX86())
</span><span class="cx"> patchpoint->numGPScratchRegisters = 1;
</span><del>- patchpoint->append(ConstrainedValue(arg, ValueRep::WarmAny));
</del><ins>+ patchpoint->append(arg, ValueRep::SomeRegister);
</ins><span class="cx"> patchpoint->setGenerator([=] (CCallHelpers& jit, const StackmapGenerationParams& params) {
</span><span class="cx"> AllowMacroScratchRegisterUsage allowScratch(jit);
</span><span class="cx"> #if CPU(X86_64)
</span><span class="lines">@@ -783,6 +784,70 @@
</span><span class="cx"> return true;
</span><span class="cx"> }
</span><span class="cx">
</span><ins>+template<>
+bool B3IRGenerator::addOp<OpType::F64Nearest>(ExpressionType arg, ExpressionType& result)
+{
+ PatchpointValue* patchpoint = m_currentBlock->appendNew<PatchpointValue>(m_proc, Double, Origin());
+ patchpoint->append(arg, ValueRep::SomeRegister);
+ patchpoint->setGenerator([=] (CCallHelpers& jit, const StackmapGenerationParams& params) {
+ jit.nearestIntDouble(params[1].fpr(), params[0].fpr());
+ });
+ patchpoint->effects = Effects::none();
+ result = patchpoint;
+ return true;
+}
+
+template<>
+bool B3IRGenerator::addOp<OpType::F32Nearest>(ExpressionType arg, ExpressionType& result)
+{
+ PatchpointValue* patchpoint = m_currentBlock->appendNew<PatchpointValue>(m_proc, Float, Origin());
+ patchpoint->append(arg, ValueRep::SomeRegister);
+ patchpoint->setGenerator([=] (CCallHelpers& jit, const StackmapGenerationParams& params) {
+ jit.nearestIntFloat(params[1].fpr(), params[0].fpr());
+ });
+ patchpoint->effects = Effects::none();
+ result = patchpoint;
+ return true;
+}
+
+template<>
+bool B3IRGenerator::addOp<OpType::F64Trunc>(ExpressionType arg, ExpressionType& result)
+{
+#if CPU(X86_64)
+ double (*truncDouble)(double) = std::nearbyint;
+ Value* truncAddress = m_currentBlock->appendNew<ConstPtrValue>(m_proc, Origin(), truncDouble);
+ result = m_currentBlock->appendNew<CCallValue>(m_proc, Double, Origin(), Effects::none(), truncAddress, arg);
+#else
+ PatchpointValue* patchpoint = m_currentBlock->appendNew<PatchpointValue>(m_proc, Double, Origin());
+ patchpoint->append(arg, ValueRep::SomeRegister);
+ patchpoint->setGenerator([=] (CCallHelpers& jit, const StackmapGenerationParams& params) {
+ jit.truncDouble(params[1].fpr(), params[0].fpr());
+ });
+ patchpoint->effects = Effects::none();
+ result = patchpoint;
+#endif
+ return true;
+}
+
+template<>
+bool B3IRGenerator::addOp<OpType::F32Trunc>(ExpressionType arg, ExpressionType& result)
+{
+#if CPU(X86_64)
+ float (*roundFloat)(float) = std::trunc;
+ Value* roundAddress = m_currentBlock->appendNew<ConstPtrValue>(m_proc, Origin(), roundFloat);
+ result = m_currentBlock->appendNew<CCallValue>(m_proc, Float, Origin(), Effects::none(), roundAddress, arg);
+#else
+ PatchpointValue* patchpoint = m_currentBlock->appendNew<PatchpointValue>(m_proc, Float, Origin());
+ patchpoint->append(arg, ValueRep::SomeRegister);
+ patchpoint->setGenerator([=] (CCallHelpers& jit, const StackmapGenerationParams& params) {
+ jit.truncFloat(params[1].fpr(), params[0].fpr());
+ });
+ patchpoint->effects = Effects::none();
+ result = patchpoint;
+#endif
+ return true;
+}
+
</ins><span class="cx"> } } // namespace JSC::Wasm
</span><span class="cx">
</span><span class="cx"> #include "WasmB3IRGeneratorInlines.h"
</span></span></pre></div>
<a id="trunkSourceJavaScriptCorewasmWasmFunctionParserh"></a>
<div class="modfile"><h4>Modified: trunk/Source/JavaScriptCore/wasm/WasmFunctionParser.h (209274 => 209275)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/Source/JavaScriptCore/wasm/WasmFunctionParser.h 2016-12-02 22:53:19 UTC (rev 209274)
+++ trunk/Source/JavaScriptCore/wasm/WasmFunctionParser.h 2016-12-02 22:59:20 UTC (rev 209275)
</span><span class="lines">@@ -213,6 +213,10 @@
</span><span class="cx">
</span><span class="cx"> case OpType::F32ConvertUI64: return unaryCase<OpType::F32ConvertUI64>();
</span><span class="cx"> case OpType::F64ConvertUI64: return unaryCase<OpType::F64ConvertUI64>();
</span><ins>+ case OpType::F32Nearest: return unaryCase<OpType::F32Nearest>();
+ case OpType::F64Nearest: return unaryCase<OpType::F64Nearest>();
+ case OpType::F32Trunc: return unaryCase<OpType::F32Trunc>();
+ case OpType::F64Trunc: return unaryCase<OpType::F64Trunc>();
</ins><span class="cx"> #define CREATE_CASE(name, id, b3op) case OpType::name: return unaryCase<OpType::name>();
</span><span class="cx"> FOR_EACH_WASM_SIMPLE_UNARY_OP(CREATE_CASE)
</span><span class="cx"> #undef CREATE_CASE
</span></span></pre>
</div>
</div>
</body>
</html>