mirror of
https://github.com/apple/swift.git
synced 2026-02-27 18:26:24 +01:00
0bbd35242c
This change adds an experimental feature 'LiteralExpressions` which allows for use of simple binary expressions of integer type composed of literal value operands. For now, such literal expressions are only supported in initializers of '@section` values.
205 lines
9.5 KiB
Swift
205 lines
9.5 KiB
Swift
// Constant globals using @section
|
|
// RUN: %target-swift-frontend -emit-ir -primary-file %s -parse-as-library -verify
|
|
|
|
// 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
|
|
|
|
// magic literals
|
|
@section("mysection") let invalidNonLiteral4 = #line
|
|
|
|
// operators (should be rejected)
|
|
@section("mysection") let invalidOperator1 = 1 + 1
|
|
// expected-error@-1{{unsupported operator in a literal expression}}
|
|
@section("mysection") let invalidOperator2 = 3.14 * 2.0
|
|
// expected-error@-1{{unsupported operator in a literal expression}}
|
|
@section("mysection") let invalidOperator3: Int = -(1)
|
|
// expected-error@-1{{unsupported operator in a literal expression}}
|
|
|
|
// non-literal expressions (should be rejected)
|
|
@section("mysection") let invalidNonLiteral1 = Int.max
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidNonLiteral2 = UInt64(42)
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let invalidNonLiteral3 = true.hashValue
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
func foo() -> Int { return 42 }
|
|
func bar(x: Int) -> String { return "test" }
|
|
|
|
// global function references
|
|
@section("mysection") let funcRef1 = foo // ok
|
|
@section("mysection") let funcRef2 = bar // ok
|
|
@section("mysection") let funcRef3: ()->Int = foo // ok
|
|
@section("mysection") let funcRef4: @convention(c) ()->Int = foo // ok
|
|
|
|
struct Q {
|
|
func memberFunc() {}
|
|
static func staticFunc() {}
|
|
func genericFunc<T>(t: T) {}
|
|
static func staticGenericFunc<T>(t: T) {}
|
|
}
|
|
|
|
// non-global function references
|
|
@section("mysection") let staticFuncRef1 = Q.staticFunc // ok
|
|
extension Q { @section("mysection") static let staticFuncRef2 = staticFunc } // ok
|
|
@section("mysection") let staticFuncRef3 = Bool.random // ok
|
|
|
|
// invalid function references (should be rejected)
|
|
@section("mysection") let invalidFuncRef1 = foo()
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidFuncRef2 = Bool.self.random
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidFuncRef3 = (Bool.self as Bool.Type).random
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidFuncRef4 = Q.memberFunc
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
extension Q { @section("mysection") static let invalidFuncRef5 = memberFunc }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
extension Q { @section("mysection") static let invalidFuncRef6: (Int)->() = genericFunc(Q()) }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
extension Q { @section("mysection") static let invalidFuncRef7: (Q) -> (Int) -> () = genericFunc }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
extension Q { @section("mysection") static let invalidFuncRef8: (Int)->() = staticGenericFunc }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
// generic function references (should be rejected)
|
|
@section("mysection") let invalidGenericFunc = [Int].randomElement
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
// closures
|
|
@section("mysection") let closure1 = { } // ok
|
|
@section("mysection") let closure2 = { return 42 } // ok
|
|
@section("mysection") let closure3 = { (x: Int) in return x + 1 } // ok
|
|
@section("mysection") let closure4: () -> Void = { } // ok
|
|
@section("mysection") let closure5: (Int) -> Int = { x in x * 2 } // ok
|
|
@section("mysection") let closure6: @convention(c) (Int) -> Int = { x in x * 2 } // ok
|
|
struct W {
|
|
@section("mysection") static let closure7: @convention(c) (Int) -> Int = { x in x * 2 } // ok
|
|
}
|
|
func g() {
|
|
@Sendable func f() { }
|
|
@Sendable func h() async { }
|
|
enum E {
|
|
@section("mysection") static let record: @convention(c) () -> () = { f() } // ok
|
|
@section("mysection") static let record2: @convention(c) () -> () = { _ = h } // ok
|
|
}
|
|
}
|
|
|
|
let capturedVar = 10
|
|
class TestClass {}
|
|
var capturedMutableVar = TestClass()
|
|
|
|
// closures with captures (should be rejected)
|
|
@section("mysection") let invalidClosure1 = { capturedVar }
|
|
// expected-error@-1{{closures with captures not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure2 = { return capturedVar + 1 }
|
|
// expected-error@-1{{closures with captures not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure3 = { [capturedVar] in return capturedVar }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure4 = { [weak capturedMutableVar] in return capturedMutableVar }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure5 = { [unowned capturedMutableVar] in return capturedMutableVar }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure6 = { [capturedVar, capturedMutableVar] in return 42 }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure7 = { [renamed = capturedVar] in return renamed * 2 }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidClosure8 = { [computed = capturedVar + 5] in return computed }
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
struct S { }
|
|
enum E { case a }
|
|
|
|
// metatypes
|
|
@section("mysection") let metatype1 = Int.self // ok
|
|
|
|
// invalid metatype references
|
|
@section("mysection") let invalidMetatype1 = Int.self.self
|
|
// expected-error@-1{{type expressions not supported in a literal expression}}
|
|
@section("mysection") let invalidMetatype2 = (1 == 1 ? Int.self : Int.self).self
|
|
// expected-error@-1{{type expressions not supported in a literal expression}}
|
|
@section("mysection") let invalidMetatype3 = Array<Int>.self // generic
|
|
// expected-error@-1{{type expressions not supported in a literal expression}}
|
|
@section("mysection") let invalidMetatype4 = Mirror.self // resilient
|
|
// expected-error@-1{{type expressions not supported in a literal expression}}
|
|
|
|
// 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)
|
|
@section("mysection") let tuple4 = (1 as UInt8, 2 as UInt8, 3 as UInt8) // ok
|
|
|
|
// invalid tuples (should be rejected)
|
|
@section("mysection") let invalidTuple1 = (1, 2, Int.max)
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidTuple2 = (1 + 1, 2)
|
|
// expected-error@-1{{unsupported operator in a literal expression}}
|
|
|
|
let someVar = 42
|
|
|
|
// variables (should be rejected)
|
|
@section("mysection") let invalidVarRef = someVar
|
|
// expected-error@-1{{unable to resolve variable reference in a literal expression}}
|
|
|
|
struct MyCustomExpressibleByIntegerLiteral: ExpressibleByIntegerLiteral {
|
|
init(integerLiteral value: Int) {}
|
|
}
|
|
|
|
// custom types (should be rejected)
|
|
@section("mysection") let invalidCustomType1: MyCustomExpressibleByIntegerLiteral = 42
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let invalidCustomType2: E = E.a
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
@section("mysection") let invalidCustomType3: S = S()
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
// other standard types (should be rejected)
|
|
@section("mysection") let invalidString = "hello"
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let invalidArray = [1, 2, 3]
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let invalidDict = ["key": "value"]
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
// inline array
|
|
@available(SwiftStdlib 6.2, *)
|
|
@section("mysection") let inlineArray: InlineArray = [1, 2, 3] // ok
|
|
|
|
// invalid inline array (should be rejected)
|
|
@available(SwiftStdlib 6.2, *)
|
|
@section("mysection") let invalidInlineArray: InlineArray = [1, 2, 3, Int.max]
|
|
// expected-error@-1{{not supported in a literal expression}}
|
|
|
|
// optionals (should be rejected)
|
|
@section("mysection") let optional1: Int? = 42
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let optional2: Int? = nil
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let optional3: Double? = 3.14
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let optional4: Bool? = true
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let optional5: Bool? = false
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let optional6: Int? = 1 + 1
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|
|
@section("mysection") let optional7: Int? = Int.max
|
|
// expected-error@-1{{unsupported type in a literal expression}}
|