mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7cceaff5f3
Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.
114 lines
5.0 KiB
Swift
114 lines
5.0 KiB
Swift
// RUN: %target-swift-frontend -Xllvm -sil-print-types -emit-sil -primary-file %s | %FileCheck %s
|
|
|
|
// Tests for the ForEachLoopUnroll mandatory optimization pass that unrolls
|
|
// Sequence.forEach calls over array literals.
|
|
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0D19LetArrayLiteralTestyyF : $@convention(thin) () -> ()
|
|
func unrollLetArrayLiteralTest() {
|
|
let a = [Int64(15), Int64(27)]
|
|
a.forEach { print($0) }
|
|
// CHECK: [[LIT1:%[0-9]+]] = integer_literal $Builtin.Int64, 15
|
|
// CHECK: [[INT1:%[0-9]+]] = struct $Int64 ([[LIT1]] : $Builtin.Int64)
|
|
// CHECK: [[LIT2:%[0-9]+]] = integer_literal $Builtin.Int64, 27
|
|
// CHECK: [[INT2:%[0-9]+]] = struct $Int64 ([[LIT2]] : $Builtin.Int64)
|
|
// CHECK-NOT: forEach
|
|
// CHECK: [[STACK:%[0-9]+]] = alloc_stack $Int64
|
|
// CHECK: store [[INT1]] to [[STACK]]
|
|
// CHECK: try_apply %{{.*}}([[STACK]]) : {{.*}}, normal [[NORMAL:bb[0-9]+]], error [[ERROR:bb[0-9]+]]
|
|
|
|
// CHECK: [[NORMAL]](%{{.*}} : $()):
|
|
// CHECK: store [[INT2]] to [[STACK]] : $*Int64
|
|
// CHECK: try_apply {{.*}}([[STACK]])
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0D35LetArrayLiteralWithVariableElements1x1yys5Int64V_AFtF
|
|
func unrollLetArrayLiteralWithVariableElements(x: Int64, y: Int64) {
|
|
let a = [x, y]
|
|
a.forEach { print($0) }
|
|
// CHECK-NOT: forEach
|
|
// CHECK: [[STACK:%[0-9]+]] = alloc_stack $Int64
|
|
// CHECK: store %0 to [[STACK]]
|
|
// CHECK: try_apply %{{.*}}([[STACK]]) : {{.*}}, normal [[NORMAL:bb[0-9]+]], error [[ERROR:bb[0-9]+]]
|
|
|
|
// CHECK: [[NORMAL]](%{{.*}} : $()):
|
|
// CHECK: store %1 to [[STACK]] : $*Int64
|
|
// CHECK: try_apply {{.*}}([[STACK]])
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0D37LetArrayLiteralWithNonTrivialElementsyyF
|
|
func unrollLetArrayLiteralWithNonTrivialElements() {
|
|
let a = ["a", "aa"]
|
|
a.forEach { print($0) }
|
|
// CHECK: [[LIT1:%[0-9]+]] = string_literal utf8 "a"
|
|
// CHECK: [[STRING_INIT:%[0-9]+]] = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC
|
|
// CHECK: [[STRING1:%[0-9]+]] = apply [[STRING_INIT]]([[LIT1]],
|
|
|
|
// CHECK: [[LIT2:%[0-9]+]] = string_literal utf8 "aa"
|
|
// CHECK: [[STRING_INIT2:%[0-9]+]] = function_ref @$sSS21_builtinStringLiteral17utf8CodeUnitCount7isASCIISSBp_BwBi1_tcfC
|
|
// CHECK: [[STRING2:%[0-9]+]] = apply [[STRING_INIT2]]([[LIT2]],
|
|
|
|
// CHECK-NOT: forEach
|
|
// CHECK: [[STACK:%[0-9]+]] = alloc_stack $String
|
|
// CHECK: store [[STRING1]] to [[STACK]] : $*String
|
|
// CHECK: try_apply %{{.*}}([[STACK]]) : {{.*}}, normal [[NORMAL:bb[0-9]+]], error [[ERROR:bb[0-9]+]]
|
|
|
|
// CHECK: [[NORMAL]](%{{.*}} : $()):
|
|
// CHECK: store [[STRING2]] to [[STACK]] : $*String
|
|
// CHECK: try_apply {{.*}}([[STACK]])
|
|
}
|
|
|
|
// This test mimics the array literal and forEach created by the OSLogOptimization pass.
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0D27LetArrayLiteralWithClosures1i1jys5Int32V_AFtF
|
|
func unrollLetArrayLiteralWithClosures(i: Int32, j: Int32) {
|
|
let a = [{ i } , { j }]
|
|
a.forEach { print($0()) }
|
|
// CHECK: [[ALLOCATE:%[0-9]+]] = function_ref @$ss27_allocateUninitializedArrayySayxG_BptBwlF
|
|
// CHECK: [[ARRAYTUP:%[0-9]+]] = apply [[ALLOCATE]]<() -> Int32>
|
|
// CHECK: [[ARRAYVAL:%[0-9]+]] = tuple_extract [[ARRAYTUP]] : $(Array<() -> Int32>, Builtin.RawPointer), 0
|
|
// CHECK: [[STORAGEPTR:%[0-9]+]] = tuple_extract [[ARRAYTUP]] : $(Array<() -> Int32>, Builtin.RawPointer), 1
|
|
// CHECK: [[MDI:%[0-9]+]] = mark_dependence [[STORAGEPTR]] : $Builtin.RawPointer on [[ARRAYVAL]] : $Array<() -> Int32>
|
|
// CHECK: [[STORAGEADDR:%[0-9]+]] = pointer_to_address [[MDI]]
|
|
// CHECK: store [[CLOSURE1:%[0-9]+]] to [[STORAGEADDR]]
|
|
// CHECK: [[INDEX1:%[0-9]+]] = index_addr [[STORAGEADDR]]
|
|
// CHECK: store [[CLOSURE2:%[0-9]+]] to [[INDEX1]]
|
|
|
|
// CHECK-NOT: forEach
|
|
// CHECK: [[STACK:%[0-9]+]] = alloc_stack
|
|
// CHECK: store [[CLOSURE1]] to [[STACK]]
|
|
// CHECK: try_apply %{{.*}}([[STACK]]) : ${{.*}}, normal [[NORMAL:bb[0-9]+]], error [[ERROR:bb[0-9]+]]
|
|
|
|
// CHECK: [[NORMAL]](%{{.*}} : $()):
|
|
// CHECK: store [[CLOSURE2]] to [[STACK]]
|
|
// CHECK: try_apply {{.*}}([[STACK]])
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0E16NoUnrollScenarioyyF
|
|
func testNoUnrollScenario() {
|
|
var a = [Int64(15), Int64(27)]
|
|
a.append(Int64(7))
|
|
a.forEach { print($0) }
|
|
// CHECK: forEach
|
|
}
|
|
|
|
// FIXME: Currently, array literals with address-only types cannot be unrolled
|
|
// as they are initialized using copy_addr instead of store.
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0E27UnrollingOfAddressOnlyTypes1x1yyx_xtlF
|
|
func testUnrollingOfAddressOnlyTypes<T>(x: T, y: T) {
|
|
let a = [x, y]
|
|
a.forEach { print($0) }
|
|
// CHECK: forEach
|
|
}
|
|
|
|
// Check that when there are multiple forEach loops they are unrolled.
|
|
// CHECK-LABEL: sil hidden @$s25for_each_loop_unroll_test0D13MultipleLoops1x1y1zys5Int64V_AGSbtF
|
|
func unrollMultipleLoops(x: Int64, y: Int64, z: Bool) {
|
|
let a = [x, y]
|
|
if z {
|
|
a.forEach { print($0) }
|
|
} else {
|
|
a.forEach{ print($0 + 1) }
|
|
}
|
|
// CHECK-NOT: forEach
|
|
// CHECK-LABEL: end sil function '$s25for_each_loop_unroll_test0D13MultipleLoops1x1y1zys5Int64V_AGSbtF'
|
|
}
|