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-emit-silgen(mock-sdk: %clang-importer-sdk) -Xllvm -sil-print-types %s | %FileCheck %s
|
|
|
|
// REQUIRES: objc_interop
|
|
|
|
import Foundation
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s11switch_objc13matchesEither5input1a1bSbSo4HiveC_A2GtF :
|
|
func matchesEither(input: Hive, a: Hive, b: Hive) -> Bool {
|
|
switch input {
|
|
// CHECK: function_ref @$s10ObjectiveC2teoiySbSo8NSObjectC_ADtF
|
|
// CHECK: cond_br {{%.*}}, [[YES_CASE1:bb[0-9]+]], [[NOT_CASE1:bb[0-9]+]]
|
|
// CHECK: [[YES_CASE1]]:
|
|
// CHECK: br [[RET_TRUE:bb[0-9]+]]
|
|
// CHECK: [[NOT_CASE1]]:
|
|
// CHECK: function_ref @$s10ObjectiveC2teoiySbSo8NSObjectC_ADtF
|
|
// CHECK: cond_br {{%.*}}, [[YES_CASE2:bb[0-9]+]], [[NOT_CASE2:bb[0-9]+]]
|
|
// CHECK: [[YES_CASE2]]:
|
|
case a, b:
|
|
// CHECK: function_ref @$sSb2{{[_0-9a-zA-Z]*}}fC
|
|
return true
|
|
|
|
// CHECK: [[NOT_CASE2]]:
|
|
default:
|
|
// CHECK: function_ref @$sSb2{{[_0-9a-zA-Z]*}}fC
|
|
return false
|
|
}
|
|
}
|
|
|
|
@objc enum ObjCEnum : UInt8 {
|
|
case first
|
|
case second
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s11switch_objc44checkObjCEnumUnhandledCaseDiagnosticEmission1xyAA0dE0O_tF : $@convention(thin) (ObjCEnum) -> () {
|
|
// CHECK: bb0([[ARG:%.*]] :
|
|
// CHECK: [[METATYPE:%.*]] = metatype $@thick ObjCEnum.Type
|
|
// CHECK: [[ARG_INT_REPR:%.*]] = unchecked_trivial_bit_cast [[ARG]]
|
|
// CHECK: switch_enum [[ARG]] : $ObjCEnum, {{.*}}, default [[DEFAULT_BB:bb[0-9]+]]
|
|
//
|
|
// CHECK: [[DEFAULT_BB]](
|
|
// CHECK: [[STACK_SLOT:%.*]] = alloc_stack $UInt8
|
|
// CHECK: store [[ARG_INT_REPR]] to [trivial] [[STACK_SLOT]]
|
|
// CHECK: [[DIAGNOSE_FUNC:%.*]] = function_ref @$ss32_diagnoseUnexpectedEnumCaseValue4type03rawE0s5NeverOxm_q_tr0_lF : $@convention(thin) <τ_0_0, τ_0_1> (@thick τ_0_0.Type, @in_guaranteed τ_0_1) -> Never
|
|
// CHECK: apply [[DIAGNOSE_FUNC]]<ObjCEnum, UInt8>([[METATYPE]], [[STACK_SLOT]])
|
|
// CHECK: unreachable
|
|
// CHECK: } // end sil function '$s11switch_objc44checkObjCEnumUnhandledCaseDiagnosticEmission1xyAA0dE0O_tF'
|
|
func checkObjCEnumUnhandledCaseDiagnosticEmission(x: ObjCEnum) {
|
|
switch x {
|
|
case .first:
|
|
break
|
|
case .second:
|
|
break
|
|
}
|
|
}
|