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