Module gpu_pixels 

GPU Pixel Testing: Atomic verification of CUDA kernel correctness GPU Pixel Testing: Atomic verification of CUDA kernel correctness

Inspired by pixel-level GUI testing, GPU pixel testing verifies the smallest testable units of GPU kernel behavior to catch bugs like:

• Shared memory addressing (u64 vs u32)
• Loop branch direction (START vs END)
• Kernel name mismatches
• Tile/thread bounds violations

Architecture

┌─────────────────────────────────────────────────────────────────┐
│                    GPU Pixel Testing                            │
├─────────────────────────────────────────────────────────────────┤
│   ┌────────────┐    ┌────────────┐    ┌────────────┐            │
│   │ PTX Static │    │ Kernel     │    │ Regression │            │
│   │ Analysis   │───►│ Pixel      │───►│ Detection  │            │
│   │            │    │ Tests      │    │            │            │
│   └────────────┘    └────────────┘    └────────────┘            │
└─────────────────────────────────────────────────────────────────┘

Structs

GpuPixelResult

Result of a single GPU pixel test

GpuPixelTest

A single GPU pixel test

GpuPixelTestSuite

Suite of GPU pixel tests for a kernel

GpuRegressionSuite

GPU kernel regression test suite

KernelPixelConfig

Configuration for kernel pixel tests

PtxAnalyzer

PTX static analyzer

PtxBug

A detected PTX bug

PtxValidationResult

Result of PTX validation

RegressionConfig

Configuration for regression testing

RegressionResult

Result of regression check

Enums

PtxBugClass

PTX bug classification

Functions

run_kernel_pixels

Run all GPU pixel tests for a kernel

run_regression_suite

Run regression suite on multiple kernels

standard_pixel_tests

Standard GPU pixel tests catalog

validate_ptx

Quick validation of PTX for common GPU kernel bugs