Update test for OSSA: mandatory_performance_optimizations

Author: atrick

test/SILOptimizer/mandatory_performance_optimizations.sil

@@ -34,14 +34,17 @@ sil [ossa] [transparent] @partial_apply_on_stack_nesting_violator : $@convention
 
 // Verify that when inlining partial_apply_on_stack_nesting_violator, the stack
 // nesting of the on_stack closures is fixed.
-// CHECK-LABEL: sil [no_locks] [perf_constraint] @test_inline_stack_violating_ossa_func : {{.*}} {
+//
+// NON_OSSA: stack nesting is not fixed until after OSSA lowering. These tests only run mandatory optimization.
+//
+// CHECK-LABEL: sil [no_locks] [perf_constraint] [ossa] @test_inline_stack_violating_ossa_func : {{.*}} {
 // CHECK:         [[PAABLE:%[^,]+]] = function_ref @paable
 // CHECK:         [[FIRST:%[^,]+]] = partial_apply [callee_guaranteed] [on_stack] [[PAABLE]]
 // CHECK:         [[SECOND:%[^,]+]] = partial_apply [callee_guaranteed] [on_stack] [[PAABLE]]
-// CHECK:         dealloc_stack [[SECOND]]
-// CHECK:         dealloc_stack [[FIRST]]
+// NON_OSSA:          dealloc_stack [[SECOND]]
+// NON_OSSA:          dealloc_stack [[FIRST]]
 // CHECK-LABEL: } // end sil function 'test_inline_stack_violating_ossa_func'
-sil [no_locks] @test_inline_stack_violating_ossa_func : $@convention(thin) () -> () {
+sil [no_locks] [ossa] @test_inline_stack_violating_ossa_func : $@convention(thin) () -> () {
     %callee = function_ref @partial_apply_on_stack_nesting_violator : $@convention(thin) <T> () -> ()
     apply %callee<Builtin.Int64>() : $@convention(thin) <T> () -> ()
     %retval = tuple ()
@@ -69,10 +72,10 @@ bb0:
   return %retval : $Builtin.Int64
 }
 
-// CHECK-LABEL: sil [no_allocation] [perf_constraint] @deserialize_and_inline_after_devirtualize
+// CHECK-LABEL: sil [no_allocation] [perf_constraint] [ossa] @deserialize_and_inline_after_devirtualize
 // CHECK-NOT:     apply
 // CHECK:       } // end sil function 'deserialize_and_inline_after_devirtualize'
-sil [no_allocation] @deserialize_and_inline_after_devirtualize : $@convention(thin) (@in Int) -> () {
+sil [no_allocation] [ossa] @deserialize_and_inline_after_devirtualize : $@convention(thin) (@in Int) -> () {
 bb0(%0 : $*Int):
   %1 = metatype $@thick Int.Type
   %2 = witness_method $Int, #Comparable."<" : <Self where Self : Comparable> (Self.Type) -> (Self, Self) -> Bool : $@convention(witness_method: Comparable) <τ_0_0 where τ_0_0 : Comparable> (@in_guaranteed τ_0_0, @in_guaranteed τ_0_0, @thick τ_0_0.Type) -> Bool
@@ -95,25 +98,11 @@ bb0(%0 : $Builtin.Int32):
   return %2 : $Builtin.Int32
 }
 
-// CHECK-LABEL: sil [no_allocation] [perf_constraint] @dont_do_dead_alloc_elimination_on_non_ossa
-// CHECK:         alloc_stack
-// CHECK-NOT:     load
-// CHECK:         return %0
-// CHECK:       } // end sil function 'dont_do_dead_alloc_elimination_on_non_ossa'
-sil [no_allocation] @dont_do_dead_alloc_elimination_on_non_ossa : $@convention(thin) (Builtin.Int32) -> Builtin.Int32 {
-bb0(%0 : $Builtin.Int32):
-  %1 = alloc_stack $Builtin.Int32
-  store %0 to %1 : $*Builtin.Int32
-  %2 = load %1 : $*Builtin.Int32
-  dealloc_stack %1 : $*Builtin.Int32
-  return %2 : $Builtin.Int32
-}
-
-// CHECK-LABEL: sil [no_allocation] [perf_constraint] @dead_metatype :
+// CHECK-LABEL: sil [no_allocation] [perf_constraint] [ossa] @dead_metatype :
 // CHECK-NOT:     metatype
 // CHECK-NOT:     debug_value
 // CHECK:       } // end sil function 'dead_metatype'
-sil [no_allocation] @dead_metatype : $@convention(thin) () -> () {
+sil [no_allocation] [ossa] @dead_metatype : $@convention(thin) () -> () {
 bb0:
   %0 = metatype $@thick Int.Type
   debug_value %0 : $@thick Int.Type
@@ -132,47 +121,47 @@ sil_witness_table public_external [serialized] Int: Comparable module Swift {
   method #Comparable."<": <Self where Self : Comparable> (Self.Type) -> (Self, Self) -> Bool : @$sSiSLsSL1loiySbx_xtFZTW
 }
 
-sil @get_int_value : $@convention(thin) () -> Int32 {
+sil [ossa] @get_int_value : $@convention(thin) () -> Int32 {
 bb0:
   %0 = integer_literal $Builtin.Int32, 10
   %1 = struct $Int32 (%0 : $Builtin.Int32)
   return %1 : $Int32
 }
 
-// CHECK-LABEL: sil [global_init_once_fn] [no_locks] [perf_constraint] @globalinit_inline_into_init :
+// CHECK-LABEL: sil [global_init_once_fn] [no_locks] [perf_constraint] [ossa] @globalinit_inline_into_init :
 // CHECK-NOT:     apply
 // CHECK:       } // end sil function 'globalinit_inline_into_init'
-sil [global_init_once_fn] [no_locks] @globalinit_inline_into_init : $@convention(c) () -> () {
+sil [global_init_once_fn] [no_locks] [ossa] @globalinit_inline_into_init : $@convention(c) () -> () {
 bb0:
   alloc_global @g1
   %1 = global_addr @g1 : $*Int32
   %2 = function_ref @get_int_value : $@convention(thin) () -> Int32
   %3 = apply %2() : $@convention(thin) () -> Int32
-  store %3 to %1 : $*Int32
+  store %3 to [trivial] %1 : $*Int32
   %6 = tuple ()
   return %6 : $()
 }
 
-// CHECK-LABEL: sil [serialized] [global_init_once_fn] [no_locks] [perf_constraint] @globalinit_dont_inline_non_inlinable_into_inlinable :
+// CHECK-LABEL: sil [serialized] [global_init_once_fn] [no_locks] [perf_constraint] [ossa] @globalinit_dont_inline_non_inlinable_into_inlinable :
 // CHECK:         apply
 // CHECK:       } // end sil function 'globalinit_dont_inline_non_inlinable_into_inlinable'
-sil [serialized] [global_init_once_fn] [no_locks] @globalinit_dont_inline_non_inlinable_into_inlinable : $@convention(c) () -> () {
+sil [serialized] [global_init_once_fn] [no_locks] [ossa] @globalinit_dont_inline_non_inlinable_into_inlinable : $@convention(c) () -> () {
 bb0:
   alloc_global @g2
   %1 = global_addr @g2 : $*Int32
   %2 = function_ref @get_int_value : $@convention(thin) () -> Int32
   %3 = apply %2() : $@convention(thin) () -> Int32
-  store %3 to %1 : $*Int32
+  store %3 to [trivial] %1 : $*Int32
   %6 = tuple ()
   return %6 : $()
 }
 
 // Check that we don't crash on global init-once declarations.
 
 // CHECK-LABEL: sil [global_init_once_fn] [no_locks] @external_global_init_once : $@convention(c) () -> ()
-sil [global_init_once_fn] [no_locks] @external_global_init_once : $@convention(c) () -> ()
+sil [global_init_once_fn] [no_locks] [ossa] @external_global_init_once : $@convention(c) () -> ()
 
-sil @yield_int_value : $@convention(thin) @yield_once () -> (@yields Int32) {
+sil [ossa] @yield_int_value : $@convention(thin) @yield_once () -> (@yields Int32) {
 bb0:
   %0 = integer_literal $Builtin.Int32, 10
   %1 = struct $Int32 (%0 : $Builtin.Int32)
@@ -184,21 +173,21 @@ bb2:
   unwind
 }
 
-// CHECK-LABEL: sil [no_locks] [perf_constraint] @inline_begin_apply :
+// CHECK-LABEL: sil [no_locks] [perf_constraint] [ossa] @inline_begin_apply :
 // CHECK-NOT:     begin_apply
 // CHECK:       } // end sil function 'inline_begin_apply'
-sil [no_locks] @inline_begin_apply : $@convention(thin) () -> Int32 {
+sil [no_locks] [ossa] @inline_begin_apply : $@convention(thin) () -> Int32 {
 bb0:
   %0 = function_ref @yield_int_value : $@convention(thin) @yield_once () -> (@yields Int32)
   (%1, %2) = begin_apply %0() : $@convention(thin) @yield_once () -> (@yields Int32)
   end_apply %2 as $()
   return %1 : $Int32
 }
 
-// CHECK-LABEL: sil [no_locks] [perf_constraint] @dont_inline_begin_apply :
+// CHECK-LABEL: sil [no_locks] [perf_constraint] [ossa] @dont_inline_begin_apply :
 // CHECK:         begin_apply
 // CHECK:       } // end sil function 'dont_inline_begin_apply'
-sil [no_locks] @dont_inline_begin_apply : $@convention(thin) () -> Int32 {
+sil [no_locks] [ossa] @dont_inline_begin_apply : $@convention(thin) () -> Int32 {
 bb0:
   %0 = function_ref @yield_int_value : $@convention(thin) @yield_once () -> (@yields Int32)
   (%1, %2) = begin_apply %0() : $@convention(thin) @yield_once () -> (@yields Int32)