Merge pull request #13799 from gottesmm/pr-e6cdfc95c125ba22713603096f0838128fefe1d0

Author: swift-ci

test/SILOptimizer/dead_array_elim.sil

@@ -22,7 +22,7 @@ class TrivialDestructor {
 // Swift._allocateUninitializedArray <A> (Builtin.Word) -> (Swift.Array<A>, Builtin.RawPointer)
 sil [_semantics "array.uninitialized"] @allocArray : $@convention(thin) <τ_0_0> (Builtin.Word) -> @owned (Array<τ_0_0>, Builtin.RawPointer)
 
-sil [_semantics "array.uninitialized"] @adoptStorageSpecialiedForInt : $@convention(method) (@guaranteed _ContiguousArrayStorage<Int>, Int, @thin Array<Int>.Type) -> (@owned Array<Int>, UnsafeMutablePointer<Int>)
+sil [_semantics "array.uninitialized"] @adoptStorageSpecialiedForInt : $@convention(method) (@guaranteed _ContiguousArrayStorage<Int>, Builtin.Word, @thin Array<Int>.Type) -> (@owned Array<Int>, UnsafeMutablePointer<Int>)
 
 // CHECK-LABEL: sil @deadarrayWithAdoptStorage : $@convention(thin) () -> () {
 // CHECK-NOT: alloc_ref
@@ -31,12 +31,10 @@ sil [_semantics "array.uninitialized"] @adoptStorageSpecialiedForInt : $@convent
 sil @deadarrayWithAdoptStorage : $@convention(thin) () -> () {
 bb0:
   %0 = integer_literal $Builtin.Word, 3
-  %1 = builtin "zextOrBitCast_Word_Int64"(%0 : $Builtin.Word) : $Builtin.Int64
-  %2 = struct $Int (%1 : $Builtin.Int64)
   %6 = alloc_ref [tail_elems $Int * %0 : $Builtin.Word] $_ContiguousArrayStorage<Int>
   %7 = metatype $@thin Array<Int>.Type
-  %8 = function_ref @adoptStorageSpecialiedForInt : $@convention(method) (@guaranteed _ContiguousArrayStorage<Int>, Int, @thin Array<Int>.Type) -> (@owned Array<Int>, UnsafeMutablePointer<Int>)
-  %9 = apply %8(%6, %2, %7) : $@convention(method) (@guaranteed _ContiguousArrayStorage<Int>, Int, @thin Array<Int>.Type) -> (@owned Array<Int>, UnsafeMutablePointer<Int>)
+  %8 = function_ref @adoptStorageSpecialiedForInt : $@convention(method) (@guaranteed _ContiguousArrayStorage<Int>, Builtin.Word, @thin Array<Int>.Type) -> (@owned Array<Int>, UnsafeMutablePointer<Int>)
+  %9 = apply %8(%6, %0, %7) : $@convention(method) (@guaranteed _ContiguousArrayStorage<Int>, Builtin.Word, @thin Array<Int>.Type) -> (@owned Array<Int>, UnsafeMutablePointer<Int>)
   strong_release %6 : $_ContiguousArrayStorage<Int>
   %10 = tuple_extract %9 : $(Array<Int>, UnsafeMutablePointer<Int>), 0
   %11 = tuple_extract %9 : $(Array<Int>, UnsafeMutablePointer<Int>), 1