add.rm.ftz.sat.f32 C semantics
CodeArtifactFirst seen 9/5/2026
Last seen 9/5/2026
Evidence 3 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connections Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking ← uses 95% 2e
The paper demonstrates its technique using the add.rm.ftz.sat.f32 C semantics as a running example.
The C program implements the semantics of the PTX add.rm.ftz.sat.f32 instruction.
The C semantics implements floating-point addition with rounding and saturation.