Files
swift-mirror/validation-test/compiler_crashers_fixed/0134-rdar35947198.swift
Hamish Knight 4e811c3a88 [test] Merge crasher directories
There is no longer much of a good reason to keep these separate,
merge them.
2025-10-18 12:51:30 +01:00

53 lines
1.3 KiB
Swift

// RUN: %target-swift-frontend %s -O -Xllvm -sil-print-types -emit-sil | %FileCheck %s
// CHECK-LABEL: sil shared [transparent] [thunk] @$sSf4main7NumProtA2aBP5valueSdyFTW : $@convention(witness_method: NumProt) (@in_guaranteed Float) -> Double
// CHECK-NOT: %1 = load %0 : $*Float
// CHECK-NOT: function_ref @$sSf4mainE5valueSdyF : $@convention(method) (Float) -> Double
// CHECK: struct_element_addr %0 : $*Float, #Float._value
// CHECK: load %{{.*}} : $*Builtin.FPIEEE32
// CHECK: builtin "fpext_FPIEEE32_FPIEEE64"(%{{.*}} : $Builtin.FPIEEE32) : $Builtin.FPIEEE64
// CHECK: struct $Double (%{{.*}} : $Builtin.FPIEEE64)
// CHECK: return
public protocol NumProt: Prot {
func value() -> Double
}
extension Float: NumProt {
public func value() -> Double {
return Double(self)
}
}
public protocol Prot: CustomStringConvertible {
func getOp() -> Op
}
extension Prot {
public func getOp() -> Op {
return Op("\(self) ")
}
}
public protocol CompProt: Prot {}
open class Op: CompProt {
fileprivate var valueText = ""
open var description: String {
return "42"
}
open func getOp() -> Op {
return self
}
public init(_ value: Double) {
self.valueText = "\(value)"
}
public init(_ operationString: String) {
self.valueText = operationString
}
}