Skip to content
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.

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

Jump to bottom

[SR-14239] [AutoDiff] autodiff crash #56363

Open
dabrahams opened this issue Dec 14, 2020 · 0 comments
Open

[SR-14239] [AutoDiff] autodiff crash #56363

dabrahams opened this issue Dec 14, 2020 · 0 comments
Assignees
@marcrasi
Labels
AutoDiff bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself

Comments

@dabrahams
Copy link
Collaborator

Previous ID SR-14239
Radar None
Original Reporter @dabrahams
Type Bug
Additional Detail from JIRA
Votes 0
Component/s Compiler
Labels Bug, AutoDiff
Assignee @marcrasi
Priority Medium

md5: 82497654e871a24cfa6892d591b26453

Issue Description:

Checkout the autodiff-crasher branch of https://github.com/borglab/SwiftFusion and run swift test:

warning: dependency 'swift-argument-parser' is not used by any targetPLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace.Stack dump:0. Program arguments: /Library/Developer/Toolchains/swift-tensorflow-RELEASE-0.12.xctoolchain/usr/bin/swift-frontend -frontend -c /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/DataTypes.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/Dictionary+Differentiable.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/FixedSizeMatrix.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/InsertionOrderedDictionary+Differentiable.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/LieGroup.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/Manifold.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/MathUtil.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/TensorVector.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/TrappingDouble.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/Tuple+Vector.swift -primary-file /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/TypeKeyedArrayBuffers.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/Vector.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/VectorN.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Datasets/DatasetCache.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Datasets/G2OReader.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/Cal3_S2.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/CameraCalibration.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/PinholeCamera.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/Pose2.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/Pose3.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/Rot2.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Geometry/Rot3.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Image/ArrayImage.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Image/OrientedBoundingBox.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Image/Patch.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/AllVectors.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/AnyArrayBuffer+Differentiable.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/AnyArrayBuffer+Vector.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/AppearanceTrackingFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/ArrayBuffer+Differentiable.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/ArrayBuffer+Tensor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/ArrayBuffer+Vector.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/ArrayStorage+Tensor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/BearingRangeFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/BetweenFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/BetweenFactorAlternative.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/ChordalInitialization.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/DiscreteTransitionFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/Factor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/FactorBoilerplate.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/FactorGraph.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/FactorsStorage.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/FlattenedScalars.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/GaussianFactorGraph.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/IdentityLinearizationFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/JacobianFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/PPCA.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/PPCATrackingFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/PenguinExtensions.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/PriorFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/ScalarJacobianFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/SwitchingBetweenFactor.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/TypeKeyedArrayBuffers+Vector.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Inference/VariableAssignments.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/MCMC/RandomWalkMetropolis.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/MCMC/TransitionKernel.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/MCMC/sample.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Optimizers/CGLS.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Optimizers/GradientDescent.swift /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Optimizers/LM.swift -emit-module-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/SwiftFusion.build/Core/TypeKeyedArrayBuffers~partial.swiftmodule -emit-module-doc-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/SwiftFusion.build/Core/TypeKeyedArrayBuffers~partial.swiftdoc -emit-module-source-info-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/SwiftFusion.build/Core/TypeKeyedArrayBuffers~partial.swiftsourceinfo -emit-dependencies-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/SwiftFusion.build/Core/TypeKeyedArrayBuffers.d -emit-reference-dependencies-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/SwiftFusion.build/Core/TypeKeyedArrayBuffers.swiftdeps -target x86_64-apple-macosx10.14 -enable-objc-interop -sdk /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.0.sdk -I /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug -I /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib -I /Users/dabrahams/src/SwiftFusion/Packages/penguin/Sources/CPenguinParallel/include -F /Applications/Xcode-beta.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -enable-testing -g -module-cache-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/ModuleCache -swift-version 5 -Onone -D SWIFT_PACKAGE -D DEBUG -enable-anonymous-context-mangled-names -Xcc -fmodule-map-file=/Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/CPenguinParallel.build/module.modulemap -target-sdk-version 11.0 -parse-as-library -module-name SwiftFusion -o /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/SwiftFusion.build/Core/TypeKeyedArrayBuffers.swift.o -index-store-path /Users/dabrahams/src/SwiftFusion/.build/x86_64-apple-macosx/debug/index/store -index-system-modules 1. Swift version 5.3-dev (LLVM 69d8678431d3eee, Swift e1aef96b7fea59b)2. While evaluating request ExecuteSILPipelineRequest(Run pipelines
{ Mandatory Diagnostic Passes + Enabling Optimization Passes }
on SIL for SwiftFusion.SwiftFusion)3. While running pass #&#8203;327 SILModuleTransform "Differentiation".4. While processing // differentiability witness for TypeKeyedArrayBuffers.updateBuffers<A, B>(homomorphicArgument::)sil_differentiability_witness [serialized] [parameters 0 2] [results 0] <ElementAPI, ConstructionAPI where ElementAPI : DifferentiableArrayDispatch><OtherElementAPI, OtherConstruction where OtherElementAPI : DifferentiableArrayDispatch> @$s11SwiftFusion21TypeKeyedArrayBuffersV06updateF019homomorphicArgument_yACyqdqd_0_G_y17PenguinStructures03AnyE6BufferVyxGz_AIyqdGtKXFtKAA014DifferentiableE8DispatchCRbzAMRbd_r0_lF : $@convention(method) <ElementAPI, ConstructionAPI where ElementAPI : DifferentiableArrayDispatch><OtherElementAPI, OtherConstruction where OtherElementAPI : DifferentiableArrayDispatch> (@guaranteed TypeKeyedArrayBuffers<OtherElementAPI, OtherConstruction>, @differentiable @noescape @callee_guaranteed @substituted <τ_0_0, τ_0_1 where τ_0_0 : AnyObject, τ_0_1 : AnyObject> (@inout AnyArrayBuffer<τ_0_0>, @guaranteed AnyArrayBuffer<τ_0_1>) -> @error Error for <ElementAPI, OtherElementAPI>, @inout TypeKeyedArrayBuffers<ElementAPI, ConstructionAPI>) -> @error Error {}
  on SIL function "@$s11SwiftFusion21TypeKeyedArrayBuffersV06updateF019homomorphicArgument_yACyqd_qd_0_G_y17PenguinStructures03AnyE6BufferVyxGz_AIyqdGtKXFtKAA014DifferentiableE8DispatchCRbzAMRbdr0_lF". for 'updateBuffers(homomorphicArgument:' (at /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/TypeKeyedArrayBuffers.swift:147:19)5. While generating VJP for SIL function "@$s11SwiftFusion21TypeKeyedArrayBuffersV06updateF019homomorphicArgument_yACyqd_qd_0_G_y17PenguinStructures03AnyE6BufferVyxGz_AIyqdGtKXFtKAA014DifferentiableE8DispatchCRbzAMRbdr0_lF". for 'updateBuffers(homomorphicArgument:' (at /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/TypeKeyedArrayBuffers.swift:147:19)e6. While generating pullback for SIL function "@$s11SwiftFusion21TypeKeyedArrayBuffersV06updateF019homomorphicArgument_yACyqd_qd_0_G_y17PenguinStructures03AnyE6BufferVyxGz_AIyqdGtKXFtKAA014DifferentiableE8DispatchCRbzAMRbdr0_lF".rro for 'updateBuffers(homomorphicArgument:' (at /Users/dabrahams/src/SwiftFusion/Sources/SwiftFusion/Core/TypeKeyedArrayBuffers.swift:147:19)r:0  swift-frontend           0x000000010b7657e5 llvm::sys::PrintStackTrace(llvm::raw_ostream&) + 37 1  swift-frontend           0x000000010b764ab5 llvm::sys::RunSignalHandlers() + 85f2  swift-frontend           0x000000010b765db6 SignalHandler(int) + 262a3  libsystem_platform.dylib 0x00007fff71ba35fd sigtramp + 29t4  libsystem_platform.dylib 0x00007fa51cde16c0 _sigtramp + 18446743685738782944a5  swift-frontend           0x0000000107693843 swift::autodiff::PullbackCloner::Implementation::getTangentValueCategory(swift::SILValue) + 131l6  swift-frontend           0x00000001076919c1 swift::autodiff::PullbackCloner::Implementation::run() + 38257  swift-frontend           0x00000001076ae0af swift::autodiff::VJPCloner::Implementation::run() + 8158  swift-frontend           0x00000001077b1a2d (anonymous namespace)::DifferentiationTransformer::canonicalizeDifferentiabilityWitness(swift::SILFunction*, swift::SILDifferentiabilityWitness*, swift::autodiff::DifferentiationInvoker, swift::IsSerialized_t) + 56619  swift-frontend           0x00000001077afa9a (anonymous namespace)::Differentiation::run() + 114610 swift-frontend           0x000000010780a3f8 swift::SILPassManager::runModulePass(unsigned int) + 72811 swift-frontend           0x000000010780ba1a swift::SILPassManager::execute() + 39412 swift-frontend           0x0000000107806508 swift::SILPassManager::executePassPipelinePlan(swift::SILPassPipelinePlan const&) + 7213 swift-frontend           0x00000001078064a3 swift::ExecuteSILPipelineRequest::evaluate(swift::Evaluator&, swift::SILPipelineExecutionDescriptor) const + 51E14 swift-frontend           0x00000001078203cd swift::SimpleRequest<swift::ExecuteSILPipelineRequest, std::_1::tuple<> (swift::SILPipelineExecutionDescriptor), (swift::RequestFlags)1>::evaluateRequest(swift::ExecuteSILPipelineRequest const&, swift::Evaluator&) + 29rro15 swift-frontend           0x000000010780ce45 llvm::Expected<swift::ExecuteSILPipelineRequest::OutputType> swift::Evaluator::getResultUncached<swift::ExecuteSILPipelineRequest>(swift::ExecuteSILPipelineRequest const&) + 53316 swift-frontend           0x00000001078066ff swift::executePassPipelinePlan(swift::SILModule*, swift::SILPassPipelinePlan const&, bool, swift::irgen::IRGenModule*) + 79r17 swift-frontend           0x0000000107810444 swift::runSILDiagnosticPasses(swift::SILModule&) +
@swift-ci swift-ci transferred this issue from apple/swift-issues Apr 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marcrasi marcrasi

Labels
AutoDiff bug A deviation from expected or documented behavior. Also: expected but undesirable behavior. compiler The Swift compiler in itself
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dabrahams