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&#64;lists.webkit.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>jfbastien&#64;apple.com
          </td>
        </tr>

        <tr>
          <th>CC</th>
          <td>fpizlo&#64;apple.com, jfbastien&#64;apple.com, keith_miller&#64;apple.com, mark.lam&#64;apple.com, msaboff&#64;apple.com, sbarati&#64;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)--