Support both -h, --help on spirv-as, spirv-val

The spirv-dis command already supports both.

Travis CI: update test binary location and return correct status.

Split CMakeLists.txt into smaller ones.

Travis CI: add configuration for testing on Mac OS X.

Support Linux-to-Windows cross comiple via MinGW

For MinGW compile, statically link the C++ runtime

Change-Id: Ic58d1e47a814a265fd91edd7082e938ffc87f0c9

Change the interface for getWord().

* It's redundant to provide two mutable spv_position to getWord().
* getWord() should take string pointer by the style guide.

Travis CI: use Ubuntu 14.04 (Trusty) as the Linux environment.

Remove AssemblyContext::getWord().

Fixes #152.

Add patchlevel to CMake requirement

Return str in describe() as said by the blurb.

Fix the corner case in version generation script.

When the given directory is not inside the SPIRV-Tools project,
describe() returns a str instance instead of bytes instance
in Python3, which will case problem when calling decode() on it.

Fixed float->int16 conversion warnings in VS2013.

Add comments to explain why calling decode().

Run pyformat with -s 4 --force_quote_type=single.

 Imporve compatibility with Python3.

 * Use print_function from __future__ to tackle the print syntax
   change.
 * In Python3 str and bytes are no longer the same thing. Need
   proper decode.

Don't check kernel entry-point signatures.

Recognize SpvOpInBoundsPtrAccessChain and SpvOpPtrAccessChain as opcodes
returning a pointer.

 * spvOpcodeIsPointer: recognize SpvOpInBoundsPtrAccessChain and SpvOpPtrAccessChain as opcodes returning a pointer

 * isValid<SpvOpEntryPoint>: don't check kernel function signatures (these don't have to be 'void main(void)')

 * added tests for kernel OpEntryPoint, OpInBoundsPtrAccessChain and OpPtrAccessChain, as well as facilities to actually test kernel/OpenCL SPIR-V

 * fixed pow and pown specification (both should take 2 parameters), spec bug reported at https://www.khronos.org/bugzilla/show_bug.cgi?id=1469

 * use ASSERT_TRUE instead of ASSERT_EQ

 * added pow and pown test (pow(val, 2.0f) and pown(val, 3))

Revert " * fixed pow and pown specification (both should take 2 parameters), spec bug reported at https://www.khronos.org/bugzilla/show_bug.cgi?id=1469"

This reverts commit c3d5a87e73334b25aa4278964eea6d1c7625cd81.

Revert " * added pow and pown test (pow(val, 2.0f) and pown(val, 3))"

This reverts commit 7624aec720a51dc212704dc92eff6ae3634d2d6c.

Make libspirv.h more C friendly.

In C, `#include <stdbool.h>` so `bool` is recognized.

Add a `typedef` for `spv_context_t`.

Remove stale code.

Fix issues reported by cppcheck.

Remove code not being used, add explicit to constructors, and
add missing fields in constructors.

Added missing <cstdint> in bitutils.

This was breaking MSVC2013.

If no tag in the repo, then show the commit hash

Actually find the python executable before use.

Also change PYTHON_EXE to PYTHON_EXECUTABLE to match what
the cmake documentation says.

Use subprocess.Popen, hoping for Windows portability

Replaces use of subprocess.check_output

Remove spv_validate_options_t and change tests accrodingly.

Users always want to run all the checks. The spv_validate_options_t
mechanism, which provides little benefits to users, complicates the
internal implementation and also makes the tests exercise different
paths as users do.

Right now the tests are more like integration tests instead of
unit tests, which should be our next refactoring aim.

Implement --version for spirv-tools

'spirv-as --version', 'spirv-dis --version' and 'spirv-val --version'
will display version information.

getWord() should not go beyond the end of the source text.

This addresses Bug #126 where EOL is missing at the end of
source file.

spirv-val help says it's a work in progress.

Avoid closing stdin and stdout.

Fix command line option errors in val.

* There is no -capability.
* -rules is missing.
* -id by default is turned off.
* Add -all.

Support outputting to stdout in the as tool.

Remove unnecessary null pointer checks

Fixes #110

Document SPIR-V binary and assembly file naming convention.

Use unordered_map to store defs in UseDefTracker for fast lookup.

Support using stdin to supply input in the val tool.

This allows getting output from other utilities using pipe.

Support using stdin to supply input in the as tool.

This allows getting output from other utilities using pipe.

Reject unknown long-named command line options in dis.

Fix the source organization section in README.md

It now reflects the new header file organization.
It also tells API clients what to add to the search
include path.

SPIR-V Tools fully supports SPIR-V 1.0 Rev3

- Update version numbers in libspirv.h.
  Add a test for the relevant macros.
- Update the README

Add MultiViewport capability, new in 1.0.3

Fix typos in previous tests with MultiViewport.

Rearrange headers

Now we have public headers arranged as follows:
$SPIRV_TOOLS_ROOT/include/spirv-tools/libspirv.h
$SPIRV_TOOLS_ROOT/include/spirv/spirv.h
$SPIRV_TOOLS_ROOT/include/spirv/GLSL.std.450.h
$SPIRV_TOOLS_ROOT/include/spirv/OpenCL.std.h

A project should use -I$SPIRV_TOOLS_ROOT/include
and then #include "spirv-tools/libspirv.h"

The headers from the SPIR-V Registry can be accessed as "spirv/spirv."
for example.

The install target should also install the headers from the SPIR-V
Registry.  The libspirv.h header is broken otherwise.

The SPIRV-Tools library depends on the headers from the SPIR-V Registry.

The util/bitutils.h and util/hex_float.h are pulled into the internal
source tree.  Those are not part of the public API to SPIRV-Tools.

Some GLSL extended instructions depend on capabilities.

Add GLSL instructions NMin, NMax, NClamp

These appear first in GLSL.std.450 in 1.0 Rev3

Test OpImageSparseRead

Also tweak the image operands test with OpImageFetch so the input assembly
more closely matches the expected output.  But don't make it a round
trip test since we want to check the assembler's ability to read the
image operand mask with out-of-order mask names.

The OpImageSparseRead assembly test is also a round trip disassembler
test.

Fixed internal compiler error in gcc-4.9.

This showed up in mips and mips64 builds. A combination of templates
and the error reporting were causing gcc to crash. This splits up the
functionality in a way that now successfully compiles.

Remove remaining float overflow value tests

Should fix tests on Windows.

Use syntax tables for SPIR-V 1.0 Rev3

- The SPIR-V spec generator has changed how it represents optional
  operands.  Now it tracks a separate boolean flag indicating optionality.
  However, SPIRV-Tools still wants to represent both operand class
  and optionality in the same enums space (SPV_OPERAND_TYPE_*).
  So there's extra work in the patch.

- In the spec generator, OperandImage is now OperandImageOperands.
  This affects enum translation in opcode.cpp.

- In the spec generator, image operands are explicitly followed by
  Id, and VariableIds.  However, SPIRV-Tools uses the bits set
  in the image operand bitmask to control the number and meaning
  of the Ids that follow.  So in writing the opcode.inc syntax
  table, drop all operands after OperandImageOperands.

- Some enums are now more explicitly represented in the generated
  opcode.inc:
    - AccessQualifier (e.g. on OpTypeImage), in both required and
      optional flavours.
    - MemoryAccess (e.g. on loads and stores)

- Add SPV_OPERAND_TYPE_OPTIONAL_ACCESS_QUALIFIER

- Add tests for the optional AccessQualifier operand on OpTypeImage.

- Update the AccessQualifier test for OpTypeImage so it's a round
  trip test through the disassembler as well.

Update capabilities for 1.0 Rev3

Don't promise particular values when float parsing fails.

This should address problems on Windows:
https://github.com/KhronosGroup/SPIRV-Tools/issues/104

Configure gmock locally only if not already configured.

Allows an enclosing project to have already configured gmock, even
if the developer has placed the googletest sources under this
project's external/googletest directory.

Describe how to enable the tests in the two essential scenarios:
where SPIR-V Tools is standalone, or where SPIR-V Tools is configured
as a part of a larger project.

Use SPIR-V headers for 1.0 Rev3

Refresh from the SPIR-V registry.

Parse overflow for fp16  like for 32- and 64-bit

In that case, set the stream fail bit, and set the maximum normal
value or lowest normal value, depending on the sign of the original
value.

Float literal parsing fixes

- For 32- and 64-bit floats, overflow is a parse error

  This works around a difference between Xcode's istringstream
  and other platforms.  Xcode's runtime library will happlily
  "round up" overflow values to infinity.  We want to make it fail.

- When parsing a float fails due to bad syntax, follow C++11
  behaviour for operator>> and set the value to zero.

- When parsing a 32-bit or 64-bit float overflows, follow C++11
  behaviour for operator>> and set the value to the nearest
  normal value: either max or lowest finite value for the type.

- Add FloatProxy<T>::max() and ::lowest()

- Make 16-bit overflow behaviour more consistent: we always get a
  16-bit infinity of the right sign, whether the original string
  is a normal value for 32-bit or an overflow value for 32-bit.
  That matches our earlier intent.
  Added TODO's to make 16-bit overflow always an error, just like
  for 32-bit and 64-bit.

- Simplify normal parsing of Float16 values by delegating to
  normal parsing of 32-bit floats.

Reject float literals with two leading signs

E.g. --1 should be rejected.

More parsing tests for literals with leading minus

Also checks some hex literal cases.

This addresses part of
https://github.com/KhronosGroup/SPIRV-Tools/issues/45
by removing the parseNumber case for "-0" on unsigned
integers.  We don't care about that platform difference
at the level of std::istringstream, since we reject it
at a higher parsing level.

Make IsTypeNullable a transitive check.

Eliminate parameter-order check from ID-validation.

Allow Op[No]Line between OpFunctionParameters.

Also ensure we don't get thrown off by too many parameters.

Enable ctest.

Validation of mask operand capabilities is more data driven

Use spvOperandIsConcreteMask to determine if an operand is
a bitmask.  Check its individual bits in a generic way.

Add spvOperandIsConcreteMask

Use AssemblyGrammar for capability validation.

Also:
- ForEach() for spv_capability_mask_t.
- Add capability min/max constants.
- Move max definition from validate_types.cpp to spirv_definition.h.

Forbid Generic variables.

Fix validator mem overflow when tracking capabilities

Fix in-function storage class validation.

Move tests into a fixture that properly turns on the relevant passes.

Initialize vector<string>s on first use, not statically.

Fix validation of return value.

Remove spvOpcodeIsObject().

Also
- Add type_id to spv_id_info_t.
- Use spv_id_info_t::type_id instead of words[1].
  Triggered some asserts on tests, where the code incorrectly assumed
  words[1] had a type.  Remove the asserts and handle gracefully.
- Add tests for OpStore of a label, a void, and a function.

Initial capability implementation and unit tests

* Register capabilility and checks
* Add validate storage class capabilities checks and tests
* Instruction pass refactor
  - More generic form of capability checking by checking operands
    instead of instructions
* Execution Model capabilities checks
* Decorate BuiltIn capability checks
* Addressing Model capability checks
* Memory Model capability checks
* Execution Mode capability checks
* Dim capability checks
* SamplerAddressingMode capability checks

Qualify CMake function names with "spvtools" to avoid conflictions.

If a third-party project defines a CMake function with the same
name, by importing that project's CMake configuration, we may end
up overwriting our own copy. Qualify all defined functions to
reduce that probability.

Fix spvOpcodeIsScalarType() to include Boolean.

Remove redundant validations of OpConstant and OpConstantComposite.
Binary parser already performs these checks, so the validations can
never be triggered.

Enable bad-constant tests.

Don't fail validation in unimplemented cases.

Fix OpLoad pointee type validation.

Add disassembler option to show byte offset

The option is disabled by default.

The offset is printed in hex, as a comment after each instruction.

Track uses and defs during parsing.

Replace two other, imperfect mechanisms for use-def tracking.

Use ValidationState_t::entry_points to track entry points.

Concentrate undefined-ID diagnostics in a single place.

Move validate_types.h content into validate.h due to increased
inter-dependency.

Track uses of all IDs: TYPE_ID, SCOPE_ID, ...

Also update some blurbs.

Fix entry-point accumulation and move it outside ProcessIds().

Remove validate_types.h from CMakeLists.txt.

Blurb for spvIsIdType.

Remove redundant diagnostics for undefined IDs.

Join "can not" and reformat.

Since g++-4.9 has an ICE occasionally in travis add a retry.

Try to re-run the build with ninja -j 1 if the build fails,
this should reduce the number of build failures we see.

Fix missing OpNoLine layout checks

Disable warnings C4503 on MSVC for test code

C4503 is "decorated name length exceeded", triggered
by some heavily templated types.

Validation refactor

* Organize passes into seperate files
* Remove module layout logic from Cfg pass
* Remove module layout logic from Functions class
* Refactor ModuleLayoutPass for readability
* Adapt consistent naming of layout sections (Stage/Section -> Section)

Add configuration for Travis CI.

Add missing branch instructions in SSA tests

Remove static vector from GetModuleOrder

Fixed warning in VS2013 build.

Signed/Unsigned mismatch in progressToNextLayoutStageOrder().

Fix, that spirv-tools did not build, as two casts are not present.

Fix build by renaming ValidationState_t constructor argument.

The `diag` argument shadows the `diag` method, so the strict build fails.

Function and block layout checks. very basic CFG.

This adds function and block layout checks to the validator. Very
basic CFG code has been added to make sure labels and branches
are correctly ordered.

Also:
* MemoryModel and Variable instruction checks/tests
* Use spvCheckReturn instead of CHECK_RESULT
* Fix invalid SSA tests
* Created libspirv::spvResultToString in diagnostic.h
* Documented various functions and classes
* Fixed error messages
* Fixed using declaration for FunctionDecl enum class

Fixed use-after-free in isStartOfNewInst() tests.

Minor fixes to remove warnings in VS2013.

Also fixes VS2015 build due to missing #include <iterator>

spvDiagnosticDestroy is safe to call on nullptr

Fixes https://github.com/KhronosGroup/SPIRV-Tools/issues/62

Fix endian-ness conversion in the binary parser.

When we were swapping endian-ness in the binary parser, we would
write outside of the bounds of our vector.

Made compilation with gcc and clang more strict.

Added additional compilation flags to gcc and clang builds.
Adds -Wall -Wextra -Wno-long-long -Wshadow -Wundef -Wconversion
-WNo-sign-conversion and -Wno-missing-field-initializers
where appropriate.

Does not add -Wundef to tests, because GTEST tests undefined
macros all over the place.

Support 16-bit float in assembler and disassembler

This adds half-precision constants to spirv-tools.
16-bit floats are always disassembled into hex-float format,
but can be assembled from floating point or hex-float inputs.

Extend copyright to 2016.

Undefine a macro after use.

Fix shadowing warnings reported by GCC

Fix conversion warnings reported by GCC.

Explicitly convert to narrower type.

Fixes a strict Clang warning.

Avoid variable shadowing

Avoid warning for implicit conversion of char array to bool.

Clang complains about assert("unhandled") but not
assert(false && "unhandled").

Fix var shadowing and width mismatches in hex_float.h

Avoid parameter shadowing in source/diagnostic.h

Change the offending class to more closely follow Google C++ style:
- Member names have a trailing underscore.
- Use an accessor method for the stream_ member.