1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96
|
// RUN: %empty-directory(%t)
// RUN: split-file %s %t
// RUN: %target-swift-emit-ir %t/test.swift -I %t/Inputs -enable-experimental-cxx-interop -Xcc -fignore-exceptions | %FileCheck %s
// RUN: %target-swift-emit-ir %t/test.swift -I %t/Inputs -enable-experimental-cxx-interop -Xcc -fno-exceptions -Xcc -fno-objc-exceptions -Xcc -DNOEXCEPTION | %FileCheck %s
//--- Inputs/module.modulemap
module CxxModule {
header "cxxHeader.h"
requires cplusplus
}
//--- Inputs/cxxHeader.h
inline int freeFunctionThrows(int x) {
#ifndef NOEXCEPTION
if (x > 0)
throw 2;
#endif
return -x;
}
inline int freeFunctionNoThrow(int x) noexcept {
return -x;
}
class ClassWithThrowingCopyConstructor {
public:
int m = 0;
inline ClassWithThrowingCopyConstructor() noexcept {}
inline ClassWithThrowingCopyConstructor(const ClassWithThrowingCopyConstructor &) { (void)freeFunctionThrows(0); }
};
class ClassWithThrowingConstructor {
public:
int m = 0;
inline ClassWithThrowingConstructor() { }
};
//--- test.swift
import CxxModule
func makeCInt() -> CInt {
return 42
}
func testFreeFunctionNoThrowOnly() -> CInt {
return freeFunctionNoThrow(makeCInt())
}
func testFreeFunctionCalls() -> CInt {
let p = freeFunctionThrows(0)
freeFunctionNoThrow(1)
freeFunctionThrows(makeCInt())
return p
}
func testClassWithThrowingCopyConstructor() -> CInt {
let p1 = ClassWithThrowingCopyConstructor()
let p2 = p1
return p2.m
}
func testClassWithThrowingConstructor() -> CInt {
let obj = ClassWithThrowingConstructor()
return obj.m
}
let _ = testFreeFunctionNoThrowOnly()
let _ = testFreeFunctionCalls()
let _ = testClassWithThrowingCopyConstructor()
let _ = testClassWithThrowingConstructor()
// CHECK: define {{.*}} @"$s4test0A23FreeFunctionNoThrowOnlys5Int32VyF"() #[[#SWIFTMETA:]] {
// CHECK-NEXT: :
// CHECK-NEXT: call swiftcc i32 @"$s4test8makeCInts5Int32VyF"()
// CHECK-NEXT: call i32 @{{_Z19freeFunctionNoThrowi|"\?freeFunctionNoThrow@@YAHH@Z"}}(i32 {{.*}})
// CHECK-NEXT: ret i32
// CHECK-NEXT: }
// CHECK: define {{.*}} @"$s4test0A17FreeFunctionCallss5Int32VyF"() #[[#SWIFTMETA]] {
// CHECK: call i32 @{{_Z18freeFunctionThrowsi|"\?freeFunctionThrows@@YAHH@Z"}}(i32 0)
// CHECK: call i32 @{{_Z19freeFunctionNoThrowi|"\?freeFunctionNoThrow@@YAHH@Z"}}(i32 1)
// CHECK: call swiftcc i32 @"$s4test8makeCInts5Int32VyF"()
// CHECK: call i32 @{{_Z18freeFunctionThrowsi|"\?freeFunctionThrows@@YAHH@Z"}}(i32
// CHECK: ret i32
// CHECK-NEXT: }
// CHECK: define {{.*}} @"$s4test0A32ClassWithThrowingCopyConstructors5Int32VyF"() #[[#SWIFTMETA]] {
// CHECK-NOT: invoke
// CHECK: }
// CHECK: define {{.*}} @"$s4test0A28ClassWithThrowingConstructors5Int32VyF"() #[[#SWIFTMETA]] {
// CHECK-NOT: invoke
// CHECK: }
|