No subject
Tue May 3 15:05:30 PDT 2016
As implied by the log2(alignment) encoding, the alignment must be a power of 2. As an additional validation criteria, the alignment must be less or equal to natural alignment. The bits after the log(memory-access-size) least-significant bits must be set to 0. These bits are reserved for future ð¦ use (e.g., for shared memory ordering requirements).
We currently don't check this. I'll add FIXME in the code, and comment out related spec tests with FIXME as well.
We should get this information from the JSON file, and auto-generate it in generateWasmOpsHeader.py.
--
You are receiving this mail because:
You are the assignee for the bug.
--Boundary_(ID_44F3K6JMxPN5IbeJTY9hCA)
Date: Fri, 24 Feb 2017 11:50:46 -0800
MIME-version: 1.0
Content-type: text/html
Content-transfer-encoding: 8BIT
<html>
<head>
<base href="https://bugs.webkit.org/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - WebAssembly: validate load / store alignment"
href="https://bugs.webkit.org/show_bug.cgi?id=168836">168836</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>WebAssembly: validate load / store alignment
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr>
<tr>
<th>Product</th>
<td>WebKit
</td>
</tr>
<tr>
<th>Version</th>
<td>WebKit Nightly Build
</td>
</tr>
<tr>
<th>Hardware</th>
<td>Unspecified
</td>
</tr>
<tr>
<th>OS</th>
<td>Unspecified
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>Normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P2
</td>
</tr>
<tr>
<th>Component</th>
<td>JavaScriptCore
</td>
</tr>
<tr>
<th>Assignee</th>
<td>webkit-unassigned@lists.webkit.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>jfbastien@apple.com
</td>
</tr>
<tr>
<th>CC</th>
<td>fpizlo@apple.com, jfbastien@apple.com, keith_miller@apple.com, mark.lam@apple.com, msaboff@apple.com, sbarati@apple.com
</td>
</tr>
<tr>
<th>Blocks</th>
<td>159775
</td>
</tr></table>
<p>
<div>
<pre>From <a href="https://github.com/WebAssembly/design/blob/master/BinaryEncoding.md#memory-related-operators-described-here">https://github.com/WebAssembly/design/blob/master/BinaryEncoding.md#memory-related-operators-described-here</a>
As implied by the log2(alignment) encoding, the alignment must be a power of 2. As an additional validation criteria, the alignment must be less or equal to natural alignment. The bits after the log(memory-access-size) least-significant bits must be set to 0. These bits are reserved for future ð¦ use (e.g., for shared memory ordering requirements).
We currently don't check this. I'll add FIXME in the code, and comment out related spec tests with FIXME as well.
We should get this information from the JSON file, and auto-generate it in generateWasmOpsHeader.py.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>
--Boundary_(ID_44F3K6JMxPN5IbeJTY9hCA)--
More information about the webkit-unassigned
mailing list