mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
da07ff577c
PrintAsClang is supposed to emit declarations in the same order regardless of the compiler’s internal state, but we have repeatedly found that our current criteria are inadequate, resulting in non-functionality-affecting changes to generated header content. Add a diagnostic that’s emitted when this happens soliciting a bug report. Since there *should* be no cases where the compiler fails to order declarations, this diagnostic is never actually emitted. Instead, we test this change by enabling `-verify` on nearly all PrintAsClang tests to make sure they are unaffected. This did demonstrate a missing criterion that only mattered in C++ mode: extensions that varied only in their generic signature were not sorted stably. Add a sort criterion for this.
101 lines
3.3 KiB
Swift
101 lines
3.3 KiB
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: split-file %s %t
|
|
|
|
// RUN: %target-swift-frontend %t/swiftMod.swift -module-name SwiftMod -typecheck -verify -emit-clang-header-path %t/swiftMod.h -I %t -enable-experimental-cxx-interop -Xcc -DFIRSTPASS
|
|
|
|
// RUN: %target-swift-frontend %t/swiftMod.swift -module-name SwiftMod -emit-module -o %t/SwiftMod.swiftmodule -I %t -enable-experimental-cxx-interop -Xcc -DFIRSTPASS
|
|
|
|
// RUN: %target-swift-ide-test -print-module -module-to-print=SwiftMod -module-to-print=SwiftToCxxTest -I %t -source-filename=x -enable-experimental-cxx-interop -Xcc -DSWIFT_CXX_INTEROP_HIDE_SWIFT_ERROR | %FileCheck --check-prefix=INTERFACE %s
|
|
|
|
// RUN: %target-swift-frontend -typecheck %t/swiftMod.swift -module-name SwiftMod -I %t -enable-experimental-cxx-interop -Xcc -DSWIFT_CXX_INTEROP_HIDE_SWIFT_ERROR -DSECOND_PASS -emit-sil -o - | %FileCheck --check-prefix=SIL %s
|
|
|
|
// UNSUPPORTED: OS=windows-msvc
|
|
|
|
//--- header.h
|
|
#ifndef FIRSTPASS
|
|
#include "swiftMod.h"
|
|
|
|
SwiftMod::ExposedToCxx createSwiftClassInCxx();
|
|
|
|
void passSwiftClassToCxx(SwiftMod::ExposedToCxx value);
|
|
|
|
SwiftMod::ExposedToCxx * returnClassByPtr();
|
|
SwiftMod::ExposedToCxx & returnClassByRef();
|
|
const SwiftMod::ExposedToCxx & returnClassByRefConst();
|
|
|
|
// INTERFACE: func createSwiftClassInCxx() -> ExposedToCxx
|
|
// INTERFACE: func passSwiftClassToCxx(_ value: ExposedToCxx)
|
|
// INTERFACE: func returnClassByPtr() -> OpaquePointer!
|
|
// INTERFACE-NOT: returnClassByRef
|
|
|
|
class __attribute__((swift_attr("import_owned"))) InClass {
|
|
public:
|
|
SwiftMod::ExposedToCxx value;
|
|
|
|
InClass(SwiftMod::ExposedToCxx value) : value(value) {}
|
|
|
|
inline SwiftMod::ExposedToCxx getValue() const {
|
|
return value;
|
|
}
|
|
};
|
|
|
|
// INTERFACE: struct InClass {
|
|
// INTERFACE: init(_ value: ExposedToCxx)
|
|
// INTERFACE: func getValue() -> ExposedToCxx
|
|
// INTERFACE: }
|
|
|
|
#endif
|
|
|
|
//--- module.modulemap
|
|
module SwiftToCxxTest {
|
|
header "header.h"
|
|
requires cplusplus
|
|
}
|
|
|
|
//--- swiftMod.swift
|
|
import SwiftToCxxTest
|
|
|
|
public class ExposedToCxx {
|
|
public init() {
|
|
i = 0
|
|
print("ExposedToCxx.init")
|
|
}
|
|
deinit {
|
|
print("ExposedToCxx\(i).deinit")
|
|
}
|
|
|
|
public final func testMethod() {
|
|
print("ExposedToCxx\(i).testMethod")
|
|
}
|
|
|
|
public var i: Int
|
|
}
|
|
|
|
#if SECOND_PASS
|
|
|
|
func testSwiftClassFromCxxInSwift() {
|
|
let classInstance = createSwiftClassInCxx()
|
|
passSwiftClassToCxx(classInstance)
|
|
}
|
|
|
|
testSwiftClassFromCxxInSwift()
|
|
|
|
func testSwiftClassInClass() {
|
|
let v = InClass(ExposedToCxx())
|
|
v.getValue().testMethod()
|
|
}
|
|
|
|
testSwiftClassInClass()
|
|
|
|
#endif
|
|
|
|
// SIL-LABEL: @$s8SwiftMod04testa14ClassFromCxxInA0yyF : $@convention(thin) () -> ()
|
|
// SIL: function_ref @{{_Z21createSwiftClassInCxxv|"\?createSwiftClassInCxx@@YA?AVExposedToCxx@SwiftMod@@XZ"}} : $@convention(c) () -> @owned ExposedToCxx
|
|
// SIL: apply {{.*}} : $@convention(c) () -> @owned ExposedToCxx
|
|
// SIL: function_ref @{{_Z19passSwiftClassToCxxN8SwiftMod12ExposedToCxxE|"\?passSwiftClassToCxx@@YAXVExposedToCxx@SwiftMod@@@Z"}} : $@convention(c) (@in_guaranteed ExposedToCxx) -> ()
|
|
// SIL: apply {{.*}} : $@convention(c) (@in_guaranteed ExposedToCxx) -> ()
|
|
|
|
// SIL-LABEL: @$s8SwiftMod04testa7ClassInD0yyF : $@convention(thin) () -> () {
|
|
// SIL: $@convention(c) (@in_guaranteed ExposedToCxx) -> @out InClass
|
|
// SIL: $@convention(cxx_method) (@in_guaranteed InClass) -> @owned ExposedToCxx
|