Skip to content

Commit b5f3a8a

Browse files
committed
[mandatory-inlining] Turn on ownership verification on all swift tests for mandatory inlining.
The sil files have been left alone and mandatory inlining is still only being applied to SIL without ownership. That is coming in a forthcoming commit. rdar://31521023
1 parent b32b0e5 commit b5f3a8a

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

test/SILOptimizer/mandatory_inlining.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %target-swift-frontend -primary-file %s -emit-sil -o - -verify | %FileCheck %s
1+
// RUN: %target-swift-frontend -enable-sil-ownership -sil-verify-all -primary-file %s -emit-sil -o - -verify | %FileCheck %s
22

33
// These tests are deliberately shallow, because I do not want to depend on the
44
// specifics of SIL generation, which might change for reasons unrelated to this

test/SILOptimizer/mandatory_inlining_circular.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %target-swift-frontend -emit-sil %s -o /dev/null -verify
1+
// RUN: %target-swift-frontend -enable-sil-ownership -sil-verify-all -emit-sil %s -o /dev/null -verify
22

33
@_transparent func waldo(_ x: Double) -> Double {
44
return fred(x); // expected-error {{inlining 'transparent' functions forms circular loop}} expected-note 1 {{while inlining here}}

test/SILOptimizer/mandatory_inlining_devirt.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %target-swift-frontend %s -module-name test -emit-sil -o - -verify | %FileCheck %s
1+
// RUN: %target-swift-frontend -enable-sil-ownership -sil-verify-all %s -module-name test -emit-sil -o - -verify | %FileCheck %s
22

33

44
// Constructor calls are dispatched dynamically for open classes, even if

test/SILOptimizer/mandatory_nil_comparison_inlining.swift

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// RUN: %target-swift-frontend -primary-file %s -module-name=test -emit-sil -o - -verify | %FileCheck %s
1+
// RUN: %target-swift-frontend -enable-sil-ownership -sil-verify-all -primary-file %s -module-name=test -emit-sil -o - -verify | %FileCheck %s
22

33

44
// CHECK-LABEL: sil {{.*}} @{{.*}}generic_func

0 commit comments

Comments
 (0)