@@ -701,7 +701,7 @@ class C: Differentiable {
701701 x * float
702702 }
703703
704- // CHECK-LABEL: [AD] Activity info for ${{.*}}1CC6methodyS2fF at parameter indices (0, 1) and result indices (0)
704+ // CHECK-LABEL: [AD] Activity info for ${{.*}}1CC6methodyS2fF at parameter indices (0, 1) and result indices (0, 1 )
705705// CHECK: bb0:
706706// CHECK: [ACTIVE] %0 = argument of bb0 : $Float
707707// CHECK: [ACTIVE] %1 = argument of bb0 : $C
@@ -714,8 +714,11 @@ class C: Differentiable {
714714}
715715
716716// TF-1176: Test class property `modify` accessor.
717+ // expected-error @+1 {{function is not differentiable}}
717718@differentiable ( reverse)
719+ // expected-note @+1 {{when differentiating this function definition}}
718720func testClassModifyAccessor( _ c: inout C ) {
721+ // expected-note @+1 {{differentiation of coroutine calls is not yet supported}}
719722 c. float *= c. float
720723}
721724
@@ -724,9 +727,9 @@ func testClassModifyAccessor(_ c: inout C) {
724727// CHECK: [ACTIVE] %0 = argument of bb0 : $*C
725728// CHECK: [NONE] %2 = metatype $@thin Float.Type
726729// CHECK: [ACTIVE] %3 = begin_access [read] [static] %0 : $*C
727- // CHECK: [VARIED ] %4 = load [copy] %3 : $*C
730+ // CHECK: [ACTIVE ] %4 = load [copy] %3 : $*C
728731// CHECK: [ACTIVE] %6 = begin_access [read] [static] %0 : $*C
729- // CHECK: [VARIED ] %7 = load [copy] %6 : $*C
732+ // CHECK: [ACTIVE ] %7 = load [copy] %6 : $*C
730733// CHECK: [VARIED] %9 = class_method %7 : $C, #C.float!getter : (C) -> () -> Float, $@convention(method) (@guaranteed C) -> Float
731734// CHECK: [VARIED] %10 = apply %9(%7) : $@convention(method) (@guaranteed C) -> Float
732735// CHECK: [VARIED] %12 = class_method %4 : $C, #C.float!modify : (C) -> () -> (), $@yield_once @convention(method) (@guaranteed C) -> @yields @inout Float
0 commit comments