[Test] Run copy-propagation on SILOptimizer/opaque_values_mandatory.sil.

Author: nate-chandler

test/SILOptimizer/opaque_values_mandatory.sil

@@ -1,12 +1,9 @@
 // RUN: %target-sil-opt -diagnostics -enable-sil-opaque-values %s | \
-// RUN:     %target-sil-opt -Onone-performance -enable-sil-opaque-values -emit-sorted-sil -sil-disable-pass=mandatory-copy-propagation | \
+// RUN:     %target-sil-opt -Onone-performance -enable-sil-verify-all \
+// RUN:                     -enable-sil-opaque-values -emit-sorted-sil \
+// RUN:                     -enable-ossa-modules -enable-copy-propagation | \
 // RUN:     %FileCheck %s
 
-// Using -sil-disable-pass=mandatory-copy-propagation to pattern match
-// against older SIL output. At least until -enable-copy-propagation
-// has been around long enough in the same form to be worth rewriting
-// CHECK lines.
-
 import Builtin
 
 sil_stage raw