mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
ccc691cc42
This allows to completely statically allocate multi-dimensional global arrays, like ``` var x = [[1, 2], [3, 4], [5, 6]] ```
102 lines
3.4 KiB
Swift
102 lines
3.4 KiB
Swift
// RUN: %target-swift-frontend -target %module-target-future -primary-file %s -O -sil-verify-all -disable-availability-checking -Xllvm -sil-disable-pass=FunctionSignatureOpts -module-name=test -emit-ir | %FileCheck %s
|
|
|
|
// Also do an end-to-end test to check all components, including IRGen.
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: %target-build-swift -target %target-future-triple -O -Xllvm -sil-disable-pass=FunctionSignatureOpts -module-name=test %s -o %t/a.out
|
|
// RUN: %target-run %t/a.out | %FileCheck %s -check-prefix=CHECK-OUTPUT
|
|
|
|
// REQUIRES: executable_test,swift_stdlib_no_asserts,optimized_stdlib
|
|
|
|
// Check if the optimizer is able to convert array literals to constant statically initialized arrays.
|
|
|
|
// CHECK-DAG: @"$s4test11arrayLookupyS2iFTv_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test11returnArraySaySiGyFTv_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test9passArrayyyFTv_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test9passArrayyyFTv0_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test10storeArrayyyFTv_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test3StrV9staticLet_WZTv_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test3StrV9staticVar_WZTv_r" = {{.*}} constant {{.*}} @"$ss20__StaticArrayStorageCN", {{.*}} @_swiftImmortalRefCount
|
|
// CHECK-DAG: @"$s4test3StrV9staticVarSaySiGvpZ" = global %TSa <{ %Ts12_ArrayBufferV <{ %Ts14_BridgeStorageV <{ ptr @"$s4test3StrV9staticVar_WZTv_r" }> }> }>
|
|
// CHECK-DAG: @"$s4test3StrV14twoDimensionalSaySaySiGGvpZ" = global %TSa <{ %Ts12_ArrayBufferV <{ %Ts14_BridgeStorageV <{ ptr @"$s4test3StrV14twoDimensional_WZTv{{[0-9]*}}_r" }> }> }>, align 8
|
|
|
|
// UNSUPPORTED: use_os_stdlib
|
|
|
|
// Currently, constant static arrays only work on Darwin platforms.
|
|
// REQUIRES: VENDOR=apple
|
|
|
|
|
|
public struct Str {
|
|
public static let staticLet = [ 200, 201, 202 ]
|
|
public static var staticVar = [ 300, 301, 302 ]
|
|
public static var twoDimensional = [[1, 2], [3, 4], [5, 6]]
|
|
}
|
|
|
|
@inline(never)
|
|
public func arrayLookup(_ i: Int) -> Int {
|
|
let lookupTable = [10, 11, 12]
|
|
return lookupTable[i]
|
|
}
|
|
|
|
@inline(never)
|
|
public func returnArray() -> [Int] {
|
|
return [20, 21]
|
|
}
|
|
|
|
@inline(never)
|
|
public func modifyArray() -> [Int] {
|
|
var a = returnArray()
|
|
a[1] = 27
|
|
return a
|
|
}
|
|
|
|
public var gg: [Int]?
|
|
|
|
@inline(never)
|
|
public func receiveArray(_ a: [Int]) {
|
|
gg = a
|
|
}
|
|
|
|
@inline(never)
|
|
public func passArray() {
|
|
receiveArray([27, 28])
|
|
receiveArray([29])
|
|
}
|
|
|
|
@inline(never)
|
|
public func storeArray() {
|
|
gg = [227, 228]
|
|
}
|
|
|
|
// CHECK-OUTPUT: [200, 201, 202]
|
|
print(Str.staticLet)
|
|
|
|
// CHECK-OUTPUT: [300, 301, 302]
|
|
print(Str.staticVar)
|
|
|
|
// CHECK-OUTPUT{LITERAL}: [[1, 2], [3, 4], [5, 6]]
|
|
print(Str.twoDimensional)
|
|
|
|
// CHECK-OUTPUT-NEXT: 11
|
|
print(arrayLookup(1))
|
|
|
|
// CHECK-OUTPUT-NEXT: [20, 21]
|
|
print(returnArray())
|
|
|
|
// CHECK-OUTPUT-NEXT: [20, 27]
|
|
// CHECK-OUTPUT-NEXT: [20, 27]
|
|
// CHECK-OUTPUT-NEXT: [20, 27]
|
|
// CHECK-OUTPUT-NEXT: [20, 27]
|
|
// CHECK-OUTPUT-NEXT: [20, 27]
|
|
for _ in 0..<5 {
|
|
print(modifyArray())
|
|
}
|
|
|
|
passArray()
|
|
// CHECK-OUTPUT-NEXT: [29]
|
|
print(gg!)
|
|
|
|
storeArray()
|
|
// CHECK-OUTPUT-NEXT: [227, 228]
|
|
print(gg!)
|
|
|