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
|
// RUN: %target-swift-emit-ir -enable-experimental-feature Extern -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -O | %FileCheck %s --check-prefix=CHECK-NOMESSAGE
// RUN: %target-swift-emit-ir -enable-experimental-feature Extern -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -Osize | %FileCheck %s --check-prefix=CHECK-NOMESSAGE
// RUN: %target-swift-emit-ir -enable-experimental-feature Extern -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -O -assert-config Debug | %FileCheck %s --check-prefix=CHECK-MESSAGE
// RUN: %target-swift-emit-ir -enable-experimental-feature Extern -enable-experimental-feature Embedded -wmo -Xllvm -link-embedded-runtime=0 %s -Osize -assert-config Debug | %FileCheck %s --check-prefix=CHECK-MESSAGE
// REQUIRES: swift_in_compiler
// REQUIRES: optimized_stdlib
// REQUIRES: OS=macosx || OS=linux-gnu
// REQUIRES: swift_feature_Embedded
// REQUIRES: swift_feature_Extern
@_extern(c)
public func external()
public func test(i: Int) {
precondition(i % 2 == 0, "precondition 1")
external()
precondition(i % 3 == 0, "precondition 3")
external()
precondition(i % 5 == 0, "precondition 5")
external()
precondition(i % 7 == 0, "precondition 7")
}
// "Non-production builds" - We expect 4 separate _assertionFailure() calls with different values
// CHECK-MESSAGE: define {{.*}}void @"$s4main4test1iySi_tF"(i64 %0) {{.*}}{
// CHECK-MESSAGE: call {{.*}}@"${{(ss17_assertionFailure__|ss31_embeddedReportFatalErrorInFile)}}
// CHECK-MESSAGE: unreachable
// CHECK-MESSAGE: call {{.*}}@"${{(ss17_assertionFailure__|ss31_embeddedReportFatalErrorInFile)}}
// CHECK-MESSAGE: unreachable
// CHECK-MESSAGE: call {{.*}}@"${{(ss17_assertionFailure__|ss31_embeddedReportFatalErrorInFile)}}
// CHECK-MESSAGE: unreachable
// CHECK-MESSAGE: call {{.*}}@"${{(ss17_assertionFailure__|ss31_embeddedReportFatalErrorInFile)}}
// CHECK-MESSAGE: unreachable
// CHECK-MESSAGE: }
// "Production builds" - We expect 4 separate trap blocks in the IR.
// CHECK-NOMESSAGE: define {{.*}}void @"$s4main4test1iySi_tF"(i64 %0) {{.*}}{
// CHECK-NOMESSAGE: tail call void asm sideeffect "", "n"(i32 0) #3
// CHECK-NOMESSAGE: tail call void @llvm.trap()
// CHECK-NOMESSAGE: unreachable
// CHECK-NOMESSAGE: tail call void asm sideeffect "", "n"(i32 1) #3
// CHECK-NOMESSAGE: tail call void @llvm.trap()
// CHECK-NOMESSAGE: unreachable
// CHECK-NOMESSAGE: tail call void asm sideeffect "", "n"(i32 2) #3
// CHECK-NOMESSAGE: tail call void @llvm.trap()
// CHECK-NOMESSAGE: unreachable
// CHECK-NOMESSAGE: tail call void asm sideeffect "", "n"(i32 3) #3
// CHECK-NOMESSAGE: tail call void @llvm.trap()
// CHECK-NOMESSAGE: unreachable
// CHECK-NOMESSAGE: }
|
