summaryrefslogtreecommitdiff
path: root/source/validate_id.cpp
AgeCommit message (Expand)AuthorFilesLines
2018-01-08Allow relaxing validation of pointers in logical addressing modeLei Zhang1-1/+5
2018-01-04Validator checks out of bounds composite accessAndrey Tuganov1-196/+0
2017-12-05Add composite instruction validation passAndrey Tuganov1-35/+1
2017-11-27Re-format source tree - NFC.Diego Novillo1-17/+20
2017-11-23Add validation checks for Execution ModelAndrey Tuganov1-1/+30
2017-11-23Add derivatives validation passAndrey Tuganov1-63/+1
2017-11-08Re-format files in source, source/opt, source/util, source/val and tools.Diego Novillo1-81/+87
2017-11-02Validate storage class of target pointer for OpStoreNuno Subtil1-0/+17
2017-10-31Add validation for OpBranchConditionalNuno Subtil1-5/+41
2017-10-28Add option to relax validation of store types.Steven Perron1-77/+209
2017-10-24Validate SpvOpVectorShuffleJózef Kucia1-5/+80
2017-10-24restrict opcodes targeting OpDecorationGroupJesus Carabano1-0/+22
2017-10-19Removed todos from validate_id.cppAndrey Tuganov1-566/+4
2017-09-06Update MARK-V to version 1.01Andrey Tuganov1-61/+2
2017-08-25Show result id for CompositeInsert validation failureDavid Neto1-1/+3
2017-04-07Support SPV_KHR_storage_buffer_storage_classDavid Neto1-3/+3
2017-04-07Validator support for Variable Pointer extension.Ehsan Nasiri1-6/+23
2017-03-23Fix validator message for bad logical pointerDavid Neto1-2/+2
2017-03-07Validate that SpecId decoration target is a OpSpecConstant instructionAliya Pazylbekova1-0/+20
2017-02-28Add command line options struct for the validatorEhsan Nasiri1-4/+9
2017-01-19Check BuiltIn Decoration rules.Ehsan Nasiri1-1/+35
2017-01-19Fixes issue #532.Ehsan Nasiri1-14/+0
2017-01-16Adding decoration class and tests.Ehsan Nasiri1-9/+42
2017-01-06Validation for Composite Extract and Insert.Ehsan Nasiri1-10/+198
2017-01-03Adding validation code for PtrAccessChain.Ehsan Nasiri1-1/+25
2016-12-08Adding validation for OpInBoundsAccessChain.Ehsan Nasiri1-21/+28
2016-12-07An OpVariable initializer can be a module-scope variableDavid Neto1-6/+12
2016-12-06Fixing bug in OpAccessChain validation code.Ehsan Nasiri1-3/+4
2016-12-02Adding validation code for OpAccessChain.Ehsan Nasiri1-5/+139
2016-12-01Validate the number of arguments in OpTypeFunctionEhsan Nasiri1-3/+10
2016-11-24Validation for OpSampledImage instruction.Ehsan Nasiri1-0/+49
2016-11-19Adding validation for OpSpecConstantComposite.Ehsan Nasiri1-5/+192
2016-11-16Adding validation code for OpTypeStruct.Ehsan Nasiri1-4/+27
2016-11-08Rename validation source files to comply with Google style guide.Lei Zhang1-2/+2
2016-09-22Fix forward reference issues with forword pointerUmar Arshad1-1/+4
2016-09-15Add a callback mechanism for communicating messages to callers.Lei Zhang1-7/+7
2016-09-14Fix validator: OpUndef can be member of a constant compositeDavid Neto1-8/+14
2016-09-14Fix validator SSA check: Phi can use its own value sometimesDavid Neto1-8/+29
2016-09-07Kill the spvCheck macro which is just alias to if-statement.Lei Zhang1-170/+181
2016-09-02Relicense SPIRV-Tools under Apache 2.0David Neto1-21/+9
2016-09-02Kill diagnostic_helper & the wrapping DIAGNOSTIC macro.Lei Zhang1-3/+5
2016-08-09Fix compilation. My badDavid Neto1-2/+2
2016-08-09Check dominance of OpPhi parent and variable pairsUmar Arshad1-7/+24
2016-08-09Removed dead code/const_casts/listsUmar Arshad1-13/+4
2016-08-09Refactor Id -> InstructionUmar Arshad1-38/+59
2016-08-07Remove unnecessary headersUmar Arshad1-0/+1
2016-08-06Remove needless copies. Delete copy constructor.Umar Arshad1-1/+1
2016-08-04Only check def dominance of reachable usesDavid Neto1-0/+1
2016-07-29Avoid checking def-use dominance for OpPhi value operandsDavid Neto1-1/+14
2016-07-26Check definitions appear in dominator of useUmar Arshad1-5/+53