HardTanh on CUDA C

Hard Hyperbolic Tangent

⏳ PENDING — not yet measured

Operation

Operation	HardTanh (`bpd_hardtanh`)
Formula	f(x) = max(-1, min(1, x))
Category	Piecewise linear

Kernel Specification (Prolog/Logtalk)

This is the backend-neutral op_expr fact that specifies the operation. The same term is lowered to LLVM IR, CUDA C, MLIR, and every other backend — one specification, many targets.

op_expr(bpd_hardtanh,
    sel(le(var, const(-1.0)), const(-1.0),
        sel(ge(var, const(1.0)), const(1.0), var))).

Backend

Backend	CUDA C (`cuda_c`)
Target	gpu
Description	CUDA C source code. Compiled with nvcc.

Verification

This (operation, backend) pair has not yet been measured. When the backend emitter and verification infrastructure are ready, this cell will be tested against the PyTorch reference.