Add REQUIRES: swift_stdlib_no_asserts to dead_array_elim.swift

One of the subtests cannot be fully optimized without
swift_stdlib_no_asserts because, with runtime verification
enabled, "array.finalize" becomes a mutating operation, preventing
SILCombine from deleting it when it removes dead pure
instructions. After inlining, DeadObjectElimination is still
unable to remove the array because a second array is initialized
by copying the first. This problem can be overcome by handling
non-trivial stores in OSSA, as described here:
[OSSA] Improve DeadObjectElimination to handle array copies
https://bugs.swift.org/browse/SR-13782

Author: atrick

test/SILOptimizer/OSLogFullOptTest.swift

@@ -1,6 +1,7 @@
 // RUN: %target-swift-frontend -emit-ir -swift-version 5 -O -primary-file %s | %FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-ptrsize
 //
 // REQUIRES: VENDOR=apple
+// REQUIRES: swift_stdlib_no_asserts
 
 // This tests the optimality of the IR generated for the new os log APIs. This
 // is not testing the output of a specific optimization pass (which has separate
@@ -9,6 +10,13 @@
 // os log APIs. TODO: eventually these optimization should also happen in Onone
 // mode.
 
+// With stdlib asserts, this test exhibits the same problem as
+// dead_array_elim.swift. The problem can be overcome by handling
+// non-trivial stores in OSSA, as described here:
+//   [OSSA] Improve DeadObjectElimination to handle array copies
+//   https://bugs.swift.org/browse/SR-13782
+// Once that bug is fixed, remove the requirement: swift_stdlib_no_asserts.
+
 import OSLogTestHelper
 import Foundation
 

test/SILOptimizer/dead_array_elim.swift

@@ -1,12 +1,25 @@
 // RUN: %target-swift-frontend -O -emit-sil -primary-file %s | %FileCheck %s
 
+// REQUIRES: swift_stdlib_no_asserts
+
 // These tests check whether DeadObjectElimination pass runs as a part of the
 // optimization pipeline and eliminates dead array literals in Swift code.
 // Note that DeadObjectElimination pass relies on @_semantics annotations on
 // the array initializer that is used by the compiler to create array literals.
 // This test would fail if in case the initializer used by the compiler to
 // initialize array literals doesn't match the one expected by the pass.
 
+// testDeadArrayElimination requires swift_stdlib_no_asserts because,
+// with runtime verification enabled, "array.finalize" becomes a
+// mutating operation, preventing SILCombine from deleting it when it
+// removes dead pure instructions. After inlining,
+// DeadObjectElimination is still unable to remove the array because a
+// second array is initialized by copying the first. This problem can be
+// overcome by handling non-trivial stores in OSSA, as described here:
+//   [OSSA] Improve DeadObjectElimination to handle array copies
+//   https://bugs.swift.org/browse/SR-13782
+// Once that bug is fixed, remove the requirement: swift_stdlib_no_asserts.
+
 // CHECK-LABEL: sil hidden @$s15dead_array_elim24testDeadArrayEliminationyyF
 func testDeadArrayElimination() {
   _ = [1, 2, 3]