aboutsummaryrefslogtreecommitdiff
path: root/test/val/val_cfg_test.cpp
AgeCommit message (Expand)Author
2024-01-25Add tooling support for SPV_KHR_maximal_reconvergence (#5542)alan-baker
2023-03-28spirv-val: Remove unused includes and code (#5176)Spencer Fricke
2023-02-06spirv-val: Conditional Branch without an exit is invalid in loop header (#5069)Caio Oliveira
2023-01-09spirv-val: Use more specific term 'switch header' in error message (#5048)upstream-masterCaio Oliveira
2022-12-06Fix infinite loop in validator (#5006)alan-baker
2022-11-04Switch SPIRV-Tools to use spirv.hpp11 internally (#4981)alan-baker
2022-10-24Prevent null pointer from being dereferenced (#4971)alan-baker
2022-09-29spirv-val: Consistently quote ids in messages (#4950)Shahbaz Youssefi
2022-07-06Use structural reachability in CFG checks (#4849)alan-baker
2022-07-06Update validator diagnostics with "structurally dominated" (#4844)David Neto
2022-06-29Use structural dominance to validate cfg (#4832)alan-baker
2022-01-26Fix various source comment (doxygen) typos (#4680)luzpaz
2021-12-15Basic support for SPIR-V 1.6 (#4663)alan-baker
2021-10-28Avoid confusing short-circuiting (#3404)David Neto
2021-09-13Fix infinite loop in validation (#4523)alan-baker
2021-09-11Fix infinite loop in GetBlockDepth (#4519)alan-baker
2021-09-08Add some missing switch validation (#4507)alan-baker
2021-05-12Fix continue construct for single block loops (#4277)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-10-19spirv-val: Fix validation of OpPhi instructions (#3919)Alastair Donaldson
2020-07-29Update some language usage. (#3611)dan sinclair
2020-07-15Fix reachability in the validator (#3541)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-09-27Refactor the InstructionPass (#2924)alan-baker
2019-07-23Fix block depth rule priority (#2755)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-21Allows breaks selection breaks to switches (#2605)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-04-02Remove merge assert in block calculation (#2489)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-03-05Add a test for two back-edges in a continue (#2418)alan-baker
2019-01-29Remove use of deprecated googletest macro (#2286)Steven Perron
2019-01-24spirv-val: Emit an error when an OpSwitch target is not an OpLabel (#2298)JasperNV
2018-12-03[val] Fixup id name output (#2158)dan sinclair
2018-10-16Checks for variable pointers (#1976)Steven Perron
2018-10-10Fix calculation of case fall through (#1965)alan-baker
2018-10-10Fix bug in construct block calculation (#1964)alan-baker
2018-10-02Add validation for execution modesAlan Baker
2018-08-14Validate correct opcode uses of OpFunctionAlan Baker
2018-08-03Cleanup includes. (#1795)dan sinclair