| |
| // RUN: %empty-directory(%t) |
| // RUN: %target-swift-frontend -emit-module -parse-stdlib -o %t %S/Inputs/def_transparent_std.swift |
| // RUN: llvm-bcanalyzer %t/def_transparent_std.swiftmodule | %FileCheck %s |
| // RUN: %target-swift-frontend -emit-sil -sil-debug-serialization -parse-stdlib -I %t %s | %FileCheck %s -check-prefix=SIL |
| |
| // CHECK-NOT: UnknownCode |
| |
| import def_transparent_std |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std3foo1x1yBi1_Bi1__Bi1_tF : $@convention(thin) (Builtin.Int1, Builtin.Int1) -> Builtin.Int1 { |
| // SIL: = builtin "cmp_eq_Int1"(%0 : $Builtin.Int1, %1 : $Builtin.Int1) : $Builtin.Int1 |
| func test_foo(x: Builtin.Int1, y: Builtin.Int1) -> Builtin.Int1 { |
| var a = foo(x: x, y: y) |
| return a |
| } |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std12assign_tuple1x1yyBi64__Bot_BptF : $@convention(thin) (Builtin.Int64, @guaranteed Builtin.NativeObject, Builtin.RawPointer) -> () { |
| // SIL: bb0([[ARG0:%.*]] : ${{.*}}, [[ARG1:%.*]] : ${{.*}}, [[ARG2:%.*]] : |
| // SIL: [[TUP:%.*]] = tuple ([[ARG0]] : $Builtin.Int64, [[ARG1]] : $Builtin.NativeObject) |
| // SIL: retain_value [[TUP]] |
| // SIL: [[CASTED_PTR:%.*]] = pointer_to_address [[ARG2]] |
| // SIL: [[CASTED_PTR_0:%.*]] = tuple_element_addr [[CASTED_PTR]] : $*(Builtin.Int64, Builtin.NativeObject), 0 |
| // SIL: store [[ARG0]] to [[CASTED_PTR_0]] |
| // SIL: [[CASTED_PTR_1:%.*]] = tuple_element_addr [[CASTED_PTR]] : $*(Builtin.Int64, Builtin.NativeObject), 1 |
| // SIL: [[OLD_VALUE:%.*]] = load [[CASTED_PTR_1]] |
| // SIL: store [[ARG1]] to [[CASTED_PTR_1]] |
| // SIL: strong_release [[OLD_VALUE]] |
| // SIL: } // end sil function '$s19def_transparent_std12assign_tuple1x1yyBi64__Bot_BptF' |
| func test_tuple(x: (Builtin.Int64, Builtin.NativeObject), |
| y: Builtin.RawPointer) { |
| assign_tuple(x: x, y: y) |
| } |
| |
| func test_conversion(c: C, t32: Builtin.Int32) { |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std22class_to_native_object1cBoAA1CC_tF : $@convention(thin) (@guaranteed C) -> @owned Builtin.NativeObject { |
| // SIL: bb0(%0 : $C): |
| // SIL-NEXT: strong_retain |
| // SIL-NEXT: unchecked_ref_cast %0 : $C to $Builtin.NativeObject |
| // SIL-NEXT: return |
| var b = class_to_native_object(c: c) |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std24class_from_native_object1pAA1CCBo_tF : $@convention(thin) (@guaranteed Builtin.NativeObject) -> @owned C { |
| // SIL: unchecked_ref_cast %0 : $Builtin.NativeObject to $C |
| var c = class_from_native_object(p: b) |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std20class_to_raw_pointer1cBpAA1CC_tF : $@convention(thin) (@guaranteed C) -> Builtin.RawPointer { |
| // SIL: ref_to_raw_pointer %0 : $C to $Builtin.RawPointer |
| var d = class_to_raw_pointer(c: c) |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std22class_from_raw_pointer1pAA1CCBp_tF : $@convention(thin) (Builtin.RawPointer) -> @owned C { |
| // SIL: raw_pointer_to_ref %0 : $Builtin.RawPointer to $C |
| var e = class_from_raw_pointer(p: d) |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std5gep321p1iBpBp_Bi32_tF : $@convention(thin) (Builtin.RawPointer, Builtin.Int32) -> Builtin.RawPointer { |
| // SIL: index_raw_pointer %0 : $Builtin.RawPointer, %1 : $Builtin.Int32 |
| var f = gep32(p: d, i: t32) |
| |
| // SIL-LABEL: sil public_external [transparent] [serialized] [canonical] @$s19def_transparent_std11destroy_obj1xyBp_tF : $@convention(thin) (Builtin.RawPointer) -> () { |
| // SIL: pointer_to_address %0 : $Builtin.RawPointer to [strict] $*Builtin.NativeObject |
| destroy_obj(x: d) |
| } |