diff options
| author | jsmall-nvidia <jsmall@nvidia.com> | 2019-05-31 17:20:37 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-31 17:20:37 -0400 |
| commit | 6cbc3929a54d37bd23cb5efa8e3320ba02f78b2f (patch) | |
| tree | 5a23cb47782e9e2a77762c90dd35da1005eba8d0 /source/slang/ir-validate.h | |
| parent | b81ff3ef968d1cc4e954b31a1812b3c391d17b02 (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.h | 35 |
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); -} |
