summaryrefslogtreecommitdiff
path: root/source/validate.h
AgeCommit message (Expand)AuthorFilesLines
2017-11-08Re-format files in source, source/opt, source/util, source/val and tools.Diego Novillo1-1/+1
2017-10-20Add validation pass for conversion instructionsAndrey Tuganov1-0/+4
2017-09-26Add bitwise operations validator passAndrey Tuganov1-0/+4
2017-09-20Add validate logicals pass to the validatorAndrey Tuganov1-0/+4
2017-09-05Add validation pass for arithmetic operationsAndrey Tuganov1-0/+4
2017-05-25CFA: Pull in CalculateDominatorsGreg Fischer1-24/+0
2017-05-09Stats analyzer uses validatorAndrey Tuganov1-0/+6
2017-05-08Inline: Create CFA classGreg Fischer1-25/+0
2017-03-17Validator dissallows unsupported Vulkan capabilityAndrey Tuganov1-0/+6
2017-02-28Issue 559: check type declaration uniquenessAndrey Tuganov1-0/+5
2017-02-28Add command line options struct for the validatorEhsan Nasiri1-2/+2
2017-01-18Validation for decoration rules. Fixes issue #499.Ehsan Nasiri1-0/+3
2017-01-13Introducing a new flow for running the Validator.Ehsan Nasiri1-0/+11
2016-11-08Adding validation for vector data rule.Ehsan Nasiri1-0/+6
2016-09-15Add a callback mechanism for communicating messages to callers.Lei Zhang1-5/+5
2016-09-02Relicense SPIRV-Tools under Apache 2.0David Neto1-21/+9
2016-09-02Kill the spvCheckReturn macro.Lei Zhang1-3/+0
2016-08-09Refactor Id -> InstructionUmar Arshad1-0/+10
2016-08-07Remove unnecessary headersUmar Arshad1-13/+1
2016-07-28Fix infinite loop in dominance calculation.David Neto1-0/+25
2016-07-26Check definitions appear in dominator of useUmar Arshad1-0/+12
2016-07-26Refactor IDs definition and use trackingUmar Arshad1-4/+2
2016-06-27Fix several violations of the style guideUmar Arshad1-5/+5
2016-06-24Use pseudo entry and pseudo exit blocks for dominance.David Neto1-1/+10
2016-06-22Validator structured flow checks: back-edge, constructsUmar Arshad1-6/+19
2016-06-08Split validate_types file into multiple classesUmar Arshad1-516/+29
2016-06-06Remove redundant in_block function from FunctionUmar Arshad1-6/+2
2016-06-02Control Flow Graph ValidationUmar Arshad1-59/+333
2016-04-29bitcast fixesFlorian Ziesche1-0/+16
2016-04-22Turn module_capabilities_ into a spv_capability_mask_t.Dejan Mircevski1-4/+1
2016-04-02Fix spelling mistakesEric Engestrom1-3/+3
2016-02-25Fix issues reported by cppcheck.Lei Zhang1-1/+1
2016-02-23Remove spv_validate_options_t and change tests accrodingly.Lei Zhang1-8/+1
2016-02-18Use unordered_map to store defs in UseDefTracker for fast lookup.Lei Zhang1-8/+9
2016-02-17Rearrange headersDavid Neto1-2/+1
2016-02-02Use AssemblyGrammar for capability validation.Dejan Mircevski1-4/+14
2016-01-29Fix validator mem overflow when tracking capabilitiesqining1-0/+3
2016-01-27Remove spvOpcodeIsObject().Dejan Mircevski1-0/+2
2016-01-27Initial capability implementation and unit testsUmar Arshad1-1/+8
2016-01-20Track uses and defs during parsing.Dejan Mircevski1-14/+265
2016-01-07Extend copyright to 2016.Dejan Mircevski1-1/+1
2015-11-12Use quotation for libspirv.h and sort headers.Lei Zhang1-1/+1
2015-11-12Move spv*TableGet() functions out of libspirv.h.Lei Zhang1-0/+1
2015-11-10Run clang-format to enforce Google style globally.Lei Zhang1-7/+7
2015-11-02Use spirv.h instead of spirv.hpp.Lei Zhang1-1/+1
2015-11-02Inclusion guards follow Google C++ styleDavid Neto1-3/+3
2015-10-26Support strings with up to 65535 chars, and null.David Neto1-0/+1
2015-05-22Code drop of the Codeplay spirv-tools source.Kenneth Benzie (Benie)1-0/+83