Split validate_types file into multiple classes

Creates separate files for the ValidationState, Function and
BasicBlock classes.

Remove redundant in_block function from Function

Same test can be done through the get_current_block function

Avoid accessing invalid iterator.

Additional CFG tests

* Empty function
* Single block loops
* Nested loops
* Nested selection

Fix CHANGES file version parsing. -dev is optional

Make googletest regexes portable.

On Windows, test::MatchesRegex() doesn't support brackets.  On Linux, \d
doesn't work. :(

Control Flow Graph Validation

Create a function for adding unittests in CMake.

Also remove unnecessary main() function for unittests.

Travis CI: Use ctest to run all the tests.

Add Appveyor configuration for Windows build.

Test ABGR in both 1.0 and 1.1.

Remove needless include dir for spirv-dis.

Test ABGR image channel order.

Update include/spirv/spirv.h from SPIRV-Headers.

Test OpModuleProcessed.

Remove done TODOs in OpNameTest.

Simplify the instantiation by using Values() instead of ValuesIn().

Run clang-format.

Test SpecId validation.

Add --target-env.

commit 7648187c344cfc7847607acb2a6fa5606a3d10c1
Author: Dejan Mircevski <deki@google.com>
Date:   Thu Apr 21 15:44:07 2016 -0400

    Turn --vulkan into --target-env.

Add tests for MaxByteOffset.

Add PipeStorage tests.

Fix several warnings exposed in MSVS 2015.

diagnostic.cpp:
- unreachable code

operand.cpp
- conversion between int and uint32_t
- unreachable code

hex_float.h:
- conversion from 'const int' to 'unsigned int'
- unreachable code

validate_id.cpp
- forcing value to bool 'true' or 'false'

validate_types.cpp:
- forcing value to bool 'true' or 'false'

bitcast fixes

 * ValidationState_t and idUsage now store the addressing model and memory model of the SPIR-V module (this is necessary for certain instructions that need different checks depending on if the logical or physical addressing model is used)
 * removed SpvOpPtrAccessChain and SpvOpInBoundsPtrAccessChain from spvOpcodeIsPointer again as these are disallowed in logical addressing mode and only allowed in physical addressing mode (which doesn't use/need spvOpcodeIsPointer in the first place)
 * added SpvOpImageTexelPointer and SpvOpCopyObject to spvOpcodeIsPointer
 * OpLoad/OpStore now only check if the used pointer operand originated from a valid pointer producing opcode in logical addressing mode (as per 2.16.1)
 * moved bitcast pointer tests to the kernel / physical addressing model part (+cleanup)
 * renamed spvOpcodeIsPointer to spvOpcodeReturnsLogicalPointer to clarify this function is only meant to be used with the logical addressing model

Add v1.1 tests for OpLoopMerge.

Add v1.1 capabilities validation.

Refactor the ValidateCapability test fixture.

Explain the meaning of test parameters.  Factor out methods for
convenience and readability.  DRY v1.0 and v1.1 tests.

Add basic Initializer/Finalizer tests.

Use a single definition of ARRAY_SIZE to simplify code.

Add OpSizeOf tests.

Refactor OpExecutionModeTest and apply it on v1.1.

Previously v1.1 testing was dead.

Refactor v1.1 tests and turn them on.

Previously, the "V11" text fixture was empty.

Add CHANGES file with high level software history

Add a high level version number for SPIRV-Tools, beginning
with v2016.0-dev.  The README describes the format of the
version number.

The high level version number is extracted from the CHANGES
file.  That works around:
 - stale-bait for when we don't add tags to the repository
 - our inability to add tags to the repository

Option --version causes spirv-as, spirv-dis, and spirv-val to
show the high level version number.

Add spvSoftwareVersionString to return the C-string for
the high level version number.

Add spvSoftwareVersionDetailsString() so that clients can get
more information if they want to.
Also allows us to clean up the uses in the tool executables files,
so now only one file includes build-version.inc.

Move the update-build-version logic to the only
CMakeLists file that needs it.

The update build version script takes a new argument
to name the output file.

Make grammar-generation fail if over 64 capabilities.

Eliminate kCapabilitiesMin/Max.

Turn module_capabilities_ into a spv_capability_mask_t.

Bump kCapabilitiesMaxValue for v1.1.

Fix Windows build.

Replace `#ifdef 0` with comment inside a macro call.

Avoid going out of bound in advanceLine() and refine comments.

Add tests for SubgroupDispatch.

Introduced in v1.1, SubgroupDispatch adds the following:
- two new execution modes
- one new capability
- two new opcodes

Extend ValidateBase methods to take a spv_target_env.  Replace the
context_ member with ScopedContext inside the said methods.  Give
ScopedContext wider visibility by moving it outside
TextToBinaryTestBase.

Mention 1.1 support in the README.

First tests for SPIR-V v1.1.

Add test for named-barrier instructions and capability.

Add spv_target_env as an optional argument to CompileSuccessfully() and
CompileFailure().  Currently defaults to UNIVERSAL_1_0, though that
could change in the future.

Make spv_context a local variable in test methods instead of a
TextToBinaryTestBase member.  Introduce ScopedContext to make temp
contexts easier.

Fix wrong grammar .inc file dependency introduced by copy-paste.

Rework CMake rules for building grammar tables.

Use add_custom_command() to generate all .inc files and manage
dependency with set_source_files_properties().

Update cmake files to support Android as a build target.

This enables cross-compiling to Android using scripts like
cmake-android that update the system name to reflect the build
target.

Make directories more safely.

Avoid a race on check-for-dir vs. make-dir
when running the inc-file generation script concurrently.

Add SPIR-V 1.1 grammar.

Switch to SPIR-V 1.1 as default.
Introduce SPV_ENV_UNIVERSAL_1_1.
Add "1_0" to the internal variable names.
Add spv_target_env to spv*GetTable().

Mark SPIR-V grammar files as 1.0.

Factor the CMake generate_grammar_tables invocation into a function
parameterized on the version.

GLSL grammar update.

* Add names to operands.
* Fix capability requirements for UnpackDouble2x32.
* Fix operands list error for NClamp.

Merge pull request #181 from antiagainst/readme

Use footnotes for links in README.md.

Use footnotes for links in README.md.

Grammar update: OpPhi now uses PairIdRefIdRef as the last operand.

Update the core grammar.

* IdType is renamed to IdResultType.
* version is splitted into major_version and minor_version.
* Seperate Scope and IdScope operand kinds. Same for MemorySemantics.

Make paths to grammar output files

The directory for a grammar output file will be created if
it doesn't already exist.

This is required to make the Android.mk build work.

Remove revision from SPV_ENV_*.

Revisions proliferate quickly and we don't promise to retain extra
grammar copies for every historical one.

Allow to only build certain grammar tables.

Remove the outdated patch file.

Now we use the JSON grammar and the generate_grammar_tables.py
script to maintain various info tables. That patch file will not
be needed anymore.

Fix MSVC error C2797.

Use JSON grammar files to generate extended instruction sets.

Rname grammar.json to spirv.core.grammar.json and add version info.

Fix validation of array length.

Remove dependency on SPIR-V headers in libspirv.h.

For fulfilling this purpose, the |opcode| field in the
|spv_parsed_instruction_t| struct is changed to of type uint16_t.

Also add functions to query the information of a given SPIR-V
target environment.

Enable linking against libSPIRV-Tools from linux shared libraries

Required for linking against libSPIRV-Tools from LVL's
libVkLayer_core_validation.so.

Signed-off-by: Chris Forbes <chrisforbes@google.com>

Fix spelling mistakes

Use the JSON grammar file to generate various info tables.

This patch uses a Python script to parse the JSON grammar file to
generate the opcode table and operand kind tables.

Now we don't need to do the post-processing (from OperandClass
to spv_operand_type_t) and copying of the opcode info table is
not required anymore!

Handle CRLF in assembly text.

Add a target environment to spvContextCreate().

Run clang-format.

OpExecutionMode only takes a single ExecutionMode

Previously, the grammar allowed many execution modes for a single
OpExecutionMode instruction.

Removes the variable- and optional- execution mode operand type
enum values.

Issue found by antiagainst@

Capability fix: ImageReadWrite & ImageMipmap require ImageBasic.

Make everything compile cleanly with -Wpedantic.

This makes SPIRV_WARN_EVERYTHING compile cleanly.

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.