aboutsummaryrefslogtreecommitdiff
path: root/source/val/validate_cfg.cpp
AgeCommit message (Expand)Author
2022-01-26Fix various source comment (doxygen) typos (#4680)luzpaz
2021-12-15Basic support for SPIR-V 1.6 (#4663)alan-baker
2021-10-29Avoid bitwise and in boolean expression (#4603)Alastair Donaldson
2021-10-28Avoid confusing short-circuiting (#3404)David Neto
2021-09-08Add some missing switch validation (#4507)alan-baker
2021-03-02Require an OpSelectionMerge before an OpSwitch (#4154)alan-baker
2021-01-14Remove WebGPU support (#4108)Ryan Harrison
2020-11-27Reject SPIR-V that applies void to OpUndef, OpCopyObject, OpPhi (#4036)Alastair Donaldson
2020-11-23Update MeshShadingNV dependencies (and land Ray tracing updates) (#4028)David Neto
2020-10-19spirv-val: Fix validation of OpPhi instructions (#3919)Alastair Donaldson
2020-07-22Support SPV_KHR_terminate_invocation (#3568)alan-baker
2020-07-15Fix reachability in the validator (#3541)alan-baker
2020-04-14Remove implicit fallthrough (#3298)alan-baker
2020-03-23Disallow phis of images, samplers and sampled images (#3246)alan-baker
2020-01-23Fix structured exit validation (#3141)alan-baker
2019-12-27Fix typo in validation message (#3122)Kai Burjack
2019-11-27Validate nested constructs (#3068)alan-baker
2019-10-11Validate that selections are structured (#2962)alan-baker
2019-07-23Case validation with repeated labels (#2689)alan-baker
2019-05-21Disallow merge targeting block with OpLoopMerge (#2610)alan-baker
2019-05-16Validate construct exits (#2459)alan-baker
2019-05-15Validate loop merge (#2579)alan-baker
2019-04-17Remove unreachable block validation (#2525)alan-baker
2019-03-29Validate that OpUnreacahble is not statically reachable (#2473)alan-baker
2019-03-08Implement WebGPU specific CFG validation (#2386)Ryan Harrison
2019-01-24spirv-val: Emit an error when an OpSwitch target is not an OpLabel (#2298)JasperNV
2018-11-16Catch branch condition being a typeAlan Baker
2018-10-16Checks for variable pointers (#1976)Steven Perron
2018-10-10Fix calculation of case fall through (#1965)alan-baker
2018-10-03Change handling of unknown extentions in validtor. (#1951)Steven Perron
2018-08-27Validate all type ids. (#1868)Steven Perron
2018-08-13Move cfg opcode validation to another file.Alan Baker
2018-08-01Remove using std::<foo> statements. (#1756)dan sinclair
2018-08-01Update diag() calls in validate_cfg. (#1760)dan sinclair
2018-07-31Change ValidationState::diag to accept an Instruction. (#1749)dan sinclair
2018-07-11Move validation files to val/ directory (#1692)dan sinclair