mirror of
https://github.com/apple/swift.git
synced 2026-10-28 21:15:56 +01:00
Kavon Farvardin
d2bd562799
The opaque values test coverage I initially added will emit to stdout, which is noisy for people's logs if the test is failing for some other reason.
66 lines
2.7 KiB
Swift
66 lines
2.7 KiB
Swift
// RUN: %target-swift-emit-silgen-ossa -o /dev/null -enable-sil-opaque-values %s
|
|
// RUN: %target-swift-emit-silgen -swift-version 4 %s | %FileCheck %s
|
|
|
|
// rdar://33265254
|
|
|
|
// Check for the total absence of access markers here.
|
|
// FIXME: probably we should have some markers that just disable even static checking
|
|
|
|
var global = 0
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing6testEq3ptrSbSV_tF
|
|
func testEq(ptr: UnsafeRawPointer) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global == ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing7testNeq3ptrSbSV_tF
|
|
func testNeq(ptr: UnsafeRawPointer) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global != ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing6testEq3ptrSbSv_tF
|
|
func testEq(ptr: UnsafeMutableRawPointer) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global == ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing7testNeq3ptrSbSv_tF
|
|
func testNeq(ptr: UnsafeMutableRawPointer) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global != ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing6testEq3ptrSbSPySiG_tF
|
|
func testEq(ptr: UnsafePointer<Int>) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global == ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing7testNeq3ptrSbSPySiG_tF
|
|
func testNeq(ptr: UnsafePointer<Int>) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global != ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing6testEq3ptrSbSpySiG_tF
|
|
func testEq(ptr: UnsafeMutablePointer<Int>) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global == ptr
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s31pointer_conversion_nonaccessing7testNeq3ptrSbSpySiG_tF
|
|
func testNeq(ptr: UnsafeMutablePointer<Int>) -> Bool {
|
|
// CHECK: [[T0:%.*]] = global_addr @$s31pointer_conversion_nonaccessing6globalSiv
|
|
// CHECK: address_to_pointer [stack_protection] [[T0]]
|
|
return &global != ptr
|
|
}
|