HardTanh on LLVM CPU

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	LLVM CPU (`llvm_cpu`)
Target	cpu
Description	LLVM IR targeting x86-64 CPU. Compiled with llc + clang.

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.