Skip to content

Commit 9a95b67

Browse files
gottesmmgottesmm
authored
Merge pull request #6001 from gottesmm/renable_tests
Re-enable/update two tests that have been disabled for a long time.
2 parents c3aea5b + bb9382e commit 9a95b67

File tree

2 files changed

+68
-68
lines changed

2 files changed

+68
-68
lines changed

‎test/Frontend/OptimizationOptions-with-stdlib-checks.swift

Lines changed: 38 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
1-
// RUN: %target-swift-frontend -module-name OptimizationOptions -Onone -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=DEBUG
2-
// RUN: %target-swift-frontend -module-name OptimizationOptions -O -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=RELEASE
3-
// RUN: %target-swift-frontend -module-name OptimizationOptions -Ounchecked -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=UNCHECKED
4-
// RUN: %target-swift-frontend -module-name OptimizationOptions -Oplayground -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=PLAYGROUND
1+
// RUN: %target-swift-frontend -module-name OptimizationOptions -Onone -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=DEBUG
2+
// RUN: %target-swift-frontend -module-name OptimizationOptions -O -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=RELEASE
3+
// RUN: %target-swift-frontend -module-name OptimizationOptions -Ounchecked -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=UNCHECKED
4+
// RUN: %target-swift-frontend -module-name OptimizationOptions -Oplayground -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=PLAYGROUND
55

66
// REQUIRES: optimized_stdlib
77
// REQUIRES: swift_stdlib_asserts
8-
// REQUIRES: swift_stdlib_no_asserts
98

10-
func test_assert() (x: Int, y: Int) -> Int {
9+
func test_assert(x: Int, y: Int) -> Int {
1110
assert(x >= y , "x smaller than y")
1211
return x + y
1312
}
@@ -30,85 +29,87 @@ func test_partial_safety_check(x: Int, y: Int) -> Int {
3029
}
3130

3231
// In debug mode keep user asserts and runtime checks.
33-
// DEBUG-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
34-
// DEBUG: "x smaller than y"
35-
// DEBUG: "assertion failed"
36-
// DEBUG: cond_fail
32+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
33+
// DEBUG-DAG: string_literal utf8 "x smaller than y"
34+
// DEBUG-DAG: string_literal utf8 "assertion failed"
35+
// DEBUG-DAG: cond_fail
36+
// DEBUG: return
3737

3838
// In playground mode keep user asserts and runtime checks.
39-
// PLAYGROUND-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
40-
// PLAYGROUND: "x smaller than y"
41-
// PLAYGROUND: "assertion failed"
42-
// PLAYGROUND: cond_fail
39+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
40+
// PLAYGROUND-DAG: "assertion failed"
41+
// PLAYGROUND-DAG: "x smaller than y"
42+
// PLAYGROUND-DAG: cond_fail
43+
// PLAYGROUND: return
4344

4445
// In release mode remove user asserts and keep runtime checks.
45-
// RELEASE-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
46+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
4647
// RELEASE-NOT: "x smaller than y"
4748
// RELEASE-NOT: "assertion failed"
4849
// RELEASE: cond_fail
50+
// RELEASE: return
4951

5052
// In fast mode remove user asserts and runtime checks.
51-
// FAST-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
53+
// FAST-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
5254
// FAST-NOT: "x smaller than y"
5355
// FAST-NOT: "assertion failed"
5456
// FAST-NOT: cond_fail
5557

5658

5759
// In debug mode keep verbose fatal errors.
58-
// DEBUG-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
60+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
5961
// DEBUG-DAG: "Human nature ..."
60-
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
62+
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC:.*fatalErrorMessage.*]] : $@convention(thin)
6163
// DEBUG: apply %[[FATAL_ERROR]]{{.*}}
6264
// DEBUG: unreachable
6365

6466
// In playground mode keep verbose fatal errors.
65-
// PLAYGROUND-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
67+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
6668
// PLAYGROUND-DAG: "Human nature ..."
67-
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
69+
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC:.*fatalErrorMessage.*]] : $@convention(thin)
6870
// PLAYGROUND: apply %[[FATAL_ERROR]]{{.*}}
6971
// PLAYGROUND: unreachable
7072

7173
// In release mode keep succinct fatal errors (trap).
72-
// RELEASE-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
74+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
7375
// RELEASE-NOT: "Human nature ..."
7476
// RELEASE-NOT: "fatal error"
75-
// RELEASE: bb2:
76-
// RELEASE: %[[ALWAYS:.+]] = integer_literal $Builtin.Int1, -1
77-
// RELEASE: cond_fail %[[ALWAYS]]
77+
// RELEASE: cond_fail
78+
// RELEASE: return
7879

7980
// In fast mode remove fatal errors.
80-
// FAST-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
81+
// FAST-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
8182
// FAST-NOT: "Human nature ..."
8283
// FAST-NOT: "fatal error"
8384
// FAST-NOT: int_trap
8485

8586
// Precondition safety checks.
8687

8788
// In debug mode keep verbose library precondition checks.
88-
// DEBUG-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
89+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
8990
// DEBUG-DAG: "fatal error"
90-
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
91+
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
9192
// DEBUG: apply %[[FATAL_ERROR]]{{.*}}
9293
// DEBUG: unreachable
9394
// DEBUG: return
9495

9596
// In playground mode keep verbose library precondition checks.
96-
// PLAYGROUND-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
97+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
9798
// PLAYGROUND-DAG: "fatal error"
98-
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
99+
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
99100
// PLAYGROUND: apply %[[FATAL_ERROR]]{{.*}}
100101
// PLAYGROUND: unreachable
101102
// PLAYGROUND: return
102103

103104
// In release mode keep succinct library precondition checks (trap).
104-
// RELEASE-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
105+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
105106
// RELEASE-NOT: "fatal error"
106107
// RELEASE: %[[V2:.+]] = builtin "xor_Int1"(%{{.+}}, %{{.+}})
107108
// RELEASE: cond_fail %[[V2]]
108109
// RELEASE: return
109110

110111
// In unchecked mode remove library precondition checks.
111-
// UNCHECKED-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
112+
// UNCHECKED-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
112113
// UNCHECKED-NOT: "fatal error"
113114
// UNCHECKED-NOT: builtin "int_trap"
114115
// UNCHECKED-NOT: unreachable
@@ -117,28 +118,28 @@ func test_partial_safety_check(x: Int, y: Int) -> Int {
117118
// Partial safety checks.
118119

119120
// In debug mode keep verbose partial safety checks.
120-
// DEBUG-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
121+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
121122
// DEBUG-DAG: "fatal error"
122-
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
123+
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
123124
// DEBUG: apply %[[FATAL_ERROR]]{{.*}}
124125
// DEBUG: unreachable
125126

126127
// In playground mode keep verbose partial safety checks.
127-
// PLAYGROUND-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
128+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
128129
// PLAYGROUND-DAG: "fatal error"
129-
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
130+
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
130131
// PLAYGROUND: apply %[[FATAL_ERROR]]{{.*}}
131132
// PLAYGROUND: unreachable
132133

133134
// In release mode remove partial safety checks.
134-
// RELEASE-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
135+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
135136
// RELEASE-NOT: "fatal error"
136137
// RELEASE-NOT: builtin "int_trap"
137138
// RELEASE-NOT: unreachable
138139
// RELEASE: return
139140

140141
// In fast mode remove partial safety checks.
141-
// FAST-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
142+
// FAST-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
142143
// FAST-NOT: "fatal error"
143144
// FAST-NOT: builtin "int_trap"
144145
// FAST-NOT: unreachable

‎test/Frontend/OptimizationOptions-without-stdlib-checks.swift

Lines changed: 30 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,12 @@
1-
// RUN: %target-swift-frontend -module-name OptimizationOptions -Onone -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=DEBUG
2-
// RUN: %target-swift-frontend -module-name OptimizationOptions -O -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=RELEASE
3-
// RUN: %target-swift-frontend -module-name OptimizationOptions -Ounchecked -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=UNCHECKED
4-
// RUN: %target-swift-frontend -module-name OptimizationOptions -Oplayground -emit-sil -primary-file %s 2>&1 | %FileCheck %s --check-prefix=PLAYGROUND
1+
// RUN: %target-swift-frontend -module-name OptimizationOptions -Onone -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=DEBUG
2+
// RUN: %target-swift-frontend -module-name OptimizationOptions -O -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=RELEASE
3+
// RUN: %target-swift-frontend -module-name OptimizationOptions -Ounchecked -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=UNCHECKED
4+
// RUN: %target-swift-frontend -module-name OptimizationOptions -Oplayground -emit-sil -primary-file %s -o - | %FileCheck %s --check-prefix=PLAYGROUND
55

66
// REQUIRES: optimized_stdlib
7-
// REQUIRES: swift_stdlib_asserts
87
// REQUIRES: swift_stdlib_no_asserts
98

10-
func test_assert() (x: Int, y: Int) -> Int {
9+
func test_assert(x: Int, y: Int) -> Int {
1110
assert(x >= y , "x smaller than y")
1211
return x + y
1312
}
@@ -30,85 +29,85 @@ func test_partial_safety_check(x: Int, y: Int) -> Int {
3029
}
3130

3231
// In debug mode keep user asserts and runtime checks.
33-
// DEBUG-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
32+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
3433
// DEBUG: "x smaller than y"
3534
// DEBUG: "assertion failed"
3635
// DEBUG: cond_fail
36+
// DEBUG: return
3737

3838
// In playground mode keep user asserts and runtime checks.
39-
// PLAYGROUND-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
39+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
4040
// PLAYGROUND: "x smaller than y"
4141
// PLAYGROUND: "assertion failed"
4242
// PLAYGROUND: cond_fail
4343

4444
// In release mode remove user asserts and keep runtime checks.
45-
// RELEASE-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
45+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
4646
// RELEASE-NOT: "x smaller than y"
4747
// RELEASE-NOT: "assertion failed"
4848
// RELEASE: cond_fail
4949

5050
// In fast mode remove user asserts and runtime checks.
51-
// FAST-LABEL: _TF19OptimizationOptions11test_assertfT_FT1xSi1ySi_Si
51+
// FAST-LABEL: sil hidden @_TF19OptimizationOptions11test_assertFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
5252
// FAST-NOT: "x smaller than y"
5353
// FAST-NOT: "assertion failed"
5454
// FAST-NOT: cond_fail
5555

5656

5757
// In debug mode keep verbose fatal errors.
58-
// DEBUG-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
58+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
5959
// DEBUG-DAG: "Human nature ..."
60-
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TTOS_nndd__TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
60+
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC:.*fatalErrorMessage.*]] : $@convention(thin)
6161
// DEBUG: apply %[[FATAL_ERROR]]({{.*}})
6262
// DEBUG: unreachable
6363

6464
// In playground mode keep verbose fatal errors.
65-
// PLAYGROUND-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
65+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
6666
// PLAYGROUND-DAG: "Human nature ..."
67-
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TTOS_nndd__TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
67+
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC:.*fatalErrorMessage.*]] : $@convention(thin)
6868
// PLAYGROUND: apply %[[FATAL_ERROR]]({{.*}})
6969
// PLAYGROUND: unreachable
7070

7171
// In release mode keep succinct fatal errors (trap).
72-
// RELEASE-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
72+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
7373
// RELEASE-NOT: "Human nature ..."
7474
// RELEASE-NOT: "fatal error"
75-
// RELEASE: bb2:
76-
// RELEASE: %[[ALWAYS:.+]] = integer_literal $Builtin.Int1, -1
77-
// RELEASE: cond_fail %[[ALWAYS]]
75+
// RELEASE: cond_fail
76+
// RELEASE: return
7877

7978
// In fast mode remove fatal errors.
80-
// FAST-LABEL: _TF19OptimizationOptions10test_fatalFTSiSi_Si
79+
// FAST-LABEL: sil hidden @_TF19OptimizationOptions10test_fatalFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
8180
// FAST-NOT: "Human nature ..."
8281
// FAST-NOT: "fatal error"
8382
// FAST-NOT: int_trap
8483

8584
// Precondition safety checks.
8685

8786
// In debug mode keep verbose library precondition checks.
88-
// DEBUG-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
87+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
8988
// DEBUG-DAG: "fatal error"
90-
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TTOS_nndd__TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
89+
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
9190
// DEBUG: apply %[[FATAL_ERROR]]({{.*}})
9291
// DEBUG: unreachable
9392
// DEBUG: return
9493

9594
// In playground mode keep verbose library precondition checks.
96-
// PLAYGROUND-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
95+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
9796
// PLAYGROUND-DAG: "fatal error"
98-
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TTOS_nndd__TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
97+
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
9998
// PLAYGROUND: apply %[[FATAL_ERROR]]({{.*}})
10099
// PLAYGROUND: unreachable
101100
// PLAYGROUND: return
102101

103102
// In release mode keep succinct library precondition checks (trap).
104-
// RELEASE-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
103+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
105104
// RELEASE-NOT: "fatal error"
106105
// RELEASE: %[[V2:.+]] = builtin "xor_Int1"(%{{.+}}, %{{.+}})
107106
// RELEASE: cond_fail %[[V2]]
108107
// RELEASE: return
109108

110109
// In unchecked mode remove library precondition checks.
111-
// UNCHECKED-LABEL: _TF19OptimizationOptions23test_precondition_checkFTSiSi_Si
110+
// UNCHECKED-LABEL: sil hidden @_TF19OptimizationOptions23test_precondition_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
112111
// UNCHECKED-NOT: "fatal error"
113112
// UNCHECKED-NOT: builtin "int_trap"
114113
// UNCHECKED-NOT: unreachable
@@ -117,28 +116,28 @@ func test_partial_safety_check(x: Int, y: Int) -> Int {
117116
// Partial safety checks.
118117

119118
// In debug mode keep verbose partial safety checks.
120-
// DEBUG-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
119+
// DEBUG-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
121120
// DEBUG-DAG: "fatal error"
122-
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TTOS_nndd__TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
121+
// DEBUG-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
123122
// DEBUG: apply %[[FATAL_ERROR]]({{.*}})
124123
// DEBUG: unreachable
125124

126125
// In playground mode keep verbose partial safety checks.
127-
// PLAYGROUND-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
126+
// PLAYGROUND-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
128127
// PLAYGROUND-DAG: "fatal error"
129-
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @_TTOS_nndd__TFs18_fatalErrorMessageFTVs12StaticStringS_S_Su_T_
128+
// PLAYGROUND-DAG: %[[FATAL_ERROR:.+]] = function_ref @[[FATAL_ERROR_FUNC]]
130129
// PLAYGROUND: apply %[[FATAL_ERROR]]({{.*}})
131130
// PLAYGROUND: unreachable
132131

133132
// In release mode remove partial safety checks.
134-
// RELEASE-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
133+
// RELEASE-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
135134
// RELEASE-NOT: "fatal error"
136135
// RELEASE-NOT: builtin "int_trap"
137136
// RELEASE-NOT: unreachable
138137
// RELEASE: return
139138

140139
// In fast mode remove partial safety checks.
141-
// FAST-LABEL: _TF19OptimizationOptions25test_partial_safety_checkFTSiSi_Si
140+
// FAST-LABEL: sil hidden @_TF19OptimizationOptions25test_partial_safety_checkFT1xSi1ySi_Si : $@convention(thin) (Int, Int) -> Int {
142141
// FAST-NOT: "fatal error"
143142
// FAST-NOT: builtin "int_trap"
144143
// FAST-NOT: unreachable

0 commit comments

Comments
 (0)