|
3 | 3 | // RUN: %target-swift-frontend %S/Inputs/specialize_opaque_type_archetypes_3.swift -enable-library-evolution -module-name External2 -emit-module -emit-module-path %t/External2.swiftmodule
|
4 | 4 | // RUN: %target-swift-frontend %S/Inputs/specialize_opaque_type_archetypes_4.swift -I %t -enable-library-evolution -module-name External3 -emit-module -emit-module-path %t/External3.swiftmodule
|
5 | 5 | // RUN: %target-swift-frontend %S/Inputs/specialize_opaque_type_archetypes_3.swift -I %t -enable-library-evolution -module-name External2 -Osize -emit-module -o - | %target-sil-opt -module-name External2 | %FileCheck --check-prefix=RESILIENT %s
|
| 6 | +// RUN: %target-swift-frontend -I %t -module-name A -enforce-exclusivity=checked -Osize -emit-sil -sil-verify-all %s | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%ptrsize |
6 | 7 | // RUN: %target-swift-frontend -I %t -module-name A -enforce-exclusivity=checked -Osize -emit-sil -sil-verify-all %s | %FileCheck %s
|
7 | 8 | // RUN: %target-swift-frontend -I %t -module-name A -enforce-exclusivity=checked -enable-library-evolution -Osize -emit-sil -sil-verify-all %s | %FileCheck %s
|
| 9 | + |
8 | 10 | import External
|
9 | 11 | import External2
|
10 | 12 | import External3
|
@@ -391,12 +393,12 @@ struct PA : P4 {
|
391 | 393 | // CHECK: [[F:%.*]] = function_ref @$s1A2PAV4testyyF
|
392 | 394 | // CHECK: apply [[F]]([[V]])
|
393 | 395 |
|
394 |
| -// CHECK-LABEL: sil hidden @$s1A2PAV4testyyF : $@convention(method) (PA) -> () |
395 |
| -// CHECK: [[V:%.*]] = integer_literal $Builtin.Int64, 5 |
396 |
| -// CHECK: [[I:%.*]] = struct $Int64 ([[V]] : $Builtin.Int64) |
397 |
| -// CHECK: [[F:%.*]] = function_ref @$s1A4usePyyxAA1PRzlFs5Int64V_Tg5 |
398 |
| -// CHECK: apply [[F]]([[I]]) : $@convention(thin) (Int64) -> () |
399 |
| -// CHECK: apply [[F]]([[I]]) : $@convention(thin) (Int64) -> () |
| 396 | +// CHECK-64-LABEL: sil hidden @$s1A2PAV4testyyF : $@convention(method) (PA) -> () |
| 397 | +// CHECK-64: [[V:%.*]] = integer_literal $Builtin.Int64, 5 |
| 398 | +// CHECK-64: [[I:%.*]] = struct $Int64 ([[V]] : $Builtin.Int64) |
| 399 | +// CHECK-64: [[F:%.*]] = function_ref @$s1A4usePyyxAA1PRzlFs5Int64V_Tg5 |
| 400 | +// CHECK-64: apply [[F]]([[I]]) : $@convention(thin) (Int64) -> () |
| 401 | +// CHECK-64: apply [[F]]([[I]]) : $@convention(thin) (Int64) -> () |
400 | 402 |
|
401 | 403 | @inline(never)
|
402 | 404 | func testIt<T>(cl: (Int64) throws -> T) {
|
|
0 commit comments