use crate::ir::{Expr, Program};
use crate::ops::primitive;
use crate::ops::{OpSpec, F32_INPUTS, F32_OUTPUTS};
#[derive(Debug, Clone, Copy, Default)]
pub struct F32Sign;
impl F32Sign {
pub const SPEC: OpSpec = OpSpec::composition_inlinable(
"primitive.float.f32_sign",
F32_INPUTS,
F32_OUTPUTS,
&[],
Self::program,
);
pub fn program() -> Program {
primitive::unary_f32_program(Expr::sign)
}
}
#[cfg(test)]
mod tests {
use super::*;
use crate::ir::{self, DataType};
#[test]
fn program_is_non_empty() {
assert!(!F32Sign::program().entry().is_empty());
}
#[test]
fn program_validates() {
let errors = ir::validate(&F32Sign::program());
assert!(errors.is_empty(), "validation failed: {errors:?}");
}
#[test]
fn spec_id_is_correct() {
assert_eq!(F32Sign::SPEC.id(), "primitive.float.f32_sign");
}
#[test]
fn spec_signature_is_f32_to_f32() {
assert_eq!(F32Sign::SPEC.inputs(), &[DataType::F32]);
assert_eq!(F32Sign::SPEC.outputs(), &[DataType::F32]);
}
}