aboutsummaryrefslogtreecommitdiff
path: root/source/validate.h
diff options
context:
space:
mode:
authorUmar Arshad <umar@arrayfire.com>2016-07-08 09:44:10 -0400
committerDavid Neto <dneto@google.com>2016-07-26 13:36:41 -0400
commit66c94928a324efd7d3c2d10817e8fb599096302b (patch)
treede46b0b1616e3dd96fc7acfea013aef4d6cdb82e /source/validate.h
parent6c61bf2dfadf70ab5fe1b0fb918ba03b7afa2396 (diff)
downloadspirv-tools-66c94928a324efd7d3c2d10817e8fb599096302b.tar.gz
Refactor IDs definition and use tracking
* Creates an ID class which manages definition and use of IDs * Moved tracking code from validate.cpp to validate_id.cpp * Rename and combine SsaPass and ProcessIds into IdPass * Remove module dependency in Function
Diffstat (limited to 'source/validate.h')
-rw-r--r--source/validate.h6
1 files changed, 2 insertions, 4 deletions
diff --git a/source/validate.h b/source/validate.h
index 35ec9a61..7f411198 100644
--- a/source/validate.h
+++ b/source/validate.h
@@ -30,7 +30,6 @@
#include <algorithm>
#include <array>
#include <functional>
-#include <list>
#include <map>
#include <string>
#include <unordered_map>
@@ -115,9 +114,8 @@ spv_result_t ModuleLayoutPass(ValidationState_t& _,
spv_result_t CfgPass(ValidationState_t& _,
const spv_parsed_instruction_t* inst);
-/// Performs SSA validation of a module
-spv_result_t SsaPass(ValidationState_t& _,
- const spv_parsed_instruction_t* inst);
+/// Performs Id and SSA validation of a module
+spv_result_t IdPass(ValidationState_t& _, const spv_parsed_instruction_t* inst);
/// Performs instruction validation.
spv_result_t InstructionPass(ValidationState_t& _,