[SILGen] Add a test case for materialized packs.

Author: hborla

test/SILGen/variadic-generic-tuples.swift

@@ -112,3 +112,56 @@ public struct Container<each T> {
 // CHECK-NEXT:    return [[RET]] : $()
 
 // CHECK-LABEL: sil {{.*}}@$s4main9ContainerV7storageAA6StoredVyxGxQp_tvM
+
+struct Wrapper<Value> {
+  let value: Value
+}
+
+// CHECK-LABEL: @$s4main17wrapTupleElementsyAA7WrapperVyxGxQp_txxQpRvzlF : $@convention(thin) <each T> (@pack_guaranteed Pack{repeat each T}) -> @pack_out Pack{repeat Wrapper<each T>}
+func wrapTupleElements<each T>(_ value: repeat each T) -> (repeat Wrapper<each T>) {
+  // CHECK: [[RETURN_VAL:%.*]] : $*Pack{repeat Wrapper<each T>}
+
+  // CHECK: [[VAR:%.*]] = alloc_stack [lexical] $(repeat each T)
+  let values = (repeat each value)
+
+  // Create a temporary for the 'values' in 'each values.element'
+  // CHECK: bb3:
+  // CHECK-NEXT: [[TEMP:%.*]] = alloc_stack $(repeat each T)
+  // CHECK-NEXT: copy_addr [[VAR]] to [init] [[TEMP]] : $*(repeat each T)
+
+  // Integer values for dynamic pack loop
+  // CHECK-NEXT: [[ZERO:%.*]] = integer_literal $Builtin.Word, 0
+  // CHECK-NEXT: [[ONE:%.*]] = integer_literal $Builtin.Word, 1
+  // CHECK-NEXT: [[PACK_LEN:%.*]] = pack_length $Pack{repeat each T}
+  // CHECK-NEXT: br bb4([[ZERO]] : $Builtin.Word)
+
+  // Loop condition
+  // CHECK: bb4([[INDEX:%.*]] : $Builtin.Word)
+  // CHECK-NEXT: [[INDEX_EQ_LEN:%.*]] = builtin "cmp_eq_Word"([[INDEX]] : $Builtin.Word, [[PACK_LEN]] : $Builtin.Word) : $Builtin.Int1
+  // CHECK-NEXT: cond_br [[INDEX_EQ_LEN]], bb6, bb5
+
+  // Loop body
+  // CHECK: bb5:
+  // CHECK-NEXT: [[CUR_INDEX:%.*]] = dynamic_pack_index [[INDEX]] of $Pack{repeat Wrapper<each T>}
+  // CHECK-NEXT: open_pack_element [[CUR_INDEX]] of <each T> at <Pack{repeat each T}>, shape $T, uuid [[UUID:".*"]]
+  // CHECK-NEXT: [[RETURN_VAL_ELT_ADDR:%.*]] = pack_element_get [[CUR_INDEX]] of [[RETURN_VAL]] : $*Pack{repeat Wrapper<each T>} as $*Wrapper<@pack_element([[UUID]]) T>
+  // CHECK-NEXT: [[METATYPE:%.*]] = metatype $@thin Wrapper<@pack_element([[UUID]]) T>.Type
+  // CHECK-NEXT: [[TUPLE_ELT_ADDR:%.*]] = tuple_pack_element_addr [[CUR_INDEX]] of [[TEMP]] : $*(repeat each T) as $*@pack_element([[UUID]]) T
+  // CHECK-NEXT: [[INIT_ARG:%.*]] = alloc_stack $@pack_element([[UUID]]) T
+  // CHECK-NEXT: copy_addr [[TUPLE_ELT_ADDR]] to [init] [[INIT_ARG]] : $*@pack_element([[UUID]]) T
+  // function_ref Wrapper.init(value:)
+  // CHECK: [[INIT:%.*]] = function_ref @$s4main7WrapperV5valueACyxGx_tcfC : $@convention(method) <τ_0_0> (@in τ_0_0, @thin Wrapper<τ_0_0>.Type) -> @out Wrapper<τ_0_0>
+  // CHECK-NEXT: apply [[INIT]]<@pack_element([[UUID]]) T>([[RETURN_VAL_ELT_ADDR]], [[INIT_ARG]], [[METATYPE]]) : $@convention(method) <τ_0_0> (@in τ_0_0, @thin Wrapper<τ_0_0>.Type) -> @out Wrapper<τ_0_0>
+  // CHECK-NEXT: dealloc_stack [[INIT_ARG]] : $*@pack_element([[UUID]]) T
+  // CHECK-NEXT: [[NEXT_INDEX:%.*]] = builtin "add_Word"([[INDEX]] : $Builtin.Word, [[ONE]] : $Builtin.Word) : $Builtin.Word
+  // CHECK-NEXT: br bb4([[NEXT_INDEX]] : $Builtin.Word)
+
+  return (repeat Wrapper(value: each values.element))
+
+  // CHECK: destroy_addr [[TEMP]] : $*(repeat each T)
+  // CHECK: dealloc_stack [[TEMP]] : $*(repeat each T)
+  // CHECK: destroy_addr [[VAR]] : $*(repeat each T)
+  // CHECK: dealloc_stack [[VAR]] : $*(repeat each T)
+  // CHECK-NEXT:    [[RET:%.*]] = tuple ()
+  // CHECK-NEXT:    return [[RET]] : $()
+}