test/IRGen/enum_value_semantics_special_cases_objc.sil

// RUN: %target-swift-frontend %s -enable-objc-interop -emit-ir | %FileCheck %s

// REQUIRES: CPU=x86_64

import Builtin

// ObjC payloads can be nullable too.
enum NullableObjCRefcounted {
  case Ref(Builtin.UnknownObject)
  case None
}
// CHECK-LABEL: define internal void @"$s39enum_value_semantics_special_cases_objc22NullableObjCRefcountedOwxx"(%swift.opaque* noalias %object, %swift.type* %NullableObjCRefcounted) {{.*}} {
// CHECK: entry:
// CHECK:   %0 = bitcast %swift.opaque* %object to %T39enum_value_semantics_special_cases_objc22NullableObjCRefcountedO*
// CHECK:   %1 = bitcast %T39enum_value_semantics_special_cases_objc22NullableObjCRefcountedO* %0 to %objc_object**
// CHECK:   %2 = load %objc_object*, %objc_object** %1, align 8
// CHECK:   call void @swift_unknownObjectRelease(%objc_object* %2) {{#[0-9]+}}
// CHECK:   ret void
// CHECK: }

class C {}
sil_vtable C {}

sil @$s39enum_value_semantics_special_cases_objc1CCfD : $@convention(method) (C) -> ()

enum AllMixedRefcounted {
  case Ref(Builtin.NativeObject)
  case CRef(C)
  case ORef(Builtin.UnknownObject)
  case None
}

// CHECK-LABEL: define internal void @"$s39enum_value_semantics_special_cases_objc18AllMixedRefcountedOwxx"(%swift.opaque* noalias %object, %swift.type* %AllMixedRefcounted) {{.*}} {
// CHECK: entry:
// CHECK:   %0 = bitcast %swift.opaque* %object to %T39enum_value_semantics_special_cases_objc18AllMixedRefcountedO*
// CHECK:   %1 = bitcast %T39enum_value_semantics_special_cases_objc18AllMixedRefcountedO* %0 to i64*
// CHECK:   %2 = load i64, i64* %1, align 8
// CHECK:   %3 = lshr i64 %2, 62
// CHECK:   %4 = trunc i64 %3 to i8
// CHECK:   %5 = and i8 %4, 3
// CHECK:   call void @"$s39enum_value_semantics_special_cases_objc18AllMixedRefcountedOWOe"(i64 %2)
// CHECK:   ret void
// CHECK: }

enum AllMixedRefcountedTwoSimple {
  case Ref(Builtin.NativeObject)
  case CRef(C)
  case ORef(Builtin.UnknownObject)
  case None
  case Nothing
}

// CHECK-LABEL: define internal void @"$s39enum_value_semantics_special_cases_objc27AllMixedRefcountedTwoSimpleOwxx"
// CHECK:   call void @"$s39enum_value_semantics_special_cases_objc27AllMixedRefcountedTwoSimpleOWOy"

struct Val {
}

// Currently, swift_unknownObjectRelease does not support the indirect heap object.

enum MixedRefcountedWithIndirect {
  indirect case Indirect(Builtin.Int64)
  case Ref(Builtin.UnknownObject)
  case None
}

// CHECK-LABEL: define internal void @"$s39enum_value_semantics_special_cases_objc27MixedRefcountedWithIndirectOwxx"(%swift.opaque* noalias %object, %swift.type* %MixedRefcountedWithIndirect)
// CHECK: entry:
// CHECK:   %0 = bitcast %swift.opaque* %object to %T39enum_value_semantics_special_cases_objc27MixedRefcountedWithIndirectO*
// CHECK:   %1 = bitcast %T39enum_value_semantics_special_cases_objc27MixedRefcountedWithIndirectO* %0 to i64*
// CHECK:   %2 = load i64, i64* %1, align 8
// CHECK:   %3 = lshr i64 %2, 62
// CHECK:   %4 = trunc i64 %3 to i8
// CHECK:   %5 = and i8 %4, 3
// CHECK:   call void @"$s39enum_value_semantics_special_cases_objc27MixedRefcountedWithIndirectOWOe"(i64 %2)
// CHECK:   ret void
// CHECK: }


// CHECK-LABEL: define linkonce_odr hidden void @"$s39enum_value_semantics_special_cases_objc27MixedRefcountedWithIndirectOWOe"(i64)
// CHECK: entry:
// CHECK:   %1 = lshr i64 %0, 62
// CHECK:   %2 = trunc i64 %1 to i8
// CHECK:   %3 = and i8 %2, 3
// CHECK:   switch i8 %3, label %9 [
// CHECK:     i8 0, label %4
// CHECK:     i8 1, label %6
// CHECK:   ]

// CHECK: ; <label>:4:
// CHECK:   %5 = inttoptr i64 %0 to %swift.refcounted*
// CHECK:   call void @swift_release(%swift.refcounted* %5) #1
// CHECK:   br label %9

// CHECK: ; <label>:6:
// CHECK:   %7 = and i64 %0, 4611686018427387903
// CHECK:   %8 = inttoptr i64 %7 to %objc_object*
// CHECK:   call void @swift_unknownObjectRelease(%objc_object* %8) #1
// CHECK:   br label %9

// CHECK: ; <label>:9:
// CHECK:   ret void