00

add.rm.ftz.sat.f32 C semantics

CodeArtifact ☆ WATCH ⎘ SHARE

First seen 9/5/2026

Last seen 9/5/2026

Evidence 3 chunks

01

NEIGHBORHOOD

4 nodes · 4 edges

graph · add.rm.ftz.sat.f32 C semantics · depth=1

02

RELATIONSHIPS

3 connections

Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking ← uses 95% 2e evidence

The paper demonstrates its technique using the add.rm.ftz.sat.f32 C semantics as a running example.

PTX instruction set implements → 100% 1e evidence

The C program implements the semantics of the PTX add.rm.ftz.sat.f32 instruction.

floating-point arithmetic uses → 100% 1e evidence

The C semantics implements floating-point addition with rounding and saturation.