|
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