Skip to content

Commit 5c89708

Browse files
atrickatrick
committed
Add experimental-feature LifetimeDependenceDiagnoseTrivial to tests.
1 parent c71e53d commit 5c89708

32 files changed

+96
-19
lines changed

‎test/Generics/inverse_generics.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,10 @@
11
// RUN: %target-typecheck-verify-swift \
22
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
34
// RUN: -enable-experimental-feature SuppressedAssociatedTypes
45

56
// REQUIRES: swift_feature_LifetimeDependence
7+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
68
// REQUIRES: swift_feature_SuppressedAssociatedTypes
79

810
// expected-note@+1 {{'T' has '~Copyable' constraint preventing implicit 'Copyable' conformance}}

‎test/SIL/Parser/basic2_noncopyable_generics.sil

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,16 @@
11
// RUN: %target-sil-opt \
22
// RUN: %s \
33
// RUN: -enable-experimental-feature LifetimeDependence \
4+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
45
// RUN: | \
56
// RUN: %target-sil-opt \
67
// RUN: -enable-experimental-feature LifetimeDependence \
8+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
79
// RUN: | \
810
// RUN: %FileCheck %s
911

1012
// REQUIRES: swift_feature_LifetimeDependence
13+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1114

1215
// For -enable-experimental-feature LifetimeDependence
1316

‎test/SIL/Parser/lifetime_dependence.sil

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,10 @@
11
// RUN: %target-sil-opt %s \
2-
// RUN: -enable-experimental-feature LifetimeDependence | %FileCheck %s
2+
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
4+
// RUN: | %FileCheck %s
35

46
// REQUIRES: swift_feature_LifetimeDependence
7+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
58

69
sil_stage canonical
710

‎test/SIL/explicit_lifetime_dependence_specifiers.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,11 @@
22
// RUN: -emit-sil \
33
// RUN: -enable-builtin-module \
44
// RUN: -enable-experimental-feature LifetimeDependence \
5+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
56
// RUN: | %FileCheck %s
67

78
// REQUIRES: swift_feature_LifetimeDependence
9+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
810

911
import Builtin
1012

‎test/SIL/implicit_lifetime_dependence.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,11 @@
11
// RUN: %target-swift-frontend %s \
22
// RUN: -emit-sil -target %target-swift-5.1-abi-triple \
33
// RUN: -enable-experimental-feature LifetimeDependence \
4+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
45
// RUN: | %FileCheck %s
56

67
// REQUIRES: swift_feature_LifetimeDependence
8+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
79

810
struct BufferView : ~Escapable {
911
let ptr: UnsafeRawBufferPointer

‎test/SIL/lifetime_dependence_generics.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11
// RUN: %target-swift-frontend %s -emit-sil \
22
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
34
// RUN: -enable-experimental-feature SuppressedAssociatedTypes \
45
// RUN: | %FileCheck %s
56

67
// REQUIRES: swift_in_compiler
78
// REQUIRES: swift_feature_LifetimeDependence
9+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
810
// REQUIRES: swift_feature_SuppressedAssociatedTypes
911

1012
protocol P {

‎test/SIL/lifetime_dependence_param_position_test.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,10 @@
11
// RUN: %target-swift-frontend %s -emit-silgen \
2-
// RUN: -enable-experimental-feature LifetimeDependence
2+
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
34

45
// REQUIRES: swift_in_compiler
56
// REQUIRES: swift_feature_LifetimeDependence
7+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
68

79

810
public struct Span<Element> : ~Escapable {

‎test/SIL/lifetime_dependence_span_lifetime_attr.swift

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,11 @@
11
// RUN: %target-swift-frontend %s -emit-sil \
2-
// RUN: -enable-experimental-feature LifetimeDependence | %FileCheck %s
2+
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
4+
// RUN: | %FileCheck %s
35

46
// REQUIRES: swift_in_compiler
57
// REQUIRES: swift_feature_LifetimeDependence
8+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
69

710
// TODO: Use real Range
811
public struct FakeRange<Bound> {

‎test/SIL/type_lowering_unit.sil

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,10 @@
11
// RUN: %target-sil-opt -test-runner \
22
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
34
// RUN: %s -o /dev/null 2>&1 | %FileCheck %s
45

56
// REQUIRES: swift_feature_LifetimeDependence
7+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
68

79
sil_stage raw
810

‎test/SILGen/accessor_borrow.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,10 @@
11
// RUN: %target-swift-emit-silgen -module-name accessor_borrow \
22
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
34
// RUN: %s | %FileCheck %s
45

56
// REQUIRES: swift_feature_LifetimeDependence
7+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
68

79
struct NE: ~Escapable {}
810

‎test/SILOptimizer/argument_conventions.sil

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11
// RUN: %target-sil-opt -test-runner %s \
22
// RUN: -sil-verify-all \
33
// RUN: -enable-experimental-feature LifetimeDependence \
4+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
45
// RUN: 2>&1 | %FileCheck %s
56

67
// REQUIRES: swift_in_compiler
78
// REQUIRES: swift_feature_LifetimeDependence
9+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
810

911
import Builtin
1012

‎test/SILOptimizer/capture_promotion_ownership.sil

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,11 @@
11
// RUN: %target-sil-opt -sil-print-types -enable-sil-verify-all %s -capture-promotion \
2-
// RUN: -enable-experimental-feature LifetimeDependence -module-name Swift \
2+
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
4+
// RUN: -module-name Swift \
35
// RUN: | %FileCheck %s
46

57
// REQUIRES: swift_feature_LifetimeDependence
8+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
69

710
// Check to make sure that the process of promoting closure captures results in
811
// a correctly cloned and modified closure function body. This test

‎test/SILOptimizer/lifetime_dependence/initializer.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct Span<T>: ~Escapable {
1214
private var base: UnsafePointer<T>

‎test/SILOptimizer/lifetime_dependence/inout.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct Span<T>: ~Escapable {
1214
private var base: UnsafePointer<T>

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence.sil

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,12 @@
22
// RUN: -o /dev/null \
33
// RUN: -sil-verify-all \
44
// RUN: -module-name Swift \
5-
// RUN: -enable-experimental-feature LifetimeDependence
5+
// RUN: -enable-experimental-feature LifetimeDependence \
6+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
67

78
// REQUIRES: swift_in_compiler
89
// REQUIRES: swift_feature_LifetimeDependence
10+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
911

1012
// Test the SIL representation for lifetime dependence.
1113

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_borrow.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
// Some container-ish thing.
1214
struct CN: ~Copyable {

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_borrow_fail.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct BV : ~Escapable {
1214
let p: UnsafeRawPointer

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_closure.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct NCInt: ~Copyable {
1214
var value: Int

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_diagnostics.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,12 @@
22
// RUN: -sil-verify-all \
33
// RUN: -module-name test \
44
// RUN: -enable-experimental-feature LifetimeDependence \
5+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
56
// RUN: 2>&1 | %FileCheck %s
67

78
// REQUIRES: swift_in_compiler
89
// REQUIRES: swift_feature_LifetimeDependence
10+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
911

1012
struct BV : ~Escapable {
1113
let p: UnsafeRawPointer

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_inherit.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
// TODO: Remove @_unsafeNonescapableResult. Instead, the unsafe dependence should be expressed by a builtin that is
1214
// hidden within the function body.

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_inherit_fail.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
// TODO: Remove @_unsafeNonescapableResult. Instead, the unsafe dependence should be expressed by a builtin that is
1214
// hidden within the function body.

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_insertion.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -sil-verify-all \
44
// RUN: -module-name test \
55
// RUN: -enable-experimental-feature LifetimeDependence \
6+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
67
// RUN: -o /dev/null 2>&1 | %FileCheck %s
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct BV : ~Escapable {
1214
let p: UnsafeRawPointer

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_mutate.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct MutableSpan : ~Escapable, ~Copyable {
1214
let base: UnsafeMutableRawPointer

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_optional.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,12 @@
22
// RUN: -verify \
33
// RUN: -sil-verify-all \
44
// RUN: -module-name test \
5-
// RUN: -enable-experimental-feature LifetimeDependence
5+
// RUN: -enable-experimental-feature LifetimeDependence \
6+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
67

78
// REQUIRES: swift_in_compiler
89
// REQUIRES: swift_feature_LifetimeDependence
10+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
911

1012
// Simply test that it is possible for a module to define a pseudo-Optional type without triggering any compiler errors.
1113

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_param.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
// TODO: Remove @_unsafeNonescapableResult. Instead, the unsafe dependence should be expressed by a builtin that is
1214
// hidden within the function body.

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_param_fail.swift

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,12 @@
33
// RUN: -verify \
44
// RUN: -sil-verify-all \
55
// RUN: -module-name test \
6-
// RUN: -enable-experimental-feature LifetimeDependence
6+
// RUN: -enable-experimental-feature LifetimeDependence \
7+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial
78

89
// REQUIRES: swift_in_compiler
910
// REQUIRES: swift_feature_LifetimeDependence
11+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1012

1113
struct BV : ~Escapable {
1214
let p: UnsafeRawPointer

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_scope.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,12 @@
22
// RUN: -sil-verify-all \
33
// RUN: -module-name test \
44
// RUN: -enable-experimental-feature LifetimeDependence \
5+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
56
// RUN: 2>&1 | %FileCheck %s
67

78
// REQUIRES: swift_in_compiler
89
// REQUIRES: swift_feature_LifetimeDependence
10+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
911

1012
// Test LifetimeDependenceScopeFixup.
1113

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_scope_fixup.swift

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,11 @@
11
// RUN: %target-swift-frontend %s -Xllvm -sil-print-types -emit-sil \
22
// RUN: -enable-experimental-feature LifetimeDependence \
3+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
34
// RUN: | %FileCheck %s
45

56
// REQUIRES: swift_in_compiler
67
// REQUIRES: swift_feature_LifetimeDependence
8+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
79

810
struct NCContainer : ~Copyable {
911
let ptr: UnsafeRawBufferPointer

‎test/SILOptimizer/lifetime_dependence/lifetime_dependence_util.sil

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11
// RUN: %target-sil-opt -test-runner %s \
22
// RUN: -module-name Swift \
33
// RUN: -enable-experimental-feature LifetimeDependence \
4+
// RUN: -enable-experimental-feature LifetimeDependenceDiagnoseTrivial \
45
// RUN: -o /dev/null 2>&1 | %FileCheck %s
56

67
// REQUIRES: swift_in_compiler
78
// REQUIRES: swift_feature_LifetimeDependence
9+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
810

911
sil_stage canonical
1012

‎test/SILOptimizer/lifetime_dependence/scopefixup.sil

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77

88
// REQUIRES: swift_in_compiler
99
// REQUIRES: swift_feature_LifetimeDependence
10+
// REQUIRES: swift_feature_LifetimeDependenceDiagnoseTrivial
1011

1112
// Test the SIL representation for lifetime dependence scope fixup.
1213

0 commit comments

Comments
 (0)