Skip to content

[AutoDiff] Add negative test for SR-12641. #31207

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Apr 22, 2020
Merged

[AutoDiff] Add negative test for SR-12641. #31207

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b5118fd
[AutoDiff] Add negative test for SR-12641.
dan-zheng Apr 21, 2020
4e124f1
Add `REQUIRES: asserts`.
dan-zheng Apr 22, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
37 changes: 37 additions & 0 deletions ...utoDiff/compiler_crashers/sr12641-silgen-immutable-address-use-verification-failure.swift
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
// RUN: not --crash %target-swift-frontend -emit-sil -verify %s
// REQUIRES: asserts

// SR-12641: SILGen verification error regarding `ImmutableAddressUseVerifier` and AutoDiff-generated code.

import _Differentiation
import DifferentiationUnittest

class Class: Differentiable {
var x: Tracked<Float>
init(_ x: Tracked<Float>) {
self.x = x
}
}

func getter(_ c: Class) -> Tracked<Float> {
return c.x
}
_ = gradient(at: Class(10), in: getter)

// Assertion failed: (conv.isIndirectConvention() && "Expect an indirect convention"), function isConsumingOrMutatingArgumentConvention, file swift/lib/SIL/Verifier/SILVerifier.cpp, line 453.
// Stack dump:
// ...
// 1. Swift version 5.3-dev (LLVM ca0260ddec, Swift b17e1b23fe)
// 2. While evaluating request SILGenWholeModuleRequest(SIL Generation for module main)
// 3. While verifying SIL function "@$s4main5ClassC13TangentVectorV23DifferentiationUnittest7TrackedVySfGIeggr_AeIIegnr_TR".
// for <<debugloc at "<compiler-generated>":0:0>>0 swift 0x000000010d6b4138 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 40
// 1 swift 0x000000010d6b30b8 llvm::sys::RunSignalHandlers() + 248
// 2 swift 0x000000010d6b472d SignalHandler(int) + 285
// 3 libsystem_platform.dylib 0x00007fff718335fd _sigtramp + 29
// 4 libsystem_platform.dylib 000000000000000000 _sigtramp + 18446603338611739168
// 5 libsystem_c.dylib 0x00007fff71709808 abort + 120
// 6 libsystem_c.dylib 0x00007fff71708ac6 err + 0
// 7 swift 0x000000010da31c23 (anonymous namespace)::ImmutableAddressUseVerifier::isConsumingOrMutatingApplyUse(swift::Operand*) (.cold.4) + 35
// 8 swift 0x0000000109c74d11 (anonymous namespace)::ImmutableAddressUseVerifier::isConsumingOrMutatingApplyUse(swift::Operand*) + 289
// 9 swift 0x0000000109c73c1d (anonymous namespace)::ImmutableAddressUseVerifier::isMutatingOrConsuming(swift::SILValue) + 157
// 10 swift 0x0000000109c5cea9 (anonymous namespace)::SILVerifier::visitSILBasicBlock(swift::SILBasicBlock*) + 1161