From f23e36243e9c59c02f66ec2e18b80ba4ea540f45 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Mon, 27 Feb 2023 21:21:39 -0800
Subject: Diagnose on storing differentiable value into non-differentiable
 location. (#2681)

---
 source/slang/diff.meta.slang | 23 ++---------------------
 1 file changed, 2 insertions(+), 21 deletions(-)

(limited to 'source/slang/diff.meta.slang')

diff --git a/source/slang/diff.meta.slang b/source/slang/diff.meta.slang
index 859b8a488..8931cccdd 100644
--- a/source/slang/diff.meta.slang
+++ b/source/slang/diff.meta.slang
@@ -320,27 +320,8 @@ void mul(inout DifferentialPair<matrix<T, R, N>> left, inout DifferentialPair<ma
 // Detach and set derivatives to zero
 
 __generic<T : IDifferentiable>
-T detach(T x)
-{
-    return x;
-}
-
-__generic<T : IDifferentiable>
-[ForwardDerivativeOf(detach)]
-DifferentialPair<T> __d_detach(DifferentialPair<T> dpx)
-{
-    return DifferentialPair<T>(
-        dpx.p,
-        T.dzero()
-    );
-}
-
-__generic<T : IDifferentiable>
-[BackwardDerivativeOf(detach)]
-void __d_detach(inout DifferentialPair<T> dpx, T.Differential dOut)
-{
-    dpx = diffPair(dpx.p, T.dzero());
-}
+__intrinsic_op($(kIROp_DetachDerivative))
+T detach(T x);
 
 // Natural Exponent
 
-- 
cgit v1.2.3