Merge pull request #63609 from gottesmm/pr-498ce8146f1

gottesmm · web-flow · commit 447e52477d35 · 2023-02-13T07:16:11.000-08:00
[move-only] Add sil-verify-all to all tests.
diff --git a/test/SILOptimizer/moveonly_addresschecker_diagnostics.swift b/test/SILOptimizer/moveonly_addresschecker_diagnostics.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-emit-sil -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s
+// RUN: %target-swift-emit-sil -sil-verify-all -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s
 
 //////////////////
 // Declarations //
diff --git a/test/SILOptimizer/moveonly_deinits.swift b/test/SILOptimizer/moveonly_deinits.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-frontend -enable-experimental-move-only -verify -emit-sil %s
+// RUN: %target-swift-frontend -sil-verify-all -enable-experimental-move-only -verify -emit-sil %s
 
 class Klass {}
 
diff --git a/test/SILOptimizer/moveonly_lifetime.swift b/test/SILOptimizer/moveonly_lifetime.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-emit-sil -module-name moveonly_lifetime -o /dev/null -Xllvm -sil-print-canonical-module -Onone -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s 2>&1 | %FileCheck %s
+// RUN: %target-swift-emit-sil -sil-verify-all -module-name moveonly_lifetime -o /dev/null -Xllvm -sil-print-canonical-module -Onone -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s 2>&1 | %FileCheck %s
 
 @_moveOnly
 class C {}
diff --git a/test/SILOptimizer/moveonly_objectchecker_diagnostics.swift b/test/SILOptimizer/moveonly_objectchecker_diagnostics.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-emit-sil -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s
+// RUN: %target-swift-emit-sil -sil-verify-all -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s
 
 //////////////////
 // Declarations //
diff --git a/test/SILOptimizer/moveonly_trivial_addresschecker_diagnostics.swift b/test/SILOptimizer/moveonly_trivial_addresschecker_diagnostics.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-emit-sil -verify -enable-experimental-move-only %s
+// RUN: %target-swift-emit-sil -sil-verify-all -verify -enable-experimental-move-only %s
 
 //////////////////
 // Declarations //
diff --git a/test/SILOptimizer/moveonly_trivial_objectchecker_diagnostics.swift b/test/SILOptimizer/moveonly_trivial_objectchecker_diagnostics.swift
@@ -1,4 +1,4 @@
-// RUN: %target-swift-emit-sil -verify -enable-experimental-move-only %s
+// RUN: %target-swift-emit-sil -sil-verify-all -verify -enable-experimental-move-only %s
 
 //////////////////
 // Declarations //

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %target-swift-emit-sil -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s`
	`1`	`+// RUN: %target-swift-emit-sil -sil-verify-all -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s`
`2`	`2`
`3`	`3`	`//////////////////`
`4`	`4`	`// Declarations //`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %target-swift-frontend -enable-experimental-move-only -verify -emit-sil %s`
	`1`	`+// RUN: %target-swift-frontend -sil-verify-all -enable-experimental-move-only -verify -emit-sil %s`
`2`	`2`
`3`	`3`	`class Klass {}`
`4`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %target-swift-emit-sil -module-name moveonly_lifetime -o /dev/null -Xllvm -sil-print-canonical-module -Onone -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s 2>&1 \| %FileCheck %s`
	`1`	`+// RUN: %target-swift-emit-sil -sil-verify-all -module-name moveonly_lifetime -o /dev/null -Xllvm -sil-print-canonical-module -Onone -verify -enable-experimental-move-only -enable-experimental-feature MoveOnlyClasses %s 2>&1 \| %FileCheck %s`
`2`	`2`
`3`	`3`	`@_moveOnly`
`4`	`4`	`class C {}`