mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
602e2e7f34
Previously, switches over extremely large integers (e.g. i832) were emitted when emitting switches with many spare bits. Such switches result in unfortunate downstream codegen. Here, for large enums (currently, more than two words) the preexisting EnumPayload::emitCompare function is used to compare each of the enum cases in turn with the payload's value. The result is a series of cond_br where the conditional is made by anding together word-size chunks of the payload value with word-size chunks of each enum case's tag, subject to masking. rdar://83158525
64 lines
1.3 KiB
Swift
64 lines
1.3 KiB
Swift
// RUN: %target-run-simple-swift | %FileCheck %s
|
|
// REQUIRES: executable_test
|
|
|
|
public struct SpareBits {
|
|
var o: UInt64 = 0
|
|
var x: UInt8 = 0
|
|
var y: UInt64 = 0
|
|
var x_2: UInt8 = 0
|
|
var y_2: UInt64 = 0
|
|
var x_3: UInt8 = 0
|
|
var y_3: UInt64 = 0
|
|
var x_4: UInt8 = 0
|
|
var y_4: UInt64 = 0
|
|
var x_5: UInt8 = 0
|
|
var y_5: UInt64 = 0
|
|
var x_6: UInt8 = 0
|
|
var y_6: UInt64 = 0
|
|
}
|
|
|
|
public class MyClass {}
|
|
|
|
public enum Multipayload {
|
|
case a
|
|
case b(MyClass)
|
|
case c(SpareBits)
|
|
case e
|
|
case f
|
|
case g
|
|
}
|
|
|
|
public func testIt(_ e : Multipayload) {
|
|
switch e {
|
|
case .a:
|
|
print(".a (no payload)")
|
|
case .e:
|
|
print(".e (no payload)")
|
|
case .f:
|
|
print(".f (no payload)")
|
|
case .g:
|
|
print(".g (no payload)")
|
|
case .b(let s):
|
|
print(".b(\(s))")
|
|
case .c(let x):
|
|
print(".c(\(x))")
|
|
}
|
|
}
|
|
|
|
func doit() {
|
|
testIt(Multipayload.a)
|
|
testIt(Multipayload.e)
|
|
testIt(Multipayload.f)
|
|
testIt(Multipayload.g)
|
|
testIt(Multipayload.b(MyClass()))
|
|
testIt(Multipayload.c(SpareBits()))
|
|
}
|
|
doit()
|
|
|
|
// CHECK: .a (no payload)
|
|
// CHECK: .e (no payload)
|
|
// CHECK: .f (no payload)
|
|
// CHECK: .g (no payload)
|
|
// CHECK: .b(main.MyClass)
|
|
// CHECK: .c(SpareBits(o: 0, x: 0, y: 0, x_2: 0, y_2: 0, x_3: 0, y_3: 0, x_4: 0, y_4: 0, x_5: 0, y_5: 0, x_6: 0, y_6: 0))
|