test/IRGen/typemetadata.sil

// RUN: %target-swift-frontend -assume-parsing-unqualified-ownership-sil -emit-ir %s | %FileCheck %s
// RUN: %target-swift-frontend -Osize -assume-parsing-unqualified-ownership-sil -emit-ir %s | %FileCheck %s --check-prefix=OSIZE

// REQUIRES: CPU=x86_64
// XFAIL: linux

sil_stage canonical

import Builtin

struct S {}

class C {}
sil_vtable C {}

sil @_TFC12typemetadata1Cd : $@convention(method) (@owned C) -> @owned Builtin.NativeObject

sil @_TFC12typemetadata1CD : $@convention(method) (@owned C) -> ()

sil @test0 : $@convention(thin) () -> () {
bb0:
  %0 = metatype $@thin S.Type
  %1 = metatype $@thick C.Type
  %2 = metatype $@thick (S, C).Type
  %100 = tuple ()
  return %100 : $()
}

// CHECK-LABEL: define hidden %swift.type* @_T012typemetadata1CCMa()
// CHECK:      [[T0:%.*]] = load %swift.type*, %swift.type**  @_T012typemetadata1CCML, align 8
// CHECK-NEXT: [[T1:%.*]] = icmp eq %swift.type* [[T0]], null
// CHECK-NEXT: br i1 [[T1]]
// CHECK:      [[T0:%.*]] = call %objc_class* @swift_rt_swift_getInitializedObjCClass({{.*}} @_T012typemetadata1CCMf, {{.*}})
// CHECK-NEXT: [[T1:%.*]] = bitcast %objc_class* [[T0]] to %swift.type*
// CHECK:      store atomic %swift.type* [[T1]], %swift.type** @_T012typemetadata1CCML release, align 8
// CHECK-NEXT: br label
// CHECK:      [[RES:%.*]] = phi
// CHECK-NEXT: ret %swift.type* [[RES]]

// CHECK-LABEL: define linkonce_odr hidden %swift.type* @_T012typemetadata1SV_AA1CCtMa()
// CHECK:      [[T0:%.*]] = load %swift.type*, %swift.type**  @_T012typemetadata1SV_AA1CCtML, align 8
// CHECK-NEXT: [[T1:%.*]] = icmp eq %swift.type* [[T0]], null
// CHECK-NEXT: br i1 [[T1]]
// CHECK:      [[T0:%.*]] = call %swift.type* @_T012typemetadata1CCMa()
// CHECK-NEXT: [[T1:%.*]] = call %swift.type* @swift_getTupleTypeMetadata2(%swift.type* {{.*}} @_T012typemetadata1SVMf, {{.*}} %swift.type* [[T0]], i8* null, i8** null)
// CHECK-NEXT: store atomic %swift.type* [[T1]], %swift.type** @_T012typemetadata1SV_AA1CCtML release, align 8
// CHECK-NEXT: br label
// CHECK:      [[RES:%.*]] = phi
// CHECK-NEXT: ret %swift.type* [[RES]]


// OSIZE: define hidden %swift.type* @_T012typemetadata1CCMa() [[ATTR:#[0-9]+]] {
// OSIZE: [[ATTR]] = {{{.*}}noinline