require-layout-generic-arg-subscript.swift

// RUN: %target-swift-frontend -module-name test -enable-objc-interop -emit-ir -verify -primary-file %s %S/Inputs/require-layout-generic-class.swift | %FileCheck --check-prefixes=FILE1,FILE1-objc %s
// RUN: %target-swift-frontend -module-name test -enable-objc-interop -emit-ir -verify %s -primary-file %S/Inputs/require-layout-generic-class.swift | %FileCheck --check-prefix=FILE2 %s

// RUN: %target-swift-frontend -module-name test -disable-objc-interop -emit-ir -verify -primary-file %s %S/Inputs/require-layout-generic-class.swift | %FileCheck --check-prefixes=FILE1,FILE1-native %s
// RUN: %target-swift-frontend -module-name test -disable-objc-interop -emit-ir -verify %s -primary-file %S/Inputs/require-layout-generic-class.swift | %FileCheck --check-prefix=FILE2 %s

// RUN: %target-swift-frontend -module-name test -enable-objc-interop -emit-ir -verify -primary-file %s %S/Inputs/require-layout-generic-class.swift
// RUN: %target-swift-frontend -module-name test -disable-objc-interop -emit-ir -verify -primary-file %s %S/Inputs/require-layout-generic-class.swift

// REQUIRES: CPU=x86_64

// The offset of the typemetadata in the class typemetadata must match.

// FILE1: define hidden swiftcc i64 @"$s4test12AccessorTestCySiAA3SubCyxGcluig"(ptr %0, ptr swiftself %1)
// FILE1:   [[TYPEMETADATA:%.*]] = load ptr, ptr %0
// FILE1-objc:     [[T_IN_CLASSMETADATA:%.*]] = getelementptr inbounds ptr, ptr [[TYPEMETADATA]], i64 16
// FILE1-native:   [[T_IN_CLASSMETADATA:%.*]] = getelementptr inbounds ptr, ptr [[TYPEMETADATA]], i64 13
// FILE1:   [[T:%.*]] = load ptr, ptr [[T_IN_CLASSMETADATA]]
// FILE1:   call ptr @swift_getMetatypeMetadata(ptr [[T]])
public class AccessorTest {
  subscript<T>(_ a: Sub<T>) -> Int {
    get {
      print(T.self)
      return 1
    }
  }
}

// FILE2-LABEL: define internal ptr @"$s4test3SubCMi"(ptr %0, ptr %1, ptr %2)
// FILE2:   [[T:%.*]] = load ptr, ptr %1
// FILE2:   [[CLASSMETADATA:%.*]] = call ptr @swift_allocateGenericClassMetadata