NaCl documentation: update vector documentation

native_client_sdk/doc_generated/reference/pnacl-bitcode-abi.html

 {{+bindTo:partials.standard_nacl_article}}
 
 <section id="pnacl-bitcode-reference-manual">
 <h1 id="pnacl-bitcode-reference-manual">PNaCl Bitcode Reference Manual</h1>
 <div class="contents local" id="contents" style="display: none">
 <ul class="small-gap">
 <li><a class="reference internal" href="#introduction" id="id1">Introduction</a></li>
 <li><p class="first"><a class="reference internal" href="#high-level-structure" id="id2">High Level Structure</a></p>
 <ul class="small-gap">
 <li><a class="reference internal" href="#data-model" id="id3">Data Model</a></li>
 <li><a class="reference internal" href="#linkage-types" id="id4">Linkage Types</a></li>
 <li><a class="reference internal" href="#calling-conventions" id="id5">Calling Conventions</a></li>
 <li><a class="reference internal" href="#visibility-styles" id="id6">Visibility Styles</a></li>
 <li><a class="reference internal" href="#global-variables" id="id7">Global Variables</a></li>
 <li><a class="reference internal" href="#functions" id="id8">Functions</a></li>
 <li><a class="reference internal" href="#aliases" id="id9">Aliases</a></li>
 <li><a class="reference internal" href="#named-metadata" id="id10">Named Metadata</a></li>
 <li><a class="reference internal" href="#module-level-inline-assembly" id="id11">Module-Level Inline Assembly</a></li>
 <li><a class="reference internal" href="#volatile-memory-accesses" id="id12">Volatile Memory Accesses</a></li>
 <li><a class="reference internal" href="#memory-model-for-concurrent-operations" id="id13">Memory Model for Concurrent Operations</a></li>
 <li><a class="reference internal" href="#fast-math-flags" id="id14">Fast-Math Flags</a></li>
 </ul>
 </li>
 <li><p class="first"><a class="reference internal" href="#type-system" id="id15">Type System</a></p>
 <ul class="small-gap">
 <li><a class="reference internal" href="#scalar-types" id="id16">Scalar types</a></li>
-<li><a class="reference internal" href="#array-and-struct-types" id="id17">Array and struct types</a></li>
-<li><a class="reference internal" href="#pointer-types" id="id18">Pointer types</a></li>
-<li><a class="reference internal" href="#undefined-values" id="id19">Undefined Values</a></li>
-<li><a class="reference internal" href="#constant-expressions" id="id20">Constant Expressions</a></li>
+<li><a class="reference internal" href="#vector-types" id="id17">Vector types</a></li>
+<li><a class="reference internal" href="#array-and-struct-types" id="id18">Array and struct types</a></li>
+<li><a class="reference internal" href="#pointer-types" id="id19">Pointer types</a></li>
+<li><a class="reference internal" href="#undefined-values" id="id20">Undefined Values</a></li>
+<li><a class="reference internal" href="#constant-expressions" id="id21">Constant Expressions</a></li>
 </ul>
 </li>
-<li><p class="first"><a class="reference internal" href="#other-values" id="id21">Other Values</a></p>
+<li><p class="first"><a class="reference internal" href="#other-values" id="id22">Other Values</a></p>
 <ul class="small-gap">
-<li><a class="reference internal" href="#metadata-nodes-and-metadata-strings" id="id22">Metadata Nodes and Metadata Strings</a></li>
+<li><a class="reference internal" href="#metadata-nodes-and-metadata-strings" id="id23">Metadata Nodes and Metadata Strings</a></li>
 </ul>
 </li>
-<li><a class="reference internal" href="#intrinsic-global-variables" id="id23">Intrinsic Global Variables</a></li>
-<li><a class="reference internal" href="#errno-and-errors-in-arithmetic-instructions" id="id24">Errno and errors in arithmetic instructions</a></li>
-<li><p class="first"><a class="reference internal" href="#instruction-reference" id="id25">Instruction Reference</a></p>
+<li><a class="reference internal" href="#intrinsic-global-variables" id="id24">Intrinsic Global Variables</a></li>
+<li><a class="reference internal" href="#errno-and-errors-in-arithmetic-instructions" id="id25">Errno and errors in arithmetic instructions</a></li>
+<li><p class="first"><a class="reference internal" href="#instruction-reference" id="id26">Instruction Reference</a></p>
 <ul class="small-gap">
-<li><a class="reference internal" href="#list-of-allowed-instructions" id="id26">List of allowed instructions</a></li>
-<li><a class="reference internal" href="#alloca" id="id27"><code>alloca</code></a></li>
+<li><a class="reference internal" href="#list-of-allowed-instructions" id="id27">List of allowed instructions</a></li>
+<li><a class="reference internal" href="#alloca" id="id28"><code>alloca</code></a></li>
 </ul>
 </li>
-<li><p class="first"><a class="reference internal" href="#intrinsic-functions" id="id28">Intrinsic Functions</a></p>
+<li><p class="first"><a class="reference internal" href="#intrinsic-functions" id="id29">Intrinsic Functions</a></p>
 <ul class="small-gap">
-<li><a class="reference internal" href="#list-of-allowed-intrinsics" id="id29">List of allowed intrinsics</a></li>
-<li><a class="reference internal" href="#thread-pointer-related-intrinsics" id="id30">Thread pointer related intrinsics</a></li>
-<li><a class="reference internal" href="#setjmp-and-longjmp" id="id31">Setjmp and Longjmp</a></li>
-<li><a class="reference internal" href="#atomic-intrinsics" id="id32">Atomic intrinsics</a></li>
+<li><a class="reference internal" href="#list-of-allowed-intrinsics" id="id30">List of allowed intrinsics</a></li>
+<li><a class="reference internal" href="#thread-pointer-related-intrinsics" id="id31">Thread pointer related intrinsics</a></li>
+<li><a class="reference internal" href="#setjmp-and-longjmp" id="id32">Setjmp and Longjmp</a></li>
+<li><a class="reference internal" href="#atomic-intrinsics" id="id33">Atomic intrinsics</a></li>
 </ul>
 </li>
 </ul>
 
 </div><section id="introduction">
 <h2 id="introduction">Introduction</h2>
 <p>This document is a reference manual for the PNaCl bitcode format. It describes
 the bitcode on a <em>semantic</em> level; the physical encoding level will be described
 elsewhere. For the purpose of this document, the textual form of LLVM IR is
 used to describe instructions and other bitcode constructs.</p>
@@ skipping 113 matching lines @@
 <ul class="small-gap">
 <li><p class="first">The only scalar types allowed are integer, float (32-bit floating point),
 double (64-bit floating point) and void.</p>
 <ul class="small-gap">
 <li>The only integer sizes allowed are i1, i8, i16, i32 and i64.</li>
 <li>The only integer sizes allowed for function arguments and function return
 values are i32 and i64.</li>
 </ul>
 </li>
 </ul>
+</section><section id="vector-types">
+<h3 id="vector-types">Vector types</h3>
+<p>The only vector types allowed are:</p>
+<ul class="small-gap">
+<li>128-bit vectors integers of elements size i8, i16, i32.</li>
+<li>128-bit vectors of float elements.</li>
+<li>Vectors of i1 type with element counts corresponding to the allowed
+element counts listed previously (their width is therefore not
+128-bits).</li>
+</ul>
 </section><section id="array-and-struct-types">
 <h3 id="array-and-struct-types">Array and struct types</h3>
 <p>Array and struct types are only allowed in
 <a class="reference internal" href="#bitcode-globalvariables"><em>global variable initializers</em></a>.</p>
 </section><section id="pointer-types">
 <span id="bitcode-pointertypes"></span><h3 id="pointer-types"><span id="bitcode-pointertypes"></span>Pointer types</h3>
 <p>Only the following pointer types are allowed:</p>
 <ul class="small-gap">
 <li>Pointers to valid PNaCl bitcode scalar types, as specified above.</li>
 <li>Pointers to functions.</li>
@@ skipping 106 matching lines @@
 <li><p class="first"><code>bitcast</code></p>
 <p>The pointer argument of a <code>bitcast</code> instruction must be a <em>inherent</em> pointer
 (see <a class="reference internal" href="#bitcode-pointertypes"><em>pointer types</em></a>).</p>
 </li>
 <li><code>icmp</code></li>
 <li><code>fcmp</code></li>
 <li><code>phi</code></li>
 <li><code>select</code></li>
 <li><code>call</code></li>
 <li><code>unreachable</code></li>
+<li><code>insertelement</code></li>
+<li><code>extractelement</code></li>
 </ul>
 </section><section id="alloca">
 <span id="bitcode-allocainst"></span><h3 id="alloca"><span id="bitcode-allocainst"></span><code>alloca</code></h3>
 <p>The only allowed type for <code>alloca</code> instructions in PNaCl bitcode is i8. The
 size argument must be an i32. For example:</p>
 <pre>
   %buf = alloca i8, i32 8, align 4
 </pre>
 </section></section><section id="intrinsic-functions">
 <h2 id="intrinsic-functions">Intrinsic Functions</h2>
@@ skipping 126 matching lines @@
 <p>The <code>llvm.nacl.atomic.is.lock.free</code> intrinsic is designed to
 determine at translation time whether atomic operations of a certain
 <code>byte_size</code> (a compile-time constant), at a particular <code>address</code>,
 are lock-free or not. This reflects the C11 <code>atomic_is_lock_free</code>
 function from header <code>&lt;stdatomic.h&gt;</code> and the C++11 <code>is_lock_free</code>
 member function in header <code>&lt;atomic&gt;</code>. It can be used through the
 <code>__nacl_atomic_is_lock_free</code> builtin.</p>
 </section></section></section>
 
 {{/partials.standard_nacl_article}}