You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ProfFan opened this issue
Oct 2, 2023
· 3 comments
Assignees
Labels
assertion failureBug → crash: An assertion failureAutoDiffbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfcrashBug: A crash, i.e., an abnormal termination of softwaremanglingArea → compiler: Manglingswift 6.0
However, build fails with another bug if I pass -disable-round-trip-debug-types
Building for debugging...<unknown>:0: error: symbol '$s7NeueOpt15FixedSizeVectorPAAE13concatenating_xqd___qd_0_tcAaBRd__AaBRd_0_r0_lufCAaBRzAaBRd__AaBRd_0_r_0_lTJfSSUpSr' (forward-mode derivative of (extension in NeueOpt):NeueOpt.FixedSizeVector.init<A, B where A1:NeueOpt.FixedSizeVector, B1:NeueOpt.FixedSizeVector>(concatenating: A1, _: B1)-> A with respect to parameters {0,1} and results {0} with <A><A1, B1 where A:NeueOpt.FixedSizeVector, A1:NeueOpt.FixedSizeVector, B1:NeueOpt.FixedSizeVector>) is in generated IR file, but not in TBD file
<unknown>:0: error: symbol '$s7NeueOpt15FixedSizeVectorPAAEyxqd__cAaBRd__lufCAaBRzAaBRd__r__lTJfSUpSr' (forward-mode derivative of (extension in NeueOpt):NeueOpt.FixedSizeVector.init<Awhere A1: NeueOpt.FixedSizeVector>(A1)-> A with respect to parameters {0} and results {0} with <A><A1where A: NeueOpt.FixedSizeVector, A1:NeueOpt.FixedSizeVector>) is in generated IR file, but not in TBD file
<unknown>:0: error: please submit a bug report (https://swift.org/contributing/#reporting-bugs), and add '-Xfrontend -validate-tbd-against-ir=none' to squash the errors
error: fatalError
which can be mitigated by adding -validate-tbd-against-ir=none. After this it builds fine.
Apple Swift version 5.11-dev (LLVM c95742282d7a7ee, Swift c92f6af) Target: arm64-apple-macosx14.0
Xcode 15.0 Build version 15A240d
macOS 14.0
The text was updated successfully, but these errors were encountered:
ProfFan
added
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
triage needed
This issue needs more specific labels
labels
Oct 2, 2023
The single member tuple in the original signature is stripped, but not stripped in the roundtrip debugger. For the 2nd issue I have no idea what is happening.
Original type:
(tuple_type num_elements=1
(tuple_type_elt
(sil_function_type type="@callee_guaranteed (@inout Double, Double) -> ()"
(input=struct_type decl="Swift.(file).Double")
(input=struct_type decl="Swift.(file).Double")
(substitution_map null_generic_signature)
(substitution_map null_generic_signature))))
Reconstructed type:
(sil_function_type type="@callee_guaranteed (@inout Double, Double) -> ()"
(input=struct_type decl="Swift.(file).Double")
(input=struct_type decl="Swift.(file).Double")
(substitution_map null_generic_signature)
(substitution_map null_generic_signature))
Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Tested with the 2023-10-05 nightly Apple Swift version 5.11-dev (LLVM 9be5c57af9401d5, Swift 1129adb58d1b047) Target: arm64-apple-macosx14.0, still failing @BradLarson
assertion failureBug → crash: An assertion failureAutoDiffbugA deviation from expected or documented behavior. Also: expected but undesirable behavior.compilerThe Swift compiler itselfcrashBug: A crash, i.e., an abnormal termination of softwaremanglingArea → compiler: Manglingswift 6.0
Description
Compiler crashes when compiling
with
However, build fails with another bug if I pass
-disable-round-trip-debug-types
which can be mitigated by adding
-validate-tbd-against-ir=none
. After this it builds fine.@BradLarson any help is really appreciated!
Steps to reproduce
Reproducer: https://github.com/ProfFan/swift-autodiff-crasher
Just build with latest nightly Swift in Debug.
Expected behavior
Should build without issue.
Environment
The text was updated successfully, but these errors were encountered: