Merge pull request #76713 from kubamracek/fix-simplify-alloc-ref

Fix simplify_alloc_ref_dynamic.sil test to work on 32-bit systems too

Author: kubamracek

test/SILOptimizer/simplify_alloc_ref_dynamic.sil

@@ -14,39 +14,31 @@ class SubClass: BaseClass {
 }
 
 // CHECK-LABEL: sil [ossa] @test_alloc_ref_dynamic_with_upcast
-// CHECK:       bb0(%0 : $Int):
-// CHECK:         struct_extract %0 : $Int, #Int._value
-// CHECK:         builtin "truncOrBitCast_Int64_Word"({{.*}} : $Builtin.Int64) : $Builtin.Word
+// CHECK:       bb0(%0 : $Builtin.Word):
 // CHECK:         [[AL:%.*]] = alloc_ref [tail_elems $Int * {{.*}} : $Builtin.Word] $SubClass
 // CHECK:         [[UP:%.*]] = upcast [[AL]] : $SubClass to $BaseClass
 // CHECK:         [[MO:%.*]] = move_value [lexical] [var_decl] [[UP]] : $BaseClass
 // CHECK:         return [[MO]] : $BaseClass
 // CHECK:       } // end sil function 'test_alloc_ref_dynamic_with_upcast'
-sil [ossa] @test_alloc_ref_dynamic_with_upcast : $@convention(thin) (Int) -> @owned BaseClass {
-bb0(%0 : $Int):
+sil [ossa] @test_alloc_ref_dynamic_with_upcast : $@convention(thin) (Builtin.Word) -> @owned BaseClass {
+bb0(%0 : $Builtin.Word):
   %4 = metatype $@thick SubClass.Type
   %5 = upcast %4 : $@thick SubClass.Type to $@thick BaseClass.Type
-  %10 = struct_extract %0 : $Int, #Int._value
-  %11 = builtin "truncOrBitCast_Int64_Word"(%10 : $Builtin.Int64) : $Builtin.Word
-  %12 = alloc_ref_dynamic [tail_elems $Int * %11 : $Builtin.Word] %5 : $@thick BaseClass.Type, $BaseClass
+  %12 = alloc_ref_dynamic [tail_elems $Int * %0 : $Builtin.Word] %5 : $@thick BaseClass.Type, $BaseClass
   %13 = move_value [lexical] [var_decl] %12 : $BaseClass
   return %13 : $BaseClass
 }
 
 // CHECK-LABEL: sil [ossa] @test_alloc_ref_dynamic_without_upcast
-// CHECK:       bb0(%0 : $Int):
-// CHECK:         struct_extract %0 : $Int, #Int._value
-// CHECK:         builtin "truncOrBitCast_Int64_Word"({{.*}} : $Builtin.Int64) : $Builtin.Word
+// CHECK:       bb0(%0 : $Builtin.Word):
 // CHECK:         [[AL:%.*]] = alloc_ref [tail_elems $Int * {{.*}} : $Builtin.Word] $BaseClass
 // CHECK:         [[MO:%.*]] = move_value [lexical] [var_decl] [[AL]] : $BaseClass
 // CHECK:         return [[MO]] : $BaseClass
 // CHECK:       } // end sil function 'test_alloc_ref_dynamic_without_upcast'
-sil [ossa] @test_alloc_ref_dynamic_without_upcast : $@convention(thin) (Int) -> @owned BaseClass {
-bb0(%0 : $Int):
+sil [ossa] @test_alloc_ref_dynamic_without_upcast : $@convention(thin) (Builtin.Word) -> @owned BaseClass {
+bb0(%0 : $Builtin.Word):
   %4 = metatype $@thick BaseClass.Type
-  %10 = struct_extract %0 : $Int, #Int._value
-  %11 = builtin "truncOrBitCast_Int64_Word"(%10 : $Builtin.Int64) : $Builtin.Word
-  %12 = alloc_ref_dynamic [tail_elems $Int * %11 : $Builtin.Word] %4 : $@thick BaseClass.Type, $BaseClass
+  %12 = alloc_ref_dynamic [tail_elems $Int * %0 : $Builtin.Word] %4 : $@thick BaseClass.Type, $BaseClass
   %13 = move_value [lexical] [var_decl] %12 : $BaseClass
   return %13 : $BaseClass
 }