LeakyReLU on MLIR GPU

Leaky Rectified Linear Unit

⏳ PENDING — not yet measured

Operation

Operation	LeakyReLU (`bpd_leaky_relu`)
Formula	f(x) = x if x > 0, else 0.01x
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_leaky_relu,
    sel(ge(var, const(0.0)), var,
        mul(const(0.01), 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.