Skip to content

Commit 000e258

Browse files
rjmccallrjmccall
committed
[NFC] Remove over-specific use-def comments from test
1 parent b11af88 commit 000e258

File tree

1 file changed

+29
-29
lines changed

1 file changed

+29
-29
lines changed

‎test/Sema/package_resilience_bypass_exhaustive_switch.swift

Lines changed: 29 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -79,10 +79,10 @@ package func f(_ arg: PkgEnum) -> Int {
7979

8080
// CHECK: // f(_:)
8181
// CHECK-NEXT: sil @$s6Client1fySi5Utils7PkgEnumOF : $@convention(thin) (PkgEnum) -> Int {
82-
// CHECK-NEXT: // %0 "arg" // users: %2, %1
82+
// CHECK-NEXT: // %0 "arg"
8383
// CHECK-NEXT: bb0(%0 : $PkgEnum):
84-
// CHECK-NEXT: debug_value %0 : $PkgEnum, let, name "arg", argno 1 // id: %1
85-
// CHECK-NEXT: switch_enum %0 : $PkgEnum, case #PkgEnum.one!enumelt: bb1, case #PkgEnum.two!enumelt: bb2 // id: %2
84+
// CHECK-NEXT: debug_value %0 : $PkgEnum, let, name "arg", argno 1
85+
// CHECK-NEXT: switch_enum %0 : $PkgEnum, case #PkgEnum.one!enumelt: bb1, case #PkgEnum.two!enumelt: bb2
8686

8787
package func g1(_ arg: PkgEnumWithPublicCase) -> Int {
8888
switch arg { // no-warning
@@ -95,12 +95,12 @@ package func g1(_ arg: PkgEnumWithPublicCase) -> Int {
9595

9696
// CHECK: // g1(_:)
9797
// CHECK-NEXT: sil @$s6Client2g1ySi5Utils21PkgEnumWithPublicCaseOF : $@convention(thin) (@in_guaranteed PkgEnumWithPublicCase) -> Int {
98-
// CHECK-NEXT: // %0 "arg" // users: %3, %1
98+
// CHECK-NEXT: // %0 "arg"
9999
// CHECK-NEXT: bb0(%0 : $*PkgEnumWithPublicCase):
100-
// CHECK-NEXT: debug_value %0 : $*PkgEnumWithPublicCase, let, name "arg", argno 1, expr op_deref // id: %1
101-
// CHECK-NEXT: %2 = alloc_stack $PkgEnumWithPublicCase // users: %29, %9, %7, %4, %3
102-
// CHECK-NEXT: copy_addr %0 to [init] %2 : $*PkgEnumWithPublicCase // id: %3
103-
// CHECK-NEXT: switch_enum_addr %2 : $*PkgEnumWithPublicCase, case #PkgEnumWithPublicCase.one!enumelt: bb1, case #PkgEnumWithPublicCase.two!enumelt: bb2 // id: %4
100+
// CHECK-NEXT: debug_value %0 : $*PkgEnumWithPublicCase, let, name "arg", argno 1, expr op_deref
101+
// CHECK-NEXT: %2 = alloc_stack $PkgEnumWithPublicCase
102+
// CHECK-NEXT: copy_addr %0 to [init] %2 : $*PkgEnumWithPublicCase
103+
// CHECK-NEXT: switch_enum_addr %2 : $*PkgEnumWithPublicCase, case #PkgEnumWithPublicCase.one!enumelt: bb1, case #PkgEnumWithPublicCase.two!enumelt: bb2
104104

105105
package func g2(_ arg: PkgEnumWithExistentialCase) -> any StringProtocol {
106106
switch arg { // no-warning
@@ -113,13 +113,13 @@ package func g2(_ arg: PkgEnumWithExistentialCase) -> any StringProtocol {
113113

114114
// CHECK: // g2(_:)
115115
// CHECK-NEXT: sil @$s6Client2g2ySy_p5Utils26PkgEnumWithExistentialCaseOF : $@convention(thin) (@in_guaranteed PkgEnumWithExistentialCase) -> @out any StringProtocol {
116-
// CHECK-NEXT: // %0 "$return_value" // users: %20, %12
117-
// CHECK-NEXT: // %1 "arg" // users: %4, %2
116+
// CHECK-NEXT: // %0 "$return_value"
117+
// CHECK-NEXT: // %1 "arg"
118118
// CHECK-NEXT: bb0(%0 : $*any StringProtocol, %1 : $*PkgEnumWithExistentialCase):
119-
// CHECK-NEXT: debug_value %1 : $*PkgEnumWithExistentialCase, let, name "arg", argno 1, expr op_deref // id: %2
120-
// CHECK-NEXT: %3 = alloc_stack $PkgEnumWithExistentialCase // users: %23, %16, %14, %5, %4
121-
// CHECK-NEXT: copy_addr %1 to [init] %3 : $*PkgEnumWithExistentialCase // id: %4
122-
// CHECK-NEXT: switch_enum_addr %3 : $*PkgEnumWithExistentialCase, case #PkgEnumWithExistentialCase.one!enumelt: bb1, case #PkgEnumWithExistentialCase.two!enumelt: bb2 // id: %5
119+
// CHECK-NEXT: debug_value %1 : $*PkgEnumWithExistentialCase, let, name "arg", argno 1, expr op_deref
120+
// CHECK-NEXT: %3 = alloc_stack $PkgEnumWithExistentialCase
121+
// CHECK-NEXT: copy_addr %1 to [init] %3 : $*PkgEnumWithExistentialCase
122+
// CHECK-NEXT: switch_enum_addr %3 : $*PkgEnumWithExistentialCase, case #PkgEnumWithExistentialCase.one!enumelt: bb1, case #PkgEnumWithExistentialCase.two!enumelt: bb2
123123

124124

125125
@inlinable
@@ -134,13 +134,13 @@ package func h(_ arg: UfiPkgEnum) -> Int {
134134

135135
// CHECK: // h(_:)
136136
// CHECK-NEXT: sil @$s6Client1hySi5Utils10UfiPkgEnumOF : $@convention(thin) (@in_guaranteed UfiPkgEnum) -> Int {
137-
// CHECK-NEXT: // %0 "arg" // users: %3, %1
137+
// CHECK-NEXT: // %0 "arg"
138138
// CHECK-NEXT: bb0(%0 : $*UfiPkgEnum):
139-
// CHECK-NEXT: debug_value %0 : $*UfiPkgEnum, let, name "arg", argno 1, expr op_deref // id: %1
140-
// CHECK-NEXT: %2 = alloc_stack $UfiPkgEnum // users: %21, %10, %8, %5, %4, %3
141-
// CHECK-NEXT: copy_addr %0 to [init] %2 : $*UfiPkgEnum // id: %3
142-
// CHECK-NEXT: %4 = value_metatype $@thick UfiPkgEnum.Type, %2 : $*UfiPkgEnum // user: %24
143-
// CHECK-NEXT: switch_enum_addr %2 : $*UfiPkgEnum, case #UfiPkgEnum.one!enumelt: bb1, case #UfiPkgEnum.two!enumelt: bb2, default bb3 // id: %5
139+
// CHECK-NEXT: debug_value %0 : $*UfiPkgEnum, let, name "arg", argno 1, expr op_deref
140+
// CHECK-NEXT: %2 = alloc_stack $UfiPkgEnum
141+
// CHECK-NEXT: copy_addr %0 to [init] %2 : $*UfiPkgEnum
142+
// CHECK-NEXT: %4 = value_metatype $@thick UfiPkgEnum.Type, %2 : $*UfiPkgEnum
143+
// CHECK-NEXT: switch_enum_addr %2 : $*UfiPkgEnum, case #UfiPkgEnum.one!enumelt: bb1, case #UfiPkgEnum.two!enumelt: bb2, default bb3
144144

145145
public func k(_ arg: PublicEnum) -> Int {
146146
switch arg { // expected-warning {{switch covers known cases, but 'PublicEnum' may have additional unknown values}} {{none}} expected-note {{handle unknown values using "@unknown default"}}
@@ -152,13 +152,13 @@ public func k(_ arg: PublicEnum) -> Int {
152152
}
153153
// CHECK: // k(_:)
154154
// CHECK-NEXT: sil @$s6Client1kySi5Utils10PublicEnumOF : $@convention(thin) (@in_guaranteed PublicEnum) -> Int {
155-
// CHECK-NEXT: // %0 "arg" // users: %3, %1
155+
// CHECK-NEXT: // %0 "arg"
156156
// CHECK-NEXT: bb0(%0 : $*PublicEnum):
157-
// CHECK-NEXT: debug_value %0 : $*PublicEnum, let, name "arg", argno 1, expr op_deref // id: %1
158-
// CHECK-NEXT: %2 = alloc_stack $PublicEnum // users: %21, %10, %8, %5, %4, %3
159-
// CHECK-NEXT: copy_addr %0 to [init] %2 : $*PublicEnum // id: %3
160-
// CHECK-NEXT: %4 = value_metatype $@thick PublicEnum.Type, %2 : $*PublicEnum // user: %24
161-
// CHECK-NEXT: switch_enum_addr %2 : $*PublicEnum, case #PublicEnum.one!enumelt: bb1, case #PublicEnum.two!enumelt: bb2, default bb3 // id: %5
157+
// CHECK-NEXT: debug_value %0 : $*PublicEnum, let, name "arg", argno 1, expr op_deref
158+
// CHECK-NEXT: %2 = alloc_stack $PublicEnum
159+
// CHECK-NEXT: copy_addr %0 to [init] %2 : $*PublicEnum
160+
// CHECK-NEXT: %4 = value_metatype $@thick PublicEnum.Type, %2 : $*PublicEnum
161+
// CHECK-NEXT: switch_enum_addr %2 : $*PublicEnum, case #PublicEnum.one!enumelt: bb1, case #PublicEnum.two!enumelt: bb2, default bb3
162162

163163
public func m(_ arg: FrozenPublicEnum) -> Int {
164164
switch arg { // no-warning
@@ -171,9 +171,9 @@ public func m(_ arg: FrozenPublicEnum) -> Int {
171171

172172
// CHECK: // m(_:)
173173
// CHECK-NEXT: sil @$s6Client1mySi5Utils16FrozenPublicEnumOF : $@convention(thin) (FrozenPublicEnum) -> Int {
174-
// CHECK-NEXT: // %0 "arg" // users: %2, %1
174+
// CHECK-NEXT: // %0 "arg"
175175
// CHECK-NEXT: bb0(%0 : $FrozenPublicEnum):
176-
// CHECK-NEXT: debug_value %0 : $FrozenPublicEnum, let, name "arg", argno 1 // id: %1
177-
// CHECK-NEXT: switch_enum %0 : $FrozenPublicEnum, case #FrozenPublicEnum.one!enumelt: bb1, case #FrozenPublicEnum.two!enumelt: bb2 // id: %2
176+
// CHECK-NEXT: debug_value %0 : $FrozenPublicEnum, let, name "arg", argno 1
177+
// CHECK-NEXT: switch_enum %0 : $FrozenPublicEnum, case #FrozenPublicEnum.one!enumelt: bb1, case #FrozenPublicEnum.two!enumelt: bb2
178178

179179

0 commit comments

Comments
 (0)