| //@ compile-flags: -Zautodiff=Enable -Zautodiff_post_passes=function(mem2reg,instsimplify,simplifycfg) -C opt-level=3 -Clto=fat | |
| //@ no-prefer-dynamic | |
| //@ needs-enzyme | |
| //@ revisions: F32 F64 Main | |
| // Here we verify that the function `square` can be differentiated over f64. | |
| // This is interesting to test, since the user never calls `square` with f64, so on it's own rustc | |
| // would have no reason to monomorphize it that way. However, Enzyme needs the f64 version of | |
| // `square` in order to be able to differentiate it, so we have logic to enforce the | |
| // monomorphization. Here, we test this logic. | |
| #![feature(autodiff)] | |
| use std::autodiff::autodiff_reverse; | |
| #[autodiff_reverse(d_square, Duplicated, Active)] | |
| #[inline(never)] | |
| fn square<T: std::ops::Mul<Output = T> + Copy>(x: &T) -> T { | |
| *x * *x | |
| } | |
| // Ensure that `d_square::<f32>` code is generated | |
| // F32-LABEL: ; generic::square::<f32> | |
| // F32-NEXT: ; Function Attrs: {{.*}} | |
| // F32-NEXT: define internal {{.*}} float | |
| // F32-NEXT: start: | |
| // F32-NOT: ret | |
| // F32: fmul float | |
| // Ensure that `d_square::<f64>` code is generated even if `square::<f64>` was never called | |
| // F64-LABEL: ; generic::d_square::<f64> | |
| // F64-NEXT: ; Function Attrs: {{.*}} | |
| // F64-NEXT: define internal {{.*}} void | |
| // F64-NEXT: start: | |
| // F64-NEXT: {{(tail )?}}call fast { double } @diffe_{{.*}}(ptr {{.*}}, ptr {{.*}}, double {{.*}}) | |
| // F64-NEXT: ret void | |
| // Main-LABEL: ; generic::main | |
| // Main: ; call generic::square::<f32> | |
| // Main: ; call generic::d_square::<f64> | |
| fn main() { | |
| let xf32: f32 = std::hint::black_box(3.0); | |
| let xf64: f64 = std::hint::black_box(3.0); | |
| let seed: f64 = std::hint::black_box(1.0); | |
| let outputf32 = square::<f32>(&xf32); | |
| assert_eq!(9.0, outputf32); | |
| let mut df_dxf64: f64 = std::hint::black_box(0.0); | |
| let output_f64 = d_square::<f64>(&xf64, &mut df_dxf64, seed); | |
| assert_eq!(6.0, df_dxf64); | |
| } |