averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
constraintResolutionFix
swift-mirror/test/decl/enum/derived_hashable_equatable.swift
Tony Allevato 4902e69ee1 Merge pull request #76331 from allevato/ast-printer-fixes 
[ASTPrinter] Fix missing operators in synthesized `==` impls printed by `-print-ast`.
2024-11-12 07:46:32 -05:00

224 lines
7.3 KiB
Swift
Raw Permalink Blame History

// RUN: %target-swift-frontend -print-ast %s | %FileCheck %s
// CHECK-LABEL: internal enum Simple : Hashable
enum Simple: Hashable {
// CHECK: case a
case a
// CHECK: case b
case b
// CHECK: @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: Simple, _ b: Simple) -> Bool {
// CHECK-NEXT: var index_a: Int
// CHECK-NEXT: switch a {
// CHECK-NEXT: case .a:
// CHECK-NEXT: index_a = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: index_a = 1
// CHECK-NEXT: }
// CHECK-NEXT: var index_b: Int
// CHECK-NEXT: switch b {
// CHECK-NEXT: case .a:
// CHECK-NEXT: index_b = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: index_b = 1
// CHECK-NEXT: }
// CHECK-NEXT: return index_a == index_b
// CHECK-NEXT: }
// CHECK: internal func hash(into hasher: inout Hasher) {
// CHECK-NEXT: var discriminator: Int
// CHECK-NEXT: switch self {
// CHECK-NEXT: case .a:
// CHECK-NEXT: discriminator = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: discriminator = 1
// CHECK-NEXT: }
// CHECK-NEXT: hasher.combine(discriminator)
// CHECK-NEXT: }
// CHECK: internal var hashValue: Int {
// CHECK-NEXT: get {
// CHECK-NEXT: return _hashValue(for: self)
// CHECK-NEXT: }
// CHECK-NEXT: }
}
// CHECK-LABEL: internal enum HasAssociatedValues : Hashable
enum HasAssociatedValues: Hashable {
// CHECK: case a(Int)
case a(Int)
// CHECK: case b(String)
case b(String)
// CHECK: case c
case c
// CHECK: @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: HasAssociatedValues, _ b: HasAssociatedValues) -> Bool {
// CHECK-NEXT: switch (a, b) {
// CHECK-NEXT: case (.a(let l0), .a(let r0)):
// CHECK-NEXT: guard l0 == r0 else {
// CHECK-NEXT: return false
// CHECK-NEXT: }
// CHECK-NEXT: return true
// CHECK-NEXT: case (.b(let l0), .b(let r0)):
// CHECK-NEXT: guard l0 == r0 else {
// CHECK-NEXT: return false
// CHECK-NEXT: }
// CHECK-NEXT: return true
// CHECK-NEXT: case (.c, .c):
// CHECK-NEXT: return true
// CHECK-NEXT: default:
// CHECK-NEXT: return false
// CHECK-NEXT: }
// CHECK-NEXT: }
// CHECK: internal func hash(into hasher: inout Hasher) {
// CHECK-NEXT: switch self {
// CHECK-NEXT: case .a(let a0):
// CHECK-NEXT: hasher.combine(0)
// CHECK-NEXT: hasher.combine(a0)
// CHECK-NEXT: case .b(let a0):
// CHECK-NEXT: hasher.combine(1)
// CHECK-NEXT: hasher.combine(a0)
// CHECK-NEXT: case .c:
// CHECK-NEXT: hasher.combine(2)
// CHECK-NEXT: }
// CHECK-NEXT: }
// CHECK: internal var hashValue: Int {
// CHECK-NEXT: get {
// CHECK-NEXT: return _hashValue(for: self)
// CHECK-NEXT: }
// CHECK-NEXT: }
}
// CHECK-LABEL: internal enum HasUnavailableElement : Hashable
enum HasUnavailableElement: Hashable {
// CHECK: case a
case a
// CHECK: @available(*, unavailable)
// CHECK-NEXT: case b
@available(*, unavailable)
case b
// CHECK: @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: HasUnavailableElement, _ b: HasUnavailableElement) -> Bool {
// CHECK-NEXT: var index_a: Int
// CHECK-NEXT: switch a {
// CHECK-NEXT: case .a:
// CHECK-NEXT: index_a = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}()
// CHECK-NEXT: }
// CHECK-NEXT: var index_b: Int
// CHECK-NEXT: switch b {
// CHECK-NEXT: case .a:
// CHECK-NEXT: index_b = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}()
// CHECK-NEXT: }
// CHECK-NEXT: return index_a == index_b
// CHECK-NEXT: }
// CHECK: internal func hash(into hasher: inout Hasher) {
// CHECK-NEXT: var discriminator: Int
// CHECK-NEXT: switch self {
// CHECK-NEXT: case .a:
// CHECK-NEXT: discriminator = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}()
// CHECK-NEXT: }
// CHECK-NEXT: hasher.combine(discriminator)
// CHECK-NEXT: }
// CHECK: internal var hashValue: Int {
// CHECK-NEXT: get {
// CHECK-NEXT: return _hashValue(for: self)
// CHECK-NEXT: }
// CHECK-NEXT: }
}
// CHECK-LABEL: internal enum HasAssociatedValuesAndUnavailableElement : Hashable
enum HasAssociatedValuesAndUnavailableElement: Hashable {
// CHECK: case a(Int)
case a(Int)
// CHECK: @available(*, unavailable)
// CHECK-NEXT: case b(String)
@available(*, unavailable)
case b(String)
// CHECK: @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: HasAssociatedValuesAndUnavailableElement, _ b: HasAssociatedValuesAndUnavailableElement) -> Bool {
// CHECK-NEXT: switch (a, b) {
// CHECK-NEXT: case (.a(let l0), .a(let r0)):
// CHECK-NEXT: guard l0 == r0 else {
// CHECK-NEXT: return false
// CHECK-NEXT: }
// CHECK-NEXT: return true
// CHECK-NEXT: case (.b, .b):
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}()
// CHECK-NEXT: default:
// CHECK-NEXT: return false
// CHECK-NEXT: }
// CHECK-NEXT: }
// CHECK: internal func hash(into hasher: inout Hasher) {
// CHECK-NEXT: switch self {
// CHECK-NEXT: case .a(let a0):
// CHECK-NEXT: hasher.combine(0)
// CHECK-NEXT: hasher.combine(a0)
// CHECK-NEXT: case .b:
// CHECK-NEXT: _diagnoseUnavailableCodeReached{{.*}}()
// CHECK-NEXT: }
// CHECK-NEXT: }
// CHECK: internal var hashValue: Int {
// CHECK-NEXT: get {
// CHECK-NEXT: return _hashValue(for: self)
// CHECK-NEXT: }
// CHECK-NEXT: }
}
// CHECK-LABEL: internal enum UnavailableEnum : Hashable
@available(*, unavailable)
enum UnavailableEnum: Hashable {
// CHECK: case a
case a
// CHECK: case b
case b
// CHECK: @_implements(Equatable, ==(_:_:)) internal static func __derived_enum_equals(_ a: UnavailableEnum, _ b: UnavailableEnum) -> Bool {
// CHECK-NEXT: var index_a: Int
// CHECK-NEXT: switch a {
// CHECK-NEXT: case .a:
// CHECK-NEXT: index_a = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: index_a = 1
// CHECK-NEXT: }
// CHECK-NEXT: var index_b: Int
// CHECK-NEXT: switch b {
// CHECK-NEXT: case .a:
// CHECK-NEXT: index_b = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: index_b = 1
// CHECK-NEXT: }
// CHECK-NEXT: return index_a == index_b
// CHECK-NEXT: }
// CHECK: internal func hash(into hasher: inout Hasher) {
// CHECK-NEXT: var discriminator: Int
// CHECK-NEXT: switch self {
// CHECK-NEXT: case .a:
// CHECK-NEXT: discriminator = 0
// CHECK-NEXT: case .b:
// CHECK-NEXT: discriminator = 1
// CHECK-NEXT: }
// CHECK-NEXT: hasher.combine(discriminator)
// CHECK-NEXT: }
// CHECK: internal var hashValue: Int {
// CHECK-NEXT: get {
// CHECK-NEXT: return _hashValue(for: self)
// CHECK-NEXT: }
// CHECK-NEXT: }
}
Reference in New Issue View Git Blame Copy Permalink