mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
737e596182
Add optional .ptrauth suffix patterns for arm64e pointer authentication on C function pointers. rdar://164947665
83 lines
5.6 KiB
Swift
83 lines
5.6 KiB
Swift
// Constant globals using @section
|
|
// RUN: %target-swift-frontend -emit-ir -primary-file %s -parse-as-library | %FileCheck %s
|
|
|
|
// integer literals
|
|
@section("mysection") let intLiteral1 = 42 // ok
|
|
@section("mysection") let intLiteral2: Int8 = 127 // ok
|
|
@section("mysection") let intLiteral3: Int16 = 32767 // ok
|
|
@section("mysection") let intLiteral4: Int32 = 2147483647 // ok
|
|
@section("mysection") let intLiteral5: Int64 = 9223372036854775807 // ok
|
|
@section("mysection") let intLiteral6: UInt = 42 // ok
|
|
@section("mysection") let intLiteral7: UInt8 = 255 // ok
|
|
@section("mysection") let intLiteral8: UInt16 = 65535 // ok
|
|
@section("mysection") let intLiteral9: UInt32 = 4294967295 // ok
|
|
@section("mysection") let intLiteral10: UInt64 = 18446744073709551615 // ok
|
|
|
|
// floating-point literals
|
|
@section("mysection") let floatLiteral1: Float = 3.14 // ok
|
|
@section("mysection") let floatLiteral2: Double = 2.718 // ok
|
|
|
|
// boolean literals
|
|
@section("mysection") let boolLiteral1 = true // ok
|
|
@section("mysection") let boolLiteral2 = false // ok
|
|
|
|
func foo() -> Int { return 42 }
|
|
func bar(x: Int) -> String { return "test" }
|
|
|
|
// function references
|
|
@section("mysection") let funcRef1 = foo // ok
|
|
@section("mysection") let funcRef2 = bar // ok
|
|
|
|
// closures
|
|
@section("mysection") let closure1 = { }
|
|
@section("mysection") let closure2 = { return 42 }
|
|
@section("mysection") let closure3 = { (x: Int) in return x + 1 }
|
|
@section("mysection") let closure4: () -> Void = { }
|
|
@section("mysection") let closure5: (Int) -> Int = { x in x * 2 }
|
|
@section("mysection") let closure6: @convention(c) (Int) -> Int = { x in x * 2 }
|
|
struct W {
|
|
@section("mysection") static let closure7: @convention(c) (Int) -> Int = { x in x * 2 }
|
|
}
|
|
|
|
// metatypes - TODO
|
|
//@section("mysection") let metatype1 = Int.self
|
|
|
|
// tuples
|
|
@section("mysection") let tuple1 = (1, 2, 3, 2.718, true) // ok
|
|
@section("mysection") let tuple2: (Int, Float, Bool) = (42, 3.14, false) // ok
|
|
@section("mysection") let tuple3 = (foo, bar) // ok (function references in tuple)
|
|
|
|
// inline array
|
|
@available(SwiftStdlib 6.2, *)
|
|
@section("mysection") let inlineArray: InlineArray = [1, 2, 3] // ok
|
|
|
|
// CHECK: @"$s9SectionIR11intLiteral1Sivp" = {{.*}}constant %TSi <{ {{i64|i32}} 42 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral2s4Int8Vvp" = {{.*}}constant %Ts4Int8V <{ i8 127 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral3s5Int16Vvp" = {{.*}}constant %Ts5Int16V <{ i16 32767 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral4s5Int32Vvp" = {{.*}}constant %Ts5Int32V <{ i32 2147483647 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral5s5Int64Vvp" = {{.*}}constant %Ts5Int64V <{ i64 9223372036854775807 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral6Suvp" = {{.*}}constant %TSu <{ {{i64|i32}} 42 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral7s5UInt8Vvp" = {{.*}}constant %Ts5UInt8V <{ i8 -1 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral8s6UInt16Vvp" = {{.*}}constant %Ts6UInt16V <{ i16 -1 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11intLiteral9s6UInt32Vvp" = {{.*}}constant %Ts6UInt32V <{ i32 -1 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR12intLiteral10s6UInt64Vvp" = {{.*}}constant %Ts6UInt64V <{ i64 -1 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR13floatLiteral1Sfvp" = {{.*}}constant %TSf <{ float 0x40091EB860000000 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR13floatLiteral2Sdvp" = {{.*}}constant %TSd <{ double 2.718000e+00 }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR12boolLiteral1Sbvp" = {{.*}}constant %TSb <{ i1 true }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR12boolLiteral2Sbvp" = {{.*}}constant %TSb zeroinitializer, section "mysection"
|
|
// CHECK: @"$s9SectionIR8funcRef1Siycvp" = {{.*}}constant %swift.function { ptr @"$s9SectionIR3fooSiyF{{.*}}", ptr null }, section "mysection"
|
|
// CHECK: @"$s9SectionIR8funcRef2ySSSicvp" = {{.*}}constant %swift.function { ptr @"$s9SectionIR3bar1xSSSi_tF{{.*}}", ptr null }, section "mysection"
|
|
|
|
// CHECK: @"$s9SectionIR8closure1yycvp" = {{.*}}constant %swift.function { {{.*}} }, section "mysection"
|
|
// CHECK: @"$s9SectionIR8closure2Siycvp" = {{.*}}constant %swift.function { {{.*}} }, section "mysection"
|
|
// CHECK: @"$s9SectionIR8closure3yS2icvp" = {{.*}}constant %swift.function { {{.*}} }, section "mysection"
|
|
// CHECK: @"$s9SectionIR8closure4yycvp" = {{.*}}constant %swift.function { {{.*}} }, section "mysection"
|
|
// CHECK: @"$s9SectionIR8closure5yS2icvp" = {{.*}}constant %swift.function { {{.*}} }, section "mysection"
|
|
// CHECK: @"$s9SectionIR8closure6yS2iXCvp" = {{.*}}constant ptr @"$s9SectionIR8closure6yS2iXCvpfiS2icfU_To{{(.ptrauth)?}}", section "mysection"
|
|
// CHECK: @"$s9SectionIR1WV8closure7yS2iXCvpZ" = {{.*}}constant ptr @"$s9SectionIR1WV8closure7yS2iXCvpZfiS2icfU_To{{(.ptrauth)?}}", section "mysection"
|
|
|
|
// CHECK: @"$s9SectionIR6tuple1Si_S2iSdSbtvp" = {{.*}}constant <{ %TSi, %TSi, %TSi, {{.*}} }> <{ %TSi <{ {{i64|i32}} 1 }>, %TSi <{ {{i64|i32}} 2 }>, %TSi <{ {{i64|i32}} 3 }>, {{.*}} }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR6tuple2Si_SfSbtvp" = {{.*}}constant <{ %TSi, %TSf, %TSb }> <{ %TSi <{ {{i64|i32}} 42 }>, %TSf <{ float 0x40091EB860000000 }>, %TSb zeroinitializer }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR6tuple3Siyc_SSSictvp" = {{.*}}constant <{ %swift.function, %swift.function }> <{ %swift.function { ptr @"$s9SectionIR3fooSiyF{{.*}}", ptr null }, %swift.function { ptr @"$s9SectionIR3bar1xSSSi_tF{{.*}}", ptr null } }>, section "mysection"
|
|
// CHECK: @"$s9SectionIR11inlineArrays06InlineD0Vy$2_SiGvp" = {{.*}}constant %"Ts11InlineArrayVy$2_SiG" <{ [3 x %TSi] [%TSi <{ {{i64|i32}} 1 }>, %TSi <{ {{i64|i32}} 2 }>, %TSi <{ {{i64|i32}} 3 }>] }>, section "mysection"
|