eliminate 1-byte view shift exemption

Author: Dave Herman

html/index.html

@@ -91,6 +91,7 @@ <h2 class="no-num no-toc" id=abstract>Abstract</h2>
     </li><li>added <a href=#float-1><code>float</code></a> support for operators and <code>Math</code> functions
     </li><li>added <a href=#float-1><code>float</code></a> to legal result types for <em>ConditionalExpression</em>
     </li><li>added variadic <code>Math.min</code> and <code>Math.max</code>
+    </li><li>eliminated the allowance for 1-byte views to elide their index shift (to future-proof for large heaps)
   </li></ul>
 </li><li><strong>12 December 2013</strong>
   <ul>
@@ -1762,25 +1763,6 @@ <h3 id=heap-accesses><span class=secno>6.9 </span>Heap Accesses</h3>
 
 <p>A <em>MemberExpression</em> node
 
-</p><div class=example>
-<em>x:Identifier</em><code>[</code><em>expr:Expression</em><code>]</code>
-</div>
-
-<p>validates as load type type <a href=#intish-0><code>intish</code></a> and store types
-{ <a href=#intish-0><code>intish</code></a> } if:
-
-</p><ul>
-<li><em>Lookup</em>(Δ, Γ, <em>x</em>) = <em>view</em> where <em>view</em> is
-an <a href=https://developer.mozilla.org/en-US/docs/JavaScript/Typed_arrays/ArrayBufferView><code>ArrayBufferView</code></a>
-type;
-</li><li>the element size of <em>view</em> is 1;
-</li><li>the load type of <em>view</em> is <a href=#intish-0><code>intish</code></a>;
-</li><li>the store types of <em>view</em> are { <a href=#intish-0><code>intish</code></a> };
-</li><li><em>expr</em> validates as type <a href=#int-0><code>int</code></a>.
-</li></ul>
-
-<p>A <em>MemberExpression</em> node
-
 </p><div class=example>
 <em>x:Identifier</em><code>[</code><em>expr:Expression</em> <code>&gt;&gt;</code> <em>n:</em><code>-</code><span class="meta opt">?</span><em>NumericLiteral</em><code>]</code>
 </div>

html/index.src.html

@@ -94,6 +94,7 @@ <h3 class="no-num no-toc">Changelog</h2>
     <li>added <code>float</code> support for operators and <code>Math</code> functions
     <li>added <code>float</code> to legal result types for <em>ConditionalExpression</em>
     <li>added variadic <code>Math.min</code> and <code>Math.max</code>
+    <li>eliminated the allowance for 1-byte views to elide their index shift (to future-proof for large heaps)
   </ul>
 <li><strong>12 December 2013</strong>
   <ul>
@@ -1678,25 +1679,6 @@ <h3>Heap Accesses</h3>
 
 <p>A <em>MemberExpression</em> node
 
-<div class="example">
-<em>x:Identifier</em><code>[</code><em>expr:Expression</em><code>]</code>
-</div>
-
-<p>validates as load type type <code>intish</code> and store types
-{ <code>intish</code> } if:
-
-<ul>
-<li><em>Lookup</em>(&Delta;, &Gamma;, <em>x</em>) = <em>view</em> where <em>view</em> is
-an <a href="https://developer.mozilla.org/en-US/docs/JavaScript/Typed_arrays/ArrayBufferView"><code>ArrayBufferView</code></a>
-type;
-<li>the element size of <em>view</em> is 1;
-<li>the load type of <em>view</em> is <code>intish</code>;
-<li>the store types of <em>view</em> are { <code>intish</code> };
-<li><em>expr</em> validates as type <code>int</code>.
-</ul>
-
-<p>A <em>MemberExpression</em> node
-
 <div class="example">
 <em>x:Identifier</em><code>[</code><em>expr:Expression</em> <code>&gt;&gt;</code> <em>n:</em><code>-</code><span class="meta opt">?</span><em>NumericLiteral</em><code>]</code>
 </div>