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.
55 lines
2.0 KiB
Swift
55 lines
2.0 KiB
Swift
// RUN: %target-swift-frontend -Xllvm -sil-print-types -emit-silgen %s | %FileCheck %s
|
|
|
|
// https://github.com/apple/swift/issues/60514
|
|
// Make sure that `makeIterator` witness is picked over the non-witness.
|
|
|
|
public protocol VectorSectionReader: Sequence where Element == Result<Item, Error> {
|
|
associatedtype Item
|
|
var count: UInt32 { get }
|
|
mutating func read() throws -> Item
|
|
}
|
|
|
|
public struct VectorSectionIterator<Reader: VectorSectionReader>: IteratorProtocol {
|
|
private(set) var reader: Reader
|
|
private(set) var left: UInt32
|
|
|
|
init(reader: Reader, count: UInt32) {
|
|
self.reader = reader
|
|
self.left = count
|
|
}
|
|
|
|
private var end: Bool = false
|
|
public mutating func next() -> Reader.Element? {
|
|
guard !end else { return nil }
|
|
guard left != 0 else { return nil }
|
|
let result = Result(catching: { try reader.read() })
|
|
left -= 1
|
|
switch result {
|
|
case .success: return result
|
|
case .failure:
|
|
end = true
|
|
return result
|
|
}
|
|
}
|
|
}
|
|
|
|
extension VectorSectionReader {
|
|
__consuming public func makeIterator() -> VectorSectionIterator<Self> {
|
|
VectorSectionIterator(reader: self, count: count)
|
|
}
|
|
|
|
// CHECK: sil [ossa] @$s4main19VectorSectionReaderPAAE7collectSay4ItemQzGyKF
|
|
public func collect() throws -> [Item] {
|
|
var items: [Item] = []
|
|
items.reserveCapacity(Int(count))
|
|
for result in self {
|
|
// CHECK: [[ITERATOR:%.*]] = project_box {{.*}} : $<τ_0_0 where τ_0_0 : VectorSectionReader> { var τ_0_0.Iterator } <Self>, 0
|
|
// CHECK-NEXT: [[SELF:%.*]] = alloc_stack $Self
|
|
// CHECK: [[MAKE_ITERATOR_REF:%.*]] = witness_method $Self, #Sequence.makeIterator : <Self where Self : Sequence> (__owned Self) -> () -> Self.Iterator : $@convention(witness_method: Sequence) <τ_0_0 where τ_0_0 : Sequence> (@in τ_0_0) -> @out τ_0_0.Iterator
|
|
// CHECK-NEXT: apply [[MAKE_ITERATOR_REF]]<Self>([[ITERATOR]], [[SELF]]) : $@convention(witness_method: Sequence) <τ_0_0 where τ_0_0 : Sequence> (@in τ_0_0) -> @out τ_0_0.Iterator
|
|
try items.append(result.get())
|
|
}
|
|
return items
|
|
}
|
|
}
|