HardTanh on MLIR GPU

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	MLIR GPU (`mlir_gpu`)
Target	gpu
Description	MLIR GPU dialect. Lowered through MLIR pipeline to PTX.

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.