mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7cceaff5f3
Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.
64 lines
2.1 KiB
Swift
64 lines
2.1 KiB
Swift
// RUN: %target-build-swift %s
|
|
// RUN: %target-swift-frontend -Xllvm -sil-print-types -emit-sil -O -g %s | %FileCheck %s
|
|
|
|
// REQUIRES: swift_in_compiler
|
|
// UNSUPPORTED: OS=linux-gnu
|
|
|
|
// Issue #58660: Specifically-shaped differentiable functions yield "conflicting debug info for argument" assertion failure
|
|
// Ensure that proper location is preserved after sil-mem2reg location-less stores (created during inlining)
|
|
|
|
import _Differentiation
|
|
|
|
// May be a `struct` or `class`.
|
|
class MyState: Differentiable {
|
|
// All of these must be stored instance properties. There must be at least 7
|
|
// differentiable properties of any type.
|
|
var property1: Float = 0
|
|
var property2: Float = 0
|
|
var property3: Float = 0
|
|
var property4: Float = 0
|
|
var property5: Float = 0
|
|
var property6: Float = 0
|
|
var property7: Float = 0
|
|
}
|
|
|
|
struct MyModel: Differentiable {
|
|
// May be `var` or `let`, but must not be `@noDerivative`. Must be a stored
|
|
// instance property.
|
|
let property1 = MyState()
|
|
|
|
// Must be an instance property, either stored or computed.
|
|
var property2: Float {
|
|
// `get` must exist, and may add `mutating` attribute.
|
|
get { 0 }
|
|
// Cannot add `nonmutating` attribute to `set`.
|
|
set { }
|
|
}
|
|
|
|
// Must be an instance member. May be a function or computed property, but not
|
|
// a stored property.
|
|
var member3: Float {
|
|
// May not add `mutating` attribute.
|
|
get { 0 }
|
|
}
|
|
|
|
@differentiable(reverse)
|
|
mutating func member4() {
|
|
// CHECK-LABEL: // pullback of MyModel.member4()
|
|
// CHECK-NOT: debug_value %{{.*}} : $MyModel.TangentVector, var, name %{{.*}}, argno 1, scope
|
|
// CHECK: bb0(%{{.*}} : $_AD__$s4main7MyModelV7member4yyF_bb3__Pred__src_0_wrt_0):
|
|
// CHECK: debug_value %{{.*}} : $MyModel.TangentVector, var, (name "derivative of 'self' in scope at {{.*}} (scope #1)"{{.*}}), scope
|
|
// Must be a differentiable type.
|
|
var localVar: Float = 0
|
|
|
|
// Must be assigned from the value of `localVar`, not the value of anything else.
|
|
property2 = localVar
|
|
|
|
// `false` may instead be any expression that returns a `Bool`.
|
|
// TODO: cannot use literal `false` because it crashes
|
|
if 1 == 0 {
|
|
localVar = member3
|
|
}
|
|
}
|
|
}
|