Merge pull request #6986 from eeckstein/fix-assertion-testcase

Author: swift-ci

test/IRGen/tail_alloc.sil

@@ -160,6 +160,25 @@ bb0(%0 : $TestClass, %1 : $@thick T.Type):
   return %p : $Builtin.RawPointer
 }
 
+struct Str<T> {
+  var t: T
+}
+
+// CHECK-LABEL: define{{( protected)?}} i8* @project_tail_generic_struct
+// CHECK:      [[S1:%[0-9]+]] = add i64 17, %flags.alignmentMask
+// CHECK-NEXT: [[S2:%[0-9]+]] = xor i64 %flags.alignmentMask, -1
+// CHECK-NEXT: [[S3:%[0-9]+]] = and i64 [[S1]], [[S2]]
+// CHECK-NEXT: [[S4:%[0-9]+]] = bitcast %{{.*}}* %0 to i8*
+// CHECK-NEXT: [[S5:%[0-9]+]] = getelementptr inbounds i8, i8* [[S4]], i64 [[S3]]
+// CHECK-NEXT: %tailaddr = bitcast i8* [[S5]] to %{{.*}}Str
+// CHECK: ret
+sil @project_tail_generic_struct : $@convention(thin) <T> (TestClass, @thick T.Type) -> Builtin.RawPointer {
+bb0(%0 : $TestClass, %1 : $@thick T.Type):
+  %a = ref_tail_addr %0 : $TestClass, $Str<T>
+  %p = address_to_pointer %a : $*Str<T> to $Builtin.RawPointer
+  return %p : $Builtin.RawPointer
+}
+
 // CHECK-LABEL: define{{( protected)?}} void @project_tail_index_byte_to_int
 // CHECK:      [[S1:%[0-9]+]] = bitcast i8* %0 to %Vs4Int8*
 // CHECK-NEXT: [[S2:%[0-9]+]] = getelementptr inbounds %Vs4Int8, %Vs4Int8* [[S1]], i64 2
@@ -179,6 +198,22 @@ bb0(%0 : $Builtin.RawPointer, %1 : $Int32):
   return %r : $()
 }
 
+// CHECK-LABEL: define{{( protected)?}} i8* @project_tail_index_generic_struct
+// CHECK: call %swift.type* @{{.*Str.*}}(%swift.type* %T)
+// CHECK: load
+// CHECK: and
+// CHECK: xor
+// CHECK: and
+// CHECK: ret
+sil @project_tail_index_generic_struct : $@convention(thin) <T> (Builtin.RawPointer, @thick T.Type) -> Builtin.RawPointer {
+bb0(%0 : $Builtin.RawPointer, %1 : $@thick T.Type):
+  %a1 = pointer_to_address %0 : $Builtin.RawPointer to [strict] $*Int8
+  %c = integer_literal $Builtin.Word, 2
+  %a2 = tail_addr %a1 : $*Int8, %c : $Builtin.Word, $Str<T>
+  %p = address_to_pointer %a2 : $*Str<T> to $Builtin.RawPointer
+  return %p : $Builtin.RawPointer
+}
+
 // sizeof(EmptyClass) = 16 bytes
 class EmptyClass {
 }