platform/upstream/SPIRV-Tools.git
7 years agoAdding validation for vector data rule.
Ehsan Nasiri [Fri, 4 Nov 2016 22:31:21 +0000 (18:31 -0400)]
Adding validation for vector data rule.

Number of components in a vector can be 2 or 3 or 4. If Vector16
capability is used, 8 and 16 components are also allowed.
Also added unit tests for vector data rule.

7 years agoRenaming test files to comply with Google style guide.
Lei Zhang [Thu, 22 Sep 2016 15:05:30 +0000 (11:05 -0400)]
Renaming test files to comply with Google style guide.

Also posfixing test files with `_test' to make it more clear.

7 years agoRemove source/instruction.cpp
David Neto [Fri, 28 Oct 2016 02:47:20 +0000 (22:47 -0400)]
Remove source/instruction.cpp

Avoids linker problems on Windows and OSX with duplicate object file
names.  Avoids collision with source/val/instruction.cpp

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

7 years agoenum_set: Fix bool performance warning.
Jamie Madill [Thu, 27 Oct 2016 20:09:06 +0000 (16:09 -0400)]
enum_set: Fix bool performance warning.

Implicit casts from int to bool cause a warning in visual studio.

7 years agoDo not gitignore source/opt/build_module.*
Christopher Gautier [Fri, 14 Oct 2016 10:45:27 +0000 (12:45 +0200)]
Do not gitignore source/opt/build_module.*

7 years agoTest SPV_KHR_shader_draw_parameters support
David Neto [Wed, 12 Oct 2016 14:47:28 +0000 (10:47 -0400)]
Test SPV_KHR_shader_draw_parameters support

In assembler, disassembler, parser.

7 years agoFix compilation errors when building inside Chromium
Corentin Wallez [Tue, 4 Oct 2016 21:47:19 +0000 (17:47 -0400)]
Fix compilation errors when building inside Chromium

Example of an error:
    spirv-tools/source/validate_cfg.cpp:516:45: error: chosen constructor is
    explicit in copy-initialization:
      _.current_function().RegisterBlockEnd({}, opcode);

7 years agoAdd begin() and end() for TypeManager.
Lei Zhang [Thu, 29 Sep 2016 16:00:35 +0000 (12:00 -0400)]
Add begin() and end() for TypeManager.

7 years agoRemove unnecessary #include
David Neto [Thu, 29 Sep 2016 20:43:47 +0000 (16:43 -0400)]
Remove unnecessary #include

This will make it easier to port these tests to different contexts.

7 years agoAdd examples to demo C++ library APIs.
Lei Zhang [Wed, 28 Sep 2016 14:50:43 +0000 (10:50 -0400)]
Add examples to demo C++ library APIs.

7 years agoAvoid appending EOL in StringifyMessage().
Lei Zhang [Fri, 23 Sep 2016 19:13:24 +0000 (15:13 -0400)]
Avoid appending EOL in StringifyMessage().

EOL should be appended when outputing to streams by the tool.

7 years agoFix operand class test coverage table.
Lei Zhang [Thu, 22 Sep 2016 15:28:48 +0000 (11:28 -0400)]
Fix operand class test coverage table.

* Fix a missing column.
* Convert line endings.

This will make the table beautiful and searchable on Github.

7 years agoClean up header dependency.
Lei Zhang [Wed, 21 Sep 2016 21:16:31 +0000 (17:16 -0400)]
Clean up header dependency.

7 years agoHandle parse failure for setting spec constants
David Neto [Thu, 22 Sep 2016 21:09:34 +0000 (17:09 -0400)]
Handle parse failure for setting spec constants

7 years agoFix forward reference issues with forword pointer
Umar Arshad [Thu, 22 Sep 2016 14:23:08 +0000 (10:23 -0400)]
Fix forward reference issues with forword pointer

* Allows OpTypeForwardPointer to reference IDs not yet declared in
  the module
* Allows OpTypeStruct to reference IDs not yet declared in
  the module

Possible Issue: OpTypeStruct should only allow forward references
if the ID is a pointer that is referenced by a forward pointer. Need
Type support in Validator which is currently a work in progress.

7 years agoCommand line option for set default value for spec constant
qining [Thu, 22 Sep 2016 15:50:12 +0000 (11:50 -0400)]
Command line option for set default value for spec constant

Format:
```
--set-spec-constant-default-value "<spec id A>:<default value A> <spec id
B>:<default value B> ..."
```

Example:
  shader: `test.vert`
```

layout(constant_id = 100) const int myint = 10;
layout(constant_id = 101) const int myuint = 100;
layout(constant_id = 200) const float myfloat = 1.25;
layout(constant_id = 201) const double mydouble = 2.34;

void main() {}
```
  command line:
```
spirv-opt --set-spec-const-default-value "100:12   101:200 200:1.2323
201:1.2345" test.vert -o output.spv
```
  output:
```
      ...
               OpDecorate %7 SpecId 100
               OpDecorate %8 SpecId 101
               OpDecorate %10 SpecId 200
               OpDecorate %12 SpecId 201
       %void = OpTypeVoid
          %3 = OpTypeFunction %void
        %int = OpTypeInt 32 1
          %7 = OpSpecConstant %int 12
          %8 = OpSpecConstant %int 200
      %float = OpTypeFloat 32
         %10 = OpSpecConstant %float 1.23232
     %double = OpTypeFloat 64
         %12 = OpSpecConstant %double 2.34232
      ...
```

7 years agoUse nullptr as the default message consumer to ignore all messages.
Lei Zhang [Wed, 21 Sep 2016 20:45:53 +0000 (16:45 -0400)]
Use nullptr as the default message consumer to ignore all messages.

There is no difference between the previous IgnoreMessage() function
and a null std::function, from functionality's perspective.
The user can set nullptr as the MessageConsumer, so need to guard
against nullptr before calling the consumer anyway. It's better
we use it internally so that it may expose problems by us instead
of the user.

7 years agoChange some asserts to normal errors in IrLoader.
Lei Zhang [Wed, 21 Sep 2016 14:53:15 +0000 (10:53 -0400)]
Change some asserts to normal errors in IrLoader.

7 years agoAdd two more utility functions for sending errors to consumer.
Lei Zhang [Wed, 21 Sep 2016 14:52:31 +0000 (10:52 -0400)]
Add two more utility functions for sending errors to consumer.

7 years agoChange parameter name from file to source in Log() and Logf().
Lei Zhang [Wed, 14 Sep 2016 16:09:52 +0000 (12:09 -0400)]
Change parameter name from file to source in Log() and Logf().

7 years agoAdd more Assemble(), Disassemble() and Validate() overloads.
Lei Zhang [Tue, 20 Sep 2016 22:03:37 +0000 (18:03 -0400)]
Add more Assemble(), Disassemble() and Validate() overloads.

7 years agoPublish the C++ interface.
Lei Zhang [Fri, 16 Sep 2016 20:12:04 +0000 (16:12 -0400)]
Publish the C++ interface.

7 years agoRename SpvTools to SpirvTools.
Lei Zhang [Fri, 16 Sep 2016 19:56:30 +0000 (15:56 -0400)]
Rename SpvTools to SpirvTools.

7 years agoUse C style names for MessageLevel.
Lei Zhang [Wed, 21 Sep 2016 16:44:37 +0000 (12:44 -0400)]
Use C style names for MessageLevel.

7 years agoChange to use enum instead of enum class for MessageLevel.
Lei Zhang [Wed, 21 Sep 2016 15:30:41 +0000 (11:30 -0400)]
Change to use enum instead of enum class for MessageLevel.

This allows us to create C interface with MessageLevel later.

7 years agoAdd a C++ interface to the optimization functionalities.
Lei Zhang [Mon, 12 Sep 2016 18:11:46 +0000 (14:11 -0400)]
Add a C++ interface to the optimization functionalities.

7 years agoAllow changing MessageConsumer in Pass & PassManager.
Lei Zhang [Tue, 20 Sep 2016 20:48:00 +0000 (16:48 -0400)]
Allow changing MessageConsumer in Pass & PassManager.

Default-constructed Pass/PassManager will have a MessageConsumer
which ignores all messages. SetMessageConsumer() should be called
to supply a meaningful MessageConsumer.

7 years agoChange BuildModule() to accept pointer-size pair for binary.
Lei Zhang [Tue, 20 Sep 2016 20:44:24 +0000 (16:44 -0400)]
Change BuildModule() to accept pointer-size pair for binary.

7 years agoChange interface of Pass::Process() to return possible failures.
Lei Zhang [Mon, 12 Sep 2016 16:39:44 +0000 (12:39 -0400)]
Change interface of Pass::Process() to return possible failures.

7 years agoProvide friendly names for shader ballot BuiltIns
David Neto [Mon, 19 Sep 2016 14:13:04 +0000 (10:13 -0400)]
Provide friendly names for shader ballot BuiltIns

7 years agoUpdate validate interface to accept binary pointers
Umar Arshad [Thu, 15 Sep 2016 21:32:44 +0000 (17:32 -0400)]
Update validate interface to accept binary pointers

7 years agoSet the default source name as "input".
Lei Zhang [Fri, 16 Sep 2016 19:43:41 +0000 (15:43 -0400)]
Set the default source name as "input".

7 years agoStart v2016.6-dev
David Neto [Fri, 16 Sep 2016 20:40:00 +0000 (16:40 -0400)]
Start v2016.6-dev

7 years agoFinalize v2016.5
David Neto [Fri, 16 Sep 2016 20:39:40 +0000 (16:39 -0400)]
Finalize v2016.5

7 years agoAdd basic support for SPV_KHR_shader_ballot
David Neto [Fri, 16 Sep 2016 18:40:02 +0000 (14:40 -0400)]
Add basic support for SPV_KHR_shader_ballot

Requires use of SPIRV-Headers that has support
for SPV_KHR_shader_ballot.

Adds assembler, disassembler, binary parser support.

Adds general support for allowing an operand to be
only enabled by a set of extensions.

TODO: Validator support for extension checking.

7 years agoPrepare the C++ interface for publication.
Lei Zhang [Fri, 9 Sep 2016 14:46:23 +0000 (10:46 -0400)]
Prepare the C++ interface for publication.

* Use PIMPL idiom in the C++ interface.
* Clean up interface for assembling and disassembling.
* Add validation into C++ interface.
* Add more tests for the C++ interface.

7 years agoMove functions for building modules outside of the C++ interface.
Lei Zhang [Fri, 9 Sep 2016 18:45:18 +0000 (14:45 -0400)]
Move functions for building modules outside of the C++ interface.

7 years agoLet SPIRV_ASSERT() exit the program if the assertion fails.
Lei Zhang [Fri, 16 Sep 2016 16:10:47 +0000 (12:10 -0400)]
Let SPIRV_ASSERT() exit the program if the assertion fails.

7 years agoAdd MessageConsumer to PassManager, Pass, and analysis interfaces.
Lei Zhang [Sat, 20 Aug 2016 03:17:44 +0000 (23:17 -0400)]
Add MessageConsumer to PassManager, Pass, and analysis interfaces.

Also convert some uses of assert() in optimization code to use
SPIRV_ASSERT(), SPIRV_UNIMPLEMENTED(), or SPIRV_UNREACHABLE()
accordingly.

7 years agoAdd utility macros for logging messages.
Lei Zhang [Thu, 8 Sep 2016 15:43:48 +0000 (11:43 -0400)]
Add utility macros for logging messages.

Add the following macros for logging purpose:
* SPIRV_ASSERT
* SPIRV_DEBUG
* SPIRV_UNIMPLEMENTED
* SPIRV_UNREACHABLE

The last two is always turned on, while the first two can only
be turned on in debug build.

7 years agoAdd a callback mechanism for communicating messages to callers.
Lei Zhang [Fri, 2 Sep 2016 22:06:18 +0000 (18:06 -0400)]
Add a callback mechanism for communicating messages to callers.

Every time an event happens in the library that the user should be
aware of, the callback will be invoked.

The existing diagnostic mechanism is hijacked internally by a
callback that creates an diagnostic object each time an event
happens.

7 years agoMake friendly names for built-in variables.
David Neto [Tue, 13 Sep 2016 16:38:42 +0000 (12:38 -0400)]
Make friendly names for built-in variables.

Handles only OpDecorate

Does not handle:
- decorations on struct members
- decoration via OpGroupDecorate

7 years agoUpdate CHANGES to say #414 is fixed
David Neto [Wed, 14 Sep 2016 19:22:47 +0000 (15:22 -0400)]
Update CHANGES to say #414 is fixed

7 years agoFix validator: OpUndef can be member of a constant composite
David Neto [Wed, 14 Sep 2016 15:57:20 +0000 (11:57 -0400)]
Fix validator: OpUndef can be member of a constant composite

This was enabled in SPIR-V 1.0 Rev 7

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

7 years agoClarify: Ok to pass null diagnostic to spvBinaryParse
David Neto [Wed, 14 Sep 2016 16:48:38 +0000 (12:48 -0400)]
Clarify: Ok to pass null diagnostic to spvBinaryParse

It's a valid use case: I might mostly trust my binaries and I don't
care to to collect detailed diagnostic feedback.

7 years agoFix validator SSA check: Phi can use its own value sometimes
David Neto [Wed, 14 Sep 2016 15:04:19 +0000 (11:04 -0400)]
Fix validator SSA check: Phi can use its own value sometimes

Defer removal of a Phi's result id from the undefined-forward-reference
set until after you've scanned the arguments.  The reordering is only
significant for Phi.

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

7 years agoBuild "spec id->default val str" mapping from string
qining [Fri, 9 Sep 2016 15:47:42 +0000 (11:47 -0400)]
Build "spec id->default val str" mapping from string

Add function `ParseDefaultValuesString()` to build the spec id->default
value string mapping required by `SetSpecConstantDefaultValuePass`.

7 years agoGuard against nullptr in number parsing utilities
qining [Tue, 13 Sep 2016 15:57:02 +0000 (11:57 -0400)]
Guard against nullptr in number parsing utilities

ParseNumber(): Returns false if the given string is a nullptr.
ParseAndEncodeXXXX(): Returns kInvalidText and populate error message:
  "The given text is a nullptr", if the givne string is a nullptr.

7 years agoSet default values for spec const decorated by SpecId
qining [Tue, 30 Aug 2016 18:57:56 +0000 (14:57 -0400)]
Set default values for spec const decorated by SpecId

The pass instance is constructed with a map from spec id (uint32_t) to
default values in string format. The default value strings will be
parsed to numbers according to the target spec constant type.

If the Spec Id decoration is found to be applied on multiple different
target ids, that decoration instruction (OpDecorate or OpGroupDecorate)
will be skipped. But other decoration instrucitons may still be
processed.

7 years agoUpdate CMake condition for Emacs load/save helper
David Neto [Mon, 12 Sep 2016 20:48:05 +0000 (16:48 -0400)]
Update CMake condition for Emacs load/save helper

Make SPIRV_TOOLS_INSTALL_EMACS_HELPERS a CMake option.  Otherwise
I get a variable-defined-but-not-used error.

7 years agoadd spirv-dis/spirv-as support for emacs when loading .spv binaries
steve-lunarg [Fri, 2 Sep 2016 20:04:02 +0000 (14:04 -0600)]
add spirv-dis/spirv-as support for emacs when loading .spv binaries

7 years agoAdd IsSigned() to opt::Analysis::Integer.
qining [Thu, 8 Sep 2016 22:00:12 +0000 (18:00 -0400)]
Add IsSigned() to opt::Analysis::Integer.

7 years agoPull out the number parsing logic
qining [Thu, 1 Sep 2016 18:27:04 +0000 (14:27 -0400)]
Pull out the number parsing logic

Pull out the number parsing logic from
AssemblyContext::binaryEncodeNumericLiteral() to utilities.

The new utility function: `ParseAndEncodeNumber()` now accepts:
  * number text to parse
  * number type
  * a emit function, which is a function which will be called with each
    parsed uint32 word.
  * a pointer to std::string to be overwritten with error messages.
    (pass nullptr if expect no error message)
and returns:
  * an enum result type to indicate the status

Type/Structs moved to utility:
  * template<typename T> class ClampToZeroIfUnsignedType

New type:
* enum EncodeNumberStatus: success or error code
* NumberType: hold the number type information for the number to be parsed.
 * several helper functions are also added for NumberType.

Functions moved to utility:
  * Helpers:
    * template<typename T> checkRangeAndIfHexThenSignExtend() -> CheckRangeAndIfHex....()
  * Interfaces:
    * template<typename T> parseNumber() -> ParseNumber()
    * binaryEncodeIntegerLiteral() -> ParseAndEncodeIntegerNumber()
    * binaryEncodeFloatingPointLiteral() -> ParseAndEncodeFloatingPointNumber()
    * binaryEncodeNumericLiteral() -> ParseAndEncodeNumber()

Tests added/moved to test/ParseNumber.cpp, including tests for:
* ParseNumber(): This is moved from TextToBinary.cpp to ParseNumber.cpp
* ParseAndEncodeIntegerNumber(): New added
* ParseAndEncodeFloatingPointNumber(): New added
* ParseAndEncodeNumber(): New added

Note that the error messages are kept almost the same as before, but
they may be inappropriate for an utility function. Those will be fixed
in another CL.

7 years agoMerge diagnostic tests and single them out in a separate binary.
Lei Zhang [Thu, 8 Sep 2016 21:26:53 +0000 (17:26 -0400)]
Merge diagnostic tests and single them out in a separate binary.

7 years agoCreate separate binaries for validation tests.
Lei Zhang [Wed, 7 Sep 2016 21:43:15 +0000 (17:43 -0400)]
Create separate binaries for validation tests.

7 years agoPrefix test binaries with `test_`, rename UnitSPIRV, update README.
Lei Zhang [Wed, 7 Sep 2016 21:26:18 +0000 (17:26 -0400)]
Prefix test binaries with `test_`, rename UnitSPIRV, update README.

7 years agoTravis CI: mark build as finished once a job failed.
Lei Zhang [Mon, 5 Sep 2016 20:17:33 +0000 (16:17 -0400)]
Travis CI: mark build as finished once a job failed.

7 years agoKill the spvCheck macro which is just alias to if-statement.
Lei Zhang [Mon, 5 Sep 2016 21:11:44 +0000 (17:11 -0400)]
Kill the spvCheck macro which is just alias to if-statement.

7 years agoUpdate README about the optimization library and tool.
Lei Zhang [Fri, 2 Sep 2016 14:15:47 +0000 (10:15 -0400)]
Update README about the optimization library and tool.

7 years agoSay contributors have to click through the CLA
David Neto [Fri, 2 Sep 2016 14:29:14 +0000 (10:29 -0400)]
Say contributors have to click through the CLA

7 years agoAdd test for presence of copyrights and license terms
David Neto [Fri, 2 Sep 2016 13:29:52 +0000 (09:29 -0400)]
Add test for presence of copyrights and license terms

7 years agoStart v2016.5-dev
David Neto [Thu, 1 Sep 2016 19:38:53 +0000 (15:38 -0400)]
Start v2016.5-dev

7 years agoRelicense SPIRV-Tools under Apache 2.0
David Neto [Thu, 1 Sep 2016 19:33:59 +0000 (15:33 -0400)]
Relicense SPIRV-Tools under Apache 2.0

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

Finalize v2016.4

7 years agoAdd check_copyright to check or update copyright.
David Neto [Thu, 1 Sep 2016 18:49:14 +0000 (14:49 -0400)]
Add check_copyright to check or update copyright.

It will also replace an MIT or Khronos free use license with
the Apache license notice.

7 years agoFix Google copyright lines
David Neto [Thu, 1 Sep 2016 17:04:00 +0000 (13:04 -0400)]
Fix Google copyright lines

7 years agoKill the spvCheckReturn macro.
Lei Zhang [Fri, 2 Sep 2016 13:51:44 +0000 (09:51 -0400)]
Kill the spvCheckReturn macro.

7 years agoKill diagnostic_helper & the wrapping DIAGNOSTIC macro.
Lei Zhang [Fri, 2 Sep 2016 13:49:56 +0000 (09:49 -0400)]
Kill diagnostic_helper & the wrapping DIAGNOSTIC macro.

7 years agoTests for preserving line debug insts even killing its affecting targets.
Lei Zhang [Wed, 31 Aug 2016 23:37:13 +0000 (19:37 -0400)]
Tests for preserving line debug insts even killing its affecting targets.

7 years agoUnify constants pass
qining [Wed, 17 Aug 2016 21:19:48 +0000 (17:19 -0400)]
Unify constants pass

De-duplicate constants and unifies the uses of constants for a SPIR-V
module. If two constants are defined exactly the same, only one of them
will be kept and all the uses of the removed constant will be redirected
to the kept one.

This pass handles normal constants (defined with
OpConstant{|True|False|Composite}), some spec constants (those defined
with OpSpecConstant{Op|Composite}) and null constants (defined with
OpConstantNull).

There are several cases not handled by this pass:

  1) If there are decorations for the result id of a constant defining
  instruction, that instruction will not be processed. This means the
  instruction won't be used to replace other instructions and other
  instructions won't be used to replace it either.

  2) This pass does not unify null constants (defined with
  OpConstantNull instruction) with their equivalent zero-valued normal
  constants (defined with OpConstant{|False|Composite} with zero as the
  operand values or component values).

7 years agoRefactor CapabilitySet into templated class EnumSet
David Neto [Wed, 31 Aug 2016 18:35:58 +0000 (14:35 -0400)]
Refactor CapabilitySet into templated class EnumSet

7 years agoAdd forwarding so that passes' ctor can have args.
qining [Wed, 31 Aug 2016 16:44:49 +0000 (12:44 -0400)]
Add forwarding so that passes' ctor can have args.

Also removed the default argument value of `skip_nop` for function
`SinglePassRunAndCheck()` and `SinglePassRunAndDisassemble()`. This is
required to support variadic arguments.

7 years agoHandle capabilities larger than value 63
David Neto [Mon, 29 Aug 2016 18:49:00 +0000 (14:49 -0400)]
Handle capabilities larger than value 63

Use libspirv::CapabilitySet instead of a 64-bit mask.

Remove dead function spvOpcodeRequiresCapability and its tests.

The JSON grammar parser is simplified since it just writes the
list of capabilities as a braced list, and takes advantage of
the CapabilitySet intializer-list constructor.

7 years agoAdd libspirv::CapabilitySet
David Neto [Sat, 27 Aug 2016 18:49:53 +0000 (14:49 -0400)]
Add libspirv::CapabilitySet

It's optimized for the common case, where capabilities have value
at most 63.

7 years agoGet annotation instructions of a given id.
qining [Mon, 29 Aug 2016 22:05:24 +0000 (18:05 -0400)]
Get annotation instructions of a given id.

7 years agoAdd AppendNames() interface for AssemblyBuilder
qining [Mon, 29 Aug 2016 20:09:40 +0000 (16:09 -0400)]
Add AppendNames() interface for AssemblyBuilder

7 years agoCreate a separate header and source file for each pass.
Lei Zhang [Mon, 29 Aug 2016 19:46:09 +0000 (15:46 -0400)]
Create a separate header and source file for each pass.

7 years agoFold spec constants to normal constants (values fixed)
qining [Thu, 4 Aug 2016 17:24:08 +0000 (13:24 -0400)]
Fold spec constants to normal constants (values fixed)

For the spec constants defined by OpSpecConstantOp and
OpSpecContantComposite, if all of their operands are constants with
determined values (normal constants whose values are fixed), calculate
the correct values of the spec constants and re-define them as normal
constants.

In short, this pass replaces all the spec constants defined by
OpSpecContantOp and OpSpecConstantComposite with normal constants when
possible. So far not all valid operations of OpSpecConstantOp are
supported, we have several constriction here:

1) Only 32-bit integer and boolean (both scalar and vector) are
supported for any arithmetic operations. Integers in other width (like
64-bit) are not supported.
2) OpSConvert, OpFConvert, OpQuantizeToF16, and all the
operations under Kernel capability, are not supported.
3) OpCompositeInsert is not supported.

Note that this pass does not unify normal constants. This means it is
possible to have new generatd constants defining the same values.

7 years agoPass manager recomputes Id bound automatically.
David Neto [Thu, 25 Aug 2016 22:36:03 +0000 (18:36 -0400)]
Pass manager recomputes Id bound automatically.

Fixes https://github.com/KhronosGroup/SPIRV-Tools/issues/371
in the sense that the id bound is correct after all the passes
have been run.  But it might be inconsistent between passes.

7 years agoCreate const overloads for begin() and end() in Instruction.
Lei Zhang [Fri, 26 Aug 2016 20:52:16 +0000 (16:52 -0400)]
Create const overloads for begin() and end() in Instruction.

7 years agoFix typo in spirv-opt help
David Neto [Fri, 26 Aug 2016 20:25:40 +0000 (16:25 -0400)]
Fix typo in spirv-opt help

7 years agoAdd Module::ComputeIdBound
David Neto [Tue, 23 Aug 2016 15:41:28 +0000 (11:41 -0400)]
Add Module::ComputeIdBound

When IDs change, something should use this utility method
and Module::SetIdBound before writing out the binary.

7 years agoAdd tests for decoration_empty().
Lei Zhang [Fri, 26 Aug 2016 18:02:40 +0000 (14:02 -0400)]
Add tests for decoration_empty().

7 years agoAdd a method in the types to check whether there is no decoration on a
qining [Fri, 26 Aug 2016 15:54:36 +0000 (11:54 -0400)]
Add a method in the types to check whether there is no decoration on a
type.

7 years agoTest ir::Instruction::GetOperand and GetInOperand
David Neto [Fri, 26 Aug 2016 14:33:41 +0000 (10:33 -0400)]
Test ir::Instruction::GetOperand and GetInOperand

7 years agoIrLoader gracefully handles incomplete blocks and functions
David Neto [Thu, 25 Aug 2016 20:42:36 +0000 (16:42 -0400)]
IrLoader gracefully handles incomplete blocks and functions

This lets us write smaller test cases with the IrLoader, avoiding
boilerplate for function begin/end, and basic block begin/end.

Also ForEachInst is more forgiving of cases where a basic block
doesn't have a label, and when a function doesn't have a defining
or end instruction.

7 years agoAdd Instruction begin and end mutable iterators
David Neto [Thu, 25 Aug 2016 21:45:08 +0000 (17:45 -0400)]
Add Instruction begin and end mutable iterators

Refactored the instuction test.

7 years agoAdd Instruction cbegin and cend to access operands
David Neto [Thu, 25 Aug 2016 16:55:44 +0000 (12:55 -0400)]
Add Instruction cbegin and cend to access operands

7 years agoForEachInst optionally runs on attached debug line insts
David Neto [Sat, 20 Aug 2016 13:47:00 +0000 (09:47 -0400)]
ForEachInst optionally runs on attached debug line insts

Also:
- Add const forms of ForEachInst
- Rewrite Module::ToBinary in terms of ForEachInst
- Add Instruction::ToBinaryWithoutAttachedDebugInsts
- Delete the ToBinary method on Function, BasicBlock, and Instruction
  since it can now be implemented with ForEachInst in a less confusing
  way, e.g. without recursion.
- Preserve debug line instructions on OpFunctionEnd (and store that
  instruction as a unique-pointer, for regularity).

7 years agoTravis CI: add build configuration for Android NDK with cmake.
Lei Zhang [Wed, 17 Aug 2016 14:34:53 +0000 (10:34 -0400)]
Travis CI: add build configuration for Android NDK with cmake.

7 years agoStart v2016.4-dev
David Neto [Wed, 24 Aug 2016 15:18:16 +0000 (11:18 -0400)]
Start v2016.4-dev

7 years agoFinalize v2016.3
David Neto [Wed, 24 Aug 2016 15:17:07 +0000 (11:17 -0400)]
Finalize v2016.3

7 years agoAdd spirv-lesspipe.sh
David Neto [Mon, 22 Aug 2016 15:38:18 +0000 (11:38 -0400)]
Add spirv-lesspipe.sh

Idea suggested by @steve-lunarg in issue 359.

7 years agoMere mention of PointSize BuiltIn does not require Shader capability
David Neto [Wed, 24 Aug 2016 13:47:49 +0000 (09:47 -0400)]
Mere mention of PointSize BuiltIn does not require Shader capability

Fixes https://github.com/KhronosGroup/SPIRV-Tools/issues/365 which
was reopened for this.

7 years agoAdd a home brewed make_unique to ease creating unique_ptrs.
Lei Zhang [Fri, 19 Aug 2016 03:16:21 +0000 (23:16 -0400)]
Add a home brewed make_unique to ease creating unique_ptrs.

7 years agoRemove some unused macros and functions.
Lei Zhang [Sat, 20 Aug 2016 15:12:57 +0000 (11:12 -0400)]
Remove some unused macros and functions.

7 years agoCHANGES captures fix for issue 365
David Neto [Tue, 23 Aug 2016 22:44:26 +0000 (18:44 -0400)]
CHANGES captures fix for issue 365

7 years agoRelax ClipDistance, CullDistance capability check in all environments
David Neto [Tue, 23 Aug 2016 22:18:17 +0000 (18:18 -0400)]
Relax ClipDistance, CullDistance capability check in all environments

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

7 years agoAdd opt::ir::Module::SetIdBound
David Neto [Sat, 20 Aug 2016 09:51:15 +0000 (05:51 -0400)]
Add opt::ir::Module::SetIdBound

7 years agoGet the number of elements for Vector and Matrix type
qining [Tue, 23 Aug 2016 15:34:24 +0000 (11:34 -0400)]
Get the number of elements for Vector and Matrix type

7 years agoRefine the DefUseManager
qining [Tue, 16 Aug 2016 17:06:03 +0000 (13:06 -0400)]
Refine the DefUseManager

* Fix the behavior when analyzing an individual instruction:
  * exisiting instruction:
      Clear the original records and re-analyze it as a new instruction.
  * new instruction with exisiting result id:
      Clear the original records of the exisiting result id. This means
      the records of the analyzed result-id-defining instruction will be
      overwritten by the record of the new instruction with the same
      result id.
  * new instruction with new result id or without result id:
      Just update the internal records to incorperate the new
      instruction.
* Add tests for analyzing individual instruction w/o an exisiting module.
* Refactor ClearInst() implementation
* Remove ClearDef() function.
* Fixed a bug in DefUseManager::ReplaceAllUsesWith() that OpName
  instruction may trigger the assertion incorrectly.
* update the blurbs for EraseUseRecordsOfOperandIds()