|
3 | 3 | //@ needs-enzyme |
4 | 4 |
|
5 | 5 | #![feature(autodiff)] |
6 | | -#![feature(intrinsics)] |
| 6 | +#![feature(core_intrinsics)] |
7 | 7 | #[prelude_import] |
8 | 8 | use ::std::prelude::rust_2015::*; |
9 | 9 | #[macro_use] |
|
37 | 37 | ::core::panicking::panic("not implemented") |
38 | 38 | } |
39 | 39 | #[rustc_autodiff(Forward, 1, Dual, Const, Dual)] |
40 | | -#[rustc_intrinsic] |
41 | | -pub fn df1(x: &[f64], bx_0: &[f64], y: f64) -> (f64, f64); |
| 40 | +pub fn df1(x: &[f64], bx_0: &[f64], y: f64) -> (f64, f64) { |
| 41 | + std::intrinsics::enzyme_autodiff(f1::<>, df1::<>, (x, bx_0, y)) |
| 42 | +} |
42 | 43 | #[rustc_autodiff] |
43 | 44 | #[inline(never)] |
44 | 45 | pub fn f2(x: &[f64], y: f64) -> f64 { |
45 | 46 | ::core::panicking::panic("not implemented") |
46 | 47 | } |
47 | 48 | #[rustc_autodiff(Forward, 1, Dual, Const, Const)] |
48 | | -#[rustc_intrinsic] |
49 | | -pub fn df2(x: &[f64], bx_0: &[f64], y: f64) -> f64; |
| 49 | +pub fn df2(x: &[f64], bx_0: &[f64], y: f64) -> f64 { |
| 50 | + std::intrinsics::enzyme_autodiff(f2::<>, df2::<>, (x, bx_0, y)) |
| 51 | +} |
50 | 52 | #[rustc_autodiff] |
51 | 53 | #[inline(never)] |
52 | 54 | pub fn f3(x: &[f64], y: f64) -> f64 { |
53 | 55 | ::core::panicking::panic("not implemented") |
54 | 56 | } |
55 | 57 | #[rustc_autodiff(Forward, 1, Dual, Const, Const)] |
56 | | -#[rustc_intrinsic] |
57 | | -pub fn df3(x: &[f64], bx_0: &[f64], y: f64) -> f64; |
| 58 | +pub fn df3(x: &[f64], bx_0: &[f64], y: f64) -> f64 { |
| 59 | + std::intrinsics::enzyme_autodiff(f3::<>, df3::<>, (x, bx_0, y)) |
| 60 | +} |
58 | 61 | #[rustc_autodiff] |
59 | 62 | #[inline(never)] |
60 | 63 | pub fn f4() {} |
61 | 64 | #[rustc_autodiff(Forward, 1, None)] |
62 | | -#[rustc_intrinsic] |
63 | | -pub fn df4() -> (); |
| 65 | +pub fn df4() -> () { std::intrinsics::enzyme_autodiff(f4::<>, df4::<>, ()) } |
64 | 66 | #[rustc_autodiff] |
65 | 67 | #[inline(never)] |
66 | 68 | pub fn f5(x: &[f64], y: f64) -> f64 { |
67 | 69 | ::core::panicking::panic("not implemented") |
68 | 70 | } |
69 | 71 | #[rustc_autodiff(Forward, 1, Const, Dual, Const)] |
70 | | -#[rustc_intrinsic] |
71 | | -pub fn df5_y(x: &[f64], y: f64, by_0: f64) -> f64; |
| 72 | +pub fn df5_y(x: &[f64], y: f64, by_0: f64) -> f64 { |
| 73 | + std::intrinsics::enzyme_autodiff(f5::<>, df5_y::<>, (x, y, by_0)) |
| 74 | +} |
72 | 75 | #[rustc_autodiff(Forward, 1, Dual, Const, Const)] |
73 | | -#[rustc_intrinsic] |
74 | | -pub fn df5_x(x: &[f64], bx_0: &[f64], y: f64) -> f64; |
| 76 | +pub fn df5_x(x: &[f64], bx_0: &[f64], y: f64) -> f64 { |
| 77 | + std::intrinsics::enzyme_autodiff(f5::<>, df5_x::<>, (x, bx_0, y)) |
| 78 | +} |
75 | 79 | #[rustc_autodiff(Reverse, 1, Duplicated, Const, Active)] |
76 | | -#[rustc_intrinsic] |
77 | | -pub fn df5_rev(x: &[f64], dx_0: &mut [f64], y: f64, dret: f64) -> f64; |
| 80 | +pub fn df5_rev(x: &[f64], dx_0: &mut [f64], y: f64, dret: f64) -> f64 { |
| 81 | + std::intrinsics::enzyme_autodiff(f5::<>, df5_rev::<>, (x, dx_0, y, dret)) |
| 82 | +} |
78 | 83 | struct DoesNotImplDefault; |
79 | 84 | #[rustc_autodiff] |
80 | 85 | #[inline(never)] |
81 | 86 | pub fn f6() -> DoesNotImplDefault { |
82 | 87 | ::core::panicking::panic("not implemented") |
83 | 88 | } |
84 | 89 | #[rustc_autodiff(Forward, 1, Const)] |
85 | | -#[rustc_intrinsic] |
86 | | -pub fn df6() -> DoesNotImplDefault; |
| 90 | +pub fn df6() -> DoesNotImplDefault { |
| 91 | + std::intrinsics::enzyme_autodiff(f6::<>, df6::<>, ()) |
| 92 | +} |
87 | 93 | #[rustc_autodiff] |
88 | 94 | #[inline(never)] |
89 | 95 | pub fn f7(x: f32) -> () {} |
90 | 96 | #[rustc_autodiff(Forward, 1, Const, None)] |
91 | | -#[rustc_intrinsic] |
92 | | -pub fn df7(x: f32) -> (); |
| 97 | +pub fn df7(x: f32) -> () { |
| 98 | + std::intrinsics::enzyme_autodiff(f7::<>, df7::<>, (x,)) |
| 99 | +} |
93 | 100 | #[no_mangle] |
94 | 101 | #[rustc_autodiff] |
95 | 102 | #[inline(never)] |
96 | 103 | fn f8(x: &f32) -> f32 { ::core::panicking::panic("not implemented") } |
97 | 104 | #[rustc_autodiff(Forward, 4, Dual, Dual)] |
98 | | -#[rustc_intrinsic] |
99 | 105 | fn f8_3(x: &f32, bx_0: &f32, bx_1: &f32, bx_2: &f32, bx_3: &f32) |
100 | | --> [f32; 5usize]; |
| 106 | + -> [f32; 5usize] { |
| 107 | + std::intrinsics::enzyme_autodiff(f8::<>, f8_3::<>, |
| 108 | + (x, bx_0, bx_1, bx_2, bx_3)) |
| 109 | +} |
101 | 110 | #[rustc_autodiff(Forward, 4, Dual, DualOnly)] |
102 | | -#[rustc_intrinsic] |
103 | 111 | fn f8_2(x: &f32, bx_0: &f32, bx_1: &f32, bx_2: &f32, bx_3: &f32) |
104 | | --> [f32; 4usize]; |
| 112 | + -> [f32; 4usize] { |
| 113 | + std::intrinsics::enzyme_autodiff(f8::<>, f8_2::<>, |
| 114 | + (x, bx_0, bx_1, bx_2, bx_3)) |
| 115 | +} |
105 | 116 | #[rustc_autodiff(Forward, 1, Dual, DualOnly)] |
106 | | -#[rustc_intrinsic] |
107 | | -fn f8_1(x: &f32, bx_0: &f32) -> f32; |
| 117 | +fn f8_1(x: &f32, bx_0: &f32) -> f32 { |
| 118 | + std::intrinsics::enzyme_autodiff(f8::<>, f8_1::<>, (x, bx_0)) |
| 119 | +} |
108 | 120 | pub fn f9() { |
109 | 121 | #[rustc_autodiff] |
110 | 122 | #[inline(never)] |
111 | 123 | fn inner(x: f32) -> f32 { x * x } |
112 | 124 | #[rustc_autodiff(Forward, 1, Dual, Dual)] |
113 | | - #[rustc_intrinsic] |
114 | | - fn d_inner_2(x: f32, bx_0: f32) |
115 | | - -> (f32, f32); |
| 125 | + fn d_inner_2(x: f32, bx_0: f32) -> (f32, f32) { |
| 126 | + std::intrinsics::enzyme_autodiff(inner::<>, d_inner_2::<>, (x, bx_0)) |
| 127 | + } |
116 | 128 | #[rustc_autodiff(Forward, 1, Dual, DualOnly)] |
117 | | - #[rustc_intrinsic] |
118 | | - fn d_inner_1(x: f32, bx_0: f32) |
119 | | - -> f32; |
| 129 | + fn d_inner_1(x: f32, bx_0: f32) -> f32 { |
| 130 | + std::intrinsics::enzyme_autodiff(inner::<>, d_inner_1::<>, (x, bx_0)) |
| 131 | + } |
120 | 132 | } |
121 | 133 | #[rustc_autodiff] |
122 | 134 | #[inline(never)] |
123 | 135 | pub fn f10<T: std::ops::Mul<Output = T> + Copy>(x: &T) -> T { *x * *x } |
124 | 136 | #[rustc_autodiff(Reverse, 1, Duplicated, Active)] |
125 | | -#[rustc_intrinsic] |
126 | 137 | pub fn d_square<T: std::ops::Mul<Output = T> + |
127 | | -Copy>(x: &T, dx_0: &mut T, dret: T) -> T; |
| 138 | + Copy>(x: &T, dx_0: &mut T, dret: T) -> T { |
| 139 | + std::intrinsics::enzyme_autodiff(f10::<T>, d_square::<T>, (x, dx_0, dret)) |
| 140 | +} |
128 | 141 | fn main() {} |
0 commit comments