summaryrefslogtreecommitdiff
path: root/source/val
AgeCommit message (Expand)AuthorFilesLines
2018-07-10Vulkan permits non-monotonic offsets for block membersDavid Neto2-0/+7
2018-07-10Convert validation to use libspriv::Instruction where possible. (#1663)dan sinclair3-19/+26
2018-07-09Move the validation code into the val:: namespace (#1682)dan sinclair11-4/+28
2018-07-07Change libspirv to spvtools namespace (#1678)dan sinclair11-38/+39
2018-07-03Support SPV_KHR_8bit_storageDavid Neto2-0/+9
2018-07-03Produce better error diagnostics in the CFG validation. (#1660)dan sinclair3-4/+15
2018-06-21Add a WIP WebGPU environment. It disallows OpUndefCorentin Wallez2-2/+13
2018-06-19[val] Add extra context to error messages. (#1600)dan sinclair4-4/+54
2018-06-13Structured switch checksAlan Baker2-0/+16
2018-06-13Validate static uses of interfacesAlan Baker1-17/+16
2018-06-11Check for invalid branches into construct body.Alan Baker3-2/+76
2018-05-23Validate presence of OpMemoryModel.dan sinclair2-2/+8
2018-05-16Support SpvOpExecutionModeId in SPIR-V logical layoutLei Zhang1-1/+4
2018-04-17Fixes #1483. Validating Vulkan 1.1 barrier execution scopesAlan Baker2-0/+46
2018-04-05Fix major bug in validate_builtinsAndrey Tuganov1-3/+2
2018-04-05Execution mode/model available in validation stateAndrey Tuganov1-3/+44
2018-03-23Add Vulkan validation rules for BuiltIn variablesAndrey Tuganov2-2/+8
2018-03-22Fixes compile errors generated with -WpedanticEleni Maria Stea1-1/+1
2018-03-07AMD_gpu_shader_half_float enables float16Andrey Tuganov1-0/+5
2018-03-05Support SPV_GOOGLE_decorate_string and SPV_GOOGLE_hlsl_functionality1David Neto1-0/+3
2018-02-07Add Vulkan-specific validation rules for atomicsAndrey Tuganov2-0/+23
2018-02-05Add barrier instructions validation passAndrey Tuganov2-14/+36
2017-12-14Refactor include of latest spir-v header versionsAndrey Tuganov4-4/+4
2017-11-30Fix validation of group ops in SPV_AMD_shader_ballotDavid Neto2-0/+18
2017-11-27Fix windows build.Diego Novillo1-0/+1
2017-11-27Re-format source tree - NFC.Diego Novillo9-13/+12
2017-11-23Add validation checks for Execution ModelAndrey Tuganov4-3/+78
2017-11-22Validator pass for image instructionsAndrey Tuganov2-2/+85
2017-11-08Re-format files in source, source/opt, source/util, source/val and tools.Diego Novillo8-31/+29
2017-10-28Add option to relax validation of store types.Steven Perron1-0/+3
2017-10-25Turn all function static non-POD variables into global POD variablesLei Zhang1-36/+24
2017-10-20Add validation pass for conversion instructionsAndrey Tuganov2-0/+41
2017-10-12Validator checks OpReturn called from void funcAndrey Tuganov3-1/+10
2017-09-26Add remaining opcodes to arithmetics validationAndrey Tuganov2-0/+26
2017-09-08Add new checks to validate arithmetics passAndrey Tuganov2-8/+56
2017-09-07validator: OpModuleProcessed allowed in layout section 7cDavid Neto2-0/+6
2017-09-05Add validation pass for arithmetic operationsAndrey Tuganov2-0/+194
2017-06-30Added compression tool tools/spirv-markv. Work in progress.Andrey Tuganov1-1/+1
2017-06-28Don't do hash lookup twice in FindDefChris Forbes1-14/+6
2017-05-25CFA: Move TraversalRoots and ComputeAugmentedCFG into CFAGreg Fischer1-86/+8
2017-05-15Add SPIR-V 1.2 support, for OpenCL 2.2David Neto3-3/+3
2017-05-09Stats analyzer aggregates OpConstant usageAndrey Tuganov1-1/+10
2017-05-09Stats analyzer uses validatorAndrey Tuganov1-0/+5
2017-05-08Inline: Create CFA classGreg Fischer1-2/+4
2017-04-07Support SPV_KHR_storage_buffer_storage_classDavid Neto2-5/+5
2017-04-07Validator support for Variable Pointer extension.Ehsan Nasiri2-0/+14
2017-03-14Validator checks if operands require extensionAndrey Tuganov2-11/+20
2017-03-09Validator parses and registers OpExtensionAndrey Tuganov2-3/+15
2017-03-01Allow using FPRoundingMode when see VK_KHR_16bit_storageLei Zhang2-3/+7
2017-02-28Issue 559: check type declaration uniquenessAndrey Tuganov2-0/+30
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-27 03:31:43 +0000