archetype.swift

// RUN: %target-swift-frontend -primary-file %s -emit-ir -g -o - | %FileCheck %s

protocolIntegerArithmetic{
staticfunc uncheckedSubtract(_ lhs:Self, rhs:Self)->(Self,Bool)
}

protocolRandomAccessIndex:IntegerArithmetic{
associatedtypeDistance:IntegerArithmetic
staticfunc uncheckedSubtract(_ lhs:Self, rhs:Self)->(Distance,Bool)
}

// archetype.ExistentialTuple <A : RandomAccessIndex, B>(x : A, y : A) -> B
// CHECK: !DISubprogram(name: "ExistentialTuple", linkageName: "$s9archetype16ExistentialTuple
// CHECK-SAME: line: [[@LINE+2]]
// CHECK-SAME: DISPFlagDefinition
func ExistentialTuple<T:RandomAccessIndex>(_ x:T, y:T)->T.Distance{
 // (B, Swift.Bool)
 // CHECK: !DILocalVariable(name: "tmp"
 // CHECK-SAME: line: [[@LINE+2]]
 // CHECK-SAME: type: ![[TT:[0-9]+]]
vartmp:(T.Distance,Bool)=T.uncheckedSubtract(x, rhs: y)
return_overflowChecked((tmp.0, tmp.1))
}
// CHECK: ![[TT]] = !DICompositeType(tag: DW_TAG_structure_type,
// CHECK-SAME: name: "$s8Distance9archetype17RandomAccessIndexPQz_SbtD"