summaryrefslogtreecommitdiff
path: root/source/slang/ir-validate.h
diff options
context:
space:
mode:
authorjsmall-nvidia <jsmall@nvidia.com>2019-05-31 17:20:37 -0400
committerGitHub <noreply@github.com>2019-05-31 17:20:37 -0400
commit6cbc3929a54d37bd23cb5efa8e3320ba02f78b2f (patch)
tree5a23cb47782e9e2a77762c90dd35da1005eba8d0 /source/slang/ir-validate.h
parentb81ff3ef968d1cc4e954b31a1812b3c391d17b02 (diff)
Use slang- prefix on slang compiler and core source (#973)
* Prefixing source files in source/slang with slang- * Prefix source in source/slang with slang- prefix. * Rename core source files with slang- prefix. * Update project files. * Fix problems from automatic merge.
Diffstat (limited to 'source/slang/ir-validate.h')
-rw-r--r--source/slang/ir-validate.h35
1 files changed, 0 insertions, 35 deletions
diff --git a/source/slang/ir-validate.h b/source/slang/ir-validate.h
deleted file mode 100644
index 1cb30961d..000000000
--- a/source/slang/ir-validate.h
+++ /dev/null
@@ -1,35 +0,0 @@
-// ir-validate.h
-#pragma once
-
-namespace Slang
-{
- class CompileRequestBase;
- class DiagnosticSink;
- struct IRModule;
-
-
- // Validate that an IR module obeys the invariants we need to enforce.
- // For example:
- //
- // * Confirm that linked lists for children and for use-def chains are consistent
- // (e.g., x.next.prev == x)
- //
- // * Confirm that parent/child relationships are correct (e.g., if is `x` is in
- // `y.children`, then `x.parent == y`
- //
- // * Confirm that every operand of an instruction is valid to reference (i.e., it
- // must either be defined earlier in the same block, in a different block that
- // dominates the current one, or in a parent instruction of the block.
- //
- // * Confirm that every block ends with a terminator, and there are no terminators
- // elsewhere in a block.
- //
- // * Confirm that all the parameters of a block come before any "ordinary" instructions.
- void validateIRModule(IRModule* module, DiagnosticSink* sink);
-
- // A wrapper that calls `validateIRModule` only when IR validation is enabled
- // for the given compile request.
- void validateIRModuleIfEnabled(
- CompileRequestBase* compileRequest,
- IRModule* module);
-}