[5.0-adjustment] Add @trivial to two trivial arguments. This has been obviated on master.

Author: gottesmm

test/SILGen/switch.swift

@@ -1151,7 +1151,7 @@ func address_only_with_nontrivial_subtype(_ a: NonTrivialSingleCaseEnum, _ value
 // and partially an object that even though we access the object at +0 via a
 // load_borrow, we do not lose the +1 from the original tuple formation.
 // CHECK-LABEL: sil hidden @$s6switch35partial_address_only_tuple_dispatchyyAA5KlassC_ypSgtF : $@convention(thin) (@guaranteed Klass, @in_guaranteed Optional<Any>) -> () {
-// CHECK: bb0([[ARG0:%.*]] : @guaranteed $Klass, [[ARG1:%.*]] : $*Optional<Any>):
+// CHECK: bb0([[ARG0:%.*]] : @guaranteed $Klass, [[ARG1:%.*]] : @trivial $*Optional<Any>):
 // CHECK:   [[ARG0_COPY:%.*]] = copy_value [[ARG0]]
 // CHECK:   [[ARG1_COPY:%.*]] = alloc_stack $Optional<Any>
 // CHECK:   copy_addr [[ARG1]] to [initialization] [[ARG1_COPY]]
@@ -1183,7 +1183,7 @@ func partial_address_only_tuple_dispatch(_ name: Klass, _ value: Any?) {
 }
 
 // CHECK-LABEL: sil hidden @$s6switch50partial_address_only_tuple_dispatch_with_fail_caseyyAA5KlassC_ypSgtF : $@convention(thin) (@guaranteed Klass, @in_guaranteed Optional<Any>) -> () {
-// CHECK: bb0([[ARG0:%.*]] : @guaranteed $Klass, [[ARG1:%.*]] : $*Optional<Any>):
+// CHECK: bb0([[ARG0:%.*]] : @guaranteed $Klass, [[ARG1:%.*]] : @trivial $*Optional<Any>):
 // CHECK:   [[ARG0_COPY:%.*]] = copy_value [[ARG0]]
 // CHECK:   [[ARG1_COPY:%.*]] = alloc_stack $Optional<Any>
 // CHECK:   copy_addr [[ARG1]] to [initialization] [[ARG1_COPY]]