18 Commits

Author	SHA1	Message	Date
Dzmitry Malyshau	4389a86787	Fix layout roundup	2021-04-03 00:41:32 -04:00
Dzmitry Malyshau	ca6876b7a0	Validate math functions	2021-03-29 11:06:41 -04:00
Dzmitry Malyshau	ba055bfbad	Fix validation of constant offset expression	2021-03-27 00:29:48 -04:00
Dzmitry Malyshau	7d042337e2	Align the block decoration with SPIR-V, require storage buffers	2021-03-25 12:34:25 -04:00
Dzmitry Malyshau	e87f57d82c	Fix expression validation check	2021-03-25 09:32:55 -04:00
Dzmitry Malyshau	06d777b609	Make layout validation optional, disable the struct size check	2021-03-24 21:03:00 -04:00
Dzmitry Malyshau	a0b5717fed	Validate image stores	2021-03-24 12:32:32 -04:00
Dzmitry Malyshau	69a0fbd00e	Validate image sampling and value casting	2021-03-24 12:32:32 -04:00
Dzmitry Malyshau	8c73c0c5df	Validate derivatives and image loads	2021-03-24 12:32:32 -04:00
Dzmitry Malyshau	7a246f6a14	Validate image queries and valid shader stages for derivatives	2021-03-24 12:32:32 -04:00
Dzmitry Malyshau	8712020115	Move Layouter into ModuleInfo	2021-03-23 10:11:50 -04:00
Dzmitry Malyshau	6086f13bf0	Move the growable typifier into frontend helpers	2021-03-22 15:17:00 -04:00
Dzmitry Malyshau	970b77abaf	Make type a part of ExpressionInfo	2021-03-22 15:17:00 -04:00
Dzmitry Malyshau	1d3f2bbdb1	Merge FunctionAnalysisError into FunctionError	2021-03-22 15:17:00 -04:00
Dzmitry Malyshau	1b3e7294fd	Move type validation into a sub-module	2021-03-21 22:27:32 -04:00
Dzmitry Malyshau	1ddea0fdbb	Validate layouts	2021-03-21 22:27:32 -04:00
Dzmitry Malyshau	e3ae5904ba	Move AnalysisFlags into ValidationFlags, add bits for expressions and blocks	2021-03-20 22:25:49 -04:00
Dzmitry Malyshau	c992e638fe	Move all the validation into a separate meta-module	2021-03-20 22:25:49 -04:00