csharp
public static class IrVerifierChecks that a module is internally consistent before a backend ever sees it: values are defined once and only used where they are in scope, types line up on every instruction, access chains are well formed, and control flow is sane. A backend can then assume the IR is valid instead of re-checking it.
Methods (1)
public static bool Verify(IrModule module, DiagnosticBag diagnostics)Verifies a module, reporting RVN3010 for each problem found.
Used by (46, showing 40)
- ParticlePictureVixen.Vfx.Gpu.Tests
- RavenKernelsVixen.Vfx.Gpu.Tests
- RavenTargetVixen.Fuzz
- ShaderRunVixen.Raven.Gpu.Tests
- VfxShaderEmitterTestsVixen.Vfx.Tests
- VfxSortTestsVixen.Vfx.Gpu.Tests
- AtomicTestsVixen.Raven.Tests
- BindlessTextureTestsVixen.Raven.Tests
- CapabilityTestsVixen.Raven.Tests
- CodeGenTestBaseVixen.Raven.Tests
- CompileDriverVixen.Raven.Cli
- CompiledEffectTestsVixen.Raven.Tests
- CompiledLibraryTestsVixen.Raven.Tests
- ComposeInterfaceTestsVixen.Raven.Tests
- ComposeTestsVixen.Raven.Tests
- ComputeTestsVixen.Raven.Tests
- DescriptorSetTestsVixen.Raven.Tests
- DynamicOffsetTestsVixen.Raven.Tests
- FunctionVerifierVixen.Raven
- GoldenGlslTestsVixen.Raven.Tests
- GoldenIrTestsVixen.Raven.Tests
- GoldenSpirvTestsVixen.Raven.Tests
- GroupSharedTestsVixen.Raven.Tests
- InOutTestsVixen.Raven.Tests
- Int64TestsVixen.Raven.Tests
- IrVerifierTestsVixen.Raven.Tests
- LibraryExampleTestsVixen.Raven.Tests
- LibraryTreeTestsVixen.Raven.Tests
- LoweringTestBaseVixen.Raven.Tests
- MaterialRecordTestsVixen.Raven.Tests
- NegativeDiagnosticTestsVixen.Raven.Tests
- PermutationTestsVixen.Raven.Tests
- RavenEffectCompilerVixen.ShaderCompiler
- ReadmeExampleTestsVixen.Raven.Tests
- ReflectionTestsVixen.Raven.Tests
- ShaderGraphCompilerTestsVixen.Editor.ShaderGraph.Tests
- ShaderGraphPreviewTestsVixen.Editor.ShaderGraph.Tests
- ShaderNodeLibraryTestsVixen.Editor.ShaderGraph.Tests
- SharedBindingTestsVixen.Raven.Tests
- SizedArrayTestsVixen.Raven.Tests