Generalize tests that already work for 32 bits

tbkka · tbkka · commit 2f27e065916c · 2023-04-06T13:27:06.000-07:00
diff --git a/validation-test/Reflection/Inputs/reflect_dependent_module.swift b/validation-test/Reflection/Inputs/reflect_dependent_module.swift
@@ -0,0 +1,2 @@
+import Swift
+
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic.swift
@@ -42,7 +42,8 @@ reflect(object: ClassWithEnumDepth0<S>())
 // CHECK-NEXT: (bound_generic_class reflect_Enum_MultiPayload_generic.ClassWithEnumDepth0
 // CHECK-NEXT:   (struct reflect_Enum_MultiPayload_generic.S))
 
-// X64: Type info:
+// CHECK: Type info:
+
 // X64-NEXT: (class_instance size=41 alignment=8 stride=48 num_extra_inhabitants=0 bitwise_takable=1
 // X64-NEXT:   (field name=e offset=16
 // X64-NEXT:     (single_payload_enum size=25 alignment=8 stride=32 num_extra_inhabitants=253 bitwise_takable=1
@@ -68,7 +69,6 @@ reflect(object: ClassWithEnumDepth0<S>())
 // X64-NEXT:                 (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=0 bitwise_takable=1))))))
 // X64-NEXT:       (case name=none index=1))))
 
-// X32: Type info:
 // X32-NEXT: (class_instance size=21 alignment=4 stride=24 num_extra_inhabitants=0 bitwise_takable=1
 // X32-NEXT:   (field name=e offset=8
 // X32-NEXT:     (single_payload_enum size=13 alignment=4 stride=16 num_extra_inhabitants=253 bitwise_takable=1
@@ -110,7 +110,8 @@ reflect(object: ClassWithEnumDepth1<S>())
 // CHECK-NEXT: (bound_generic_class reflect_Enum_MultiPayload_generic.ClassWithEnumDepth1
 // CHECK-NEXT:   (struct reflect_Enum_MultiPayload_generic.S))
 
-// X64: Type info:
+// CHECK: Type info:
+
 // X64-NEXT: (class_instance size=41 alignment=8 stride=48 num_extra_inhabitants=0 bitwise_takable=1
 // X64-NEXT:   (field name=e offset=16
 // X64-NEXT:     (single_payload_enum size=25 alignment=8 stride=32 num_extra_inhabitants=253 bitwise_takable=1
@@ -136,7 +137,6 @@ reflect(object: ClassWithEnumDepth1<S>())
 // X64-NEXT:                 (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=0 bitwise_takable=1))))))
 // X64-NEXT:       (case name=none index=1))))
 
-// X32: Type info:
 // X32-NEXT: (class_instance size=21 alignment=4 stride=24 num_extra_inhabitants=0 bitwise_takable=1
 // X32-NEXT:   (field name=e offset=8
 // X32-NEXT:     (single_payload_enum size=13 alignment=4 stride=16 num_extra_inhabitants=253 bitwise_takable=1
@@ -162,7 +162,6 @@ reflect(object: ClassWithEnumDepth1<S>())
 // X32-NEXT:                 (builtin size=4 alignment=4 stride=4 num_extra_inhabitants=0 bitwise_takable=1))))))
 // X32-NEXT:       (case name=none index=1))))
 
-
 doneReflecting()
 
 // CHECK: Done.
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic2.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic2.swift
@@ -20,58 +20,54 @@ case b(U)
 
 reflect(enum: SimplePayload1<ClassTypeA, Void>.a(ClassTypeA()))
 
-// X64: Reflecting an enum.
-// X64-NEXT: Instance pointer in child address space: 0x{{[0-9a-fA-F]+}}
-// X64-NEXT: Type reference:
-// X64-NEXT: (bound_generic_enum reflect_Enum_MultiPayload_generic2.SimplePayload1
-// X64-NEXT:   (class reflect_Enum_MultiPayload_generic2.ClassTypeA)
-// X64-NEXT:   (tuple))
+// CHECK: Reflecting an enum.
+// CHECK-NEXT: Instance pointer in child address space: 0x{{[0-9a-fA-F]+}}
+// CHECK-NEXT: Type reference:
+// CHECK-NEXT: (bound_generic_enum reflect_Enum_MultiPayload_generic2.SimplePayload1
+// CHECK-NEXT:   (class reflect_Enum_MultiPayload_generic2.ClassTypeA)
+// CHECK-NEXT:   (tuple))
 
 // MemoryLayout<SimplePayload1<ClassTypeA, Void>> gives 9,8,16
-// SimplePayload1 is a BoundGenericTypeRef
-// It's getting laid out as a tagged MPE, not as an SPE
-// (an SPE would use the XIs of the ptr) XXXXXX OR WOULD IT???  Hmmmmm....
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (multi_payload_enum size=9 alignment=8 stride=16 num_extra_inhabitants=254 bitwise_takable=1
 // X64-NEXT:   (case name=a index=0 offset=0
 // X64-NEXT:     (reference kind=strong refcounting=native))
 // X64-NEXT:   (case name=b index=1 offset=0
 // X64-NEXT:     (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1)))
-// X64-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic214SimplePayload1OyAA10ClassTypeACytG
-// X64-NEXT: Demangled name: reflect_Enum_MultiPayload_generic2.SimplePayload1<reflect_Enum_MultiPayload_generic2.ClassTypeA, ()>
 
-// X64: Enum value:
-// X64-NEXT: (enum_value name=a index=0
-// X64-NEXT: (class reflect_Enum_MultiPayload_generic2.ClassTypeA)
-// X64-NEXT: )
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic214SimplePayload1OyAA10ClassTypeACytG
+// CHECK-NEXT: Demangled name: reflect_Enum_MultiPayload_generic2.SimplePayload1<reflect_Enum_MultiPayload_generic2.ClassTypeA, ()>
+
+// CHECK: Enum value:
+// CHECK-NEXT: (enum_value name=a index=0
+// CHECK-NEXT: (class reflect_Enum_MultiPayload_generic2.ClassTypeA)
+// CHECK-NEXT: )
 
-// X32: FAIL
 
 reflect(enum: SimplePayload1<ClassTypeA, Void>.b(()))
 
-// X64: Reflecting an enum.
-// X64-NEXT: Instance pointer in child address space: 0x{{[0-9a-fA-F]+}}
-// X64-NEXT: Type reference:
-// X64-NEXT: (bound_generic_enum reflect_Enum_MultiPayload_generic2.SimplePayload1
-// X64-NEXT:   (class reflect_Enum_MultiPayload_generic2.ClassTypeA)
-// X64-NEXT:   (tuple))
+// CHECK: Reflecting an enum.
+// CHECK-NEXT: Instance pointer in child address space: 0x{{[0-9a-fA-F]+}}
+// CHECK-NEXT: Type reference:
+// CHECK-NEXT: (bound_generic_enum reflect_Enum_MultiPayload_generic2.SimplePayload1
+// CHECK-NEXT:   (class reflect_Enum_MultiPayload_generic2.ClassTypeA)
+// CHECK-NEXT:   (tuple))
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (multi_payload_enum size=9 alignment=8 stride=16 num_extra_inhabitants=254 bitwise_takable=1
 // X64-NEXT:   (case name=a index=0 offset=0
 // X64-NEXT:     (reference kind=strong refcounting=native))
 // X64-NEXT:   (case name=b index=1 offset=0
 // X64-NEXT:     (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1)))
-// X64-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic214SimplePayload1OyAA10ClassTypeACytG
-// X64-NEXT: Demangled name: reflect_Enum_MultiPayload_generic2.SimplePayload1<reflect_Enum_MultiPayload_generic2.ClassTypeA, ()>
 
-// X64: Enum value:
-// X64-NEXT: (enum_value name=b index=1
-// X64-NEXT: (tuple)
-// X64-NEXT: )
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic214SimplePayload1OyAA10ClassTypeACytG
+// CHECK-NEXT: Demangled name: reflect_Enum_MultiPayload_generic2.SimplePayload1<reflect_Enum_MultiPayload_generic2.ClassTypeA, ()>
 
-// X32: FAIL
+// CHECK: Enum value:
+// CHECK-NEXT: (enum_value name=b index=1
+// CHECK-NEXT: (tuple)
+// CHECK-NEXT: )
 
 doneReflecting()
 
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic3.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic3.swift
@@ -39,7 +39,7 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 //   MemoryLayout<StructWithEnumDepth0<Int>>.size => 10
 //   MemoryLayout<StructWithEnumDepth0<Int>?>.size => 11
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (single_payload_enum size=11 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
 // X64-NEXT:   (case name=some index=0 offset=0
 // X64-NEXT:     (struct size=10 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
@@ -55,10 +55,9 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 // X64-NEXT:                 (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1))))
 // X64-NEXT:           (case name=none index=1)))))
 // X64-NEXT:   (case name=none index=1))
-// X64-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic3010StructWithB6Depth0VySiGSg
-// X64-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic3.StructWithEnumDepth0<Swift.Int>>
 
-// X32: FAIL
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic3010StructWithB6Depth0VySiGSg
+// CHECK-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic3.StructWithEnumDepth0<Swift.Int>>
 
 // CHECK: Enum value:
 // CHECK-NEXT: (enum_value name=none index=1)
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic4.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic4.swift
@@ -37,7 +37,7 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 // MemoryLayout<> on ARM64 macOS gives 9,8,16 as the sizes of both SWED0<Int>? and SWED0<Int>.E
 // from that, we can infer that SWED0<Int>.E must have a non-zero number of extra inhabitants
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (single_payload_enum size=9 alignment=8 stride=16 num_extra_inhabitants=252 bitwise_takable=1
 // X64-NEXT:   (case name=some index=0 offset=0
 // X64-NEXT:     (struct size=9 alignment=8 stride=16 num_extra_inhabitants=253 bitwise_takable=1
@@ -55,10 +55,9 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 // X64-NEXT:                     (builtin size=8 alignment=8 stride=8 num_extra_inhabitants=0 bitwise_takable=1))))))
 // X64-NEXT:           (case name=none index=1)))))
 // X64-NEXT:   (case name=none index=1))
-// X64-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic4010StructWithB6Depth0VySiGSg
-// X64-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic4.StructWithEnumDepth0<Swift.Int>>
 
-// X32: FAIL
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic4010StructWithB6Depth0VySiGSg
+// CHECK-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic4.StructWithEnumDepth0<Swift.Int>>
 
 // CHECK: Enum value:
 // CHECK-NEXT: (enum_value name=none index=1)
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic5.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic5.swift
@@ -34,7 +34,7 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 //   MemoryLayout<StructWithEnumDepth0<Int>>.size => 10
 //   MemoryLayout<StructWithEnumDepth0<Int>?>.size => 11
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (single_payload_enum size=11 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
 // X64-NEXT:   (case name=some index=0 offset=0
 // X64-NEXT:     (struct size=10 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
@@ -50,10 +50,9 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 // X64-NEXT:                 (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1))))
 // X64-NEXT:           (case name=none index=1)))))
 // X64-NEXT:   (case name=none index=1))
-// X64-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic5010StructWithB6Depth0VySiGSg
-// X64-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic5.StructWithEnumDepth0<Swift.Int>>
 
-// X32: FAIL
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic5010StructWithB6Depth0VySiGSg
+// CHECK-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic5.StructWithEnumDepth0<Swift.Int>>
 
 // CHECK: Enum value:
 // CHECK-NEXT: (enum_value name=none index=1)
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic6.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic6.swift
@@ -42,7 +42,7 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 // The TR for E is not a BoundGenericTypeRef
 // The compiler is not providing a BuiltinTypeInfo
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (single_payload_enum size=11 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
 // X64-NEXT:   (case name=some index=0 offset=0
 // X64-NEXT:     (struct size=10 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
@@ -64,10 +64,9 @@ reflect(enum: StructWithEnumDepth0<Int>?.none)
 // X64-NEXT:                 (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1))))
 // X64-NEXT:           (case name=none index=1)))))
 // X64-NEXT:   (case name=none index=1))
-// X64-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic6010StructWithB6Depth0VySiGSg
-// X64-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic6.StructWithEnumDepth0<Swift.Int>>
 
-// X32: FAIL
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic6010StructWithB6Depth0VySiGSg
+// CHECK-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic6.StructWithEnumDepth0<Swift.Int>>
 
 // CHECK: Enum value:
 // CHECK-NEXT: (enum_value name=none index=1)
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic7.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic7.swift
@@ -41,9 +41,7 @@ reflect(enum: A<Int>.a(7))
 // X64-NEXT:   (case name=c index=2 offset=0
 // X64-NEXT:     (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1)))
 
-// X32: FAIL
-
-// CHECK-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic71AOySiG
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic71AOySiG
 // CHECK-NEXT: Demangled name: reflect_Enum_MultiPayload_generic7.A<Swift.Int>
 
 // CHECK: Enum value:
@@ -73,9 +71,7 @@ reflect(enum: A<Void>.a(()))
 // X64-NEXT:   (case name=c index=2 offset=0
 // X64-NEXT:     (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1)))
 
-// X32: FAIL
-
-// CHECK-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic71AOyytG
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic71AOyytG
 // CHECK-NEXT: Demangled name: reflect_Enum_MultiPayload_generic7.A<()>
 
 // CHECK: Enum value:
@@ -123,8 +119,6 @@ reflect(enum: B<Int>.a(1))
 // X64-NEXT:   (case name=c index=2 offset=0
 // X64-NEXT:     (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1)))
 
-// X32: FAIL
-
 // CHECK-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic71BOySiG
 // CHECK-NEXT: Demangled name: reflect_Enum_MultiPayload_generic7.B<Swift.Int>
 
@@ -154,6 +148,7 @@ reflect(enum: B<Int>.c(()))
 reflect(enum: B<Void>.a(8))
 
 // CHECK: Reflecting an enum.
+
 // CHECK: Type info:
 // X64-NEXT: (multi_payload_enum size=9 alignment=8 stride=16 num_extra_inhabitants=253 bitwise_takable=1
 // X64-NEXT:   (case name=a index=0 offset=0
@@ -165,8 +160,6 @@ reflect(enum: B<Void>.a(8))
 // X64-NEXT:   (case name=c index=2 offset=0
 // X64-NEXT:     (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1)))
 
-// X32: FAIL
-
 // CHECK-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic71BOyytG
 // CHECK-NEXT: Demangled name: reflect_Enum_MultiPayload_generic7.B<()>
 
diff --git a/validation-test/Reflection/reflect_Enum_MultiPayload_generic8.swift b/validation-test/Reflection/reflect_Enum_MultiPayload_generic8.swift
@@ -50,9 +50,7 @@ reflect(enum: A<Void>.a(S<Void>(t: ())) as A<Void>?)
 // X64-NEXT:         (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1))))
 // X64-NEXT:   (case name=none index=1))
 
-// X32: FAIL
-
-// CHECK-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic81AOyytGSg
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic81AOyytGSg
 // CHECK-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic8.A<()>>
 
 // CHECK: Enum value:
@@ -97,7 +95,7 @@ reflect(enum: B<Int>.a(S<Void>(t: ())) as B<Int>?)
 // CHECK-NEXT:   (bound_generic_enum reflect_Enum_MultiPayload_generic8.B
 // CHECK-NEXT:     (struct Swift.Int)))
 
-// X64: Type info:
+// CHECK: Type info:
 // X64-NEXT: (single_payload_enum size=10 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
 // X64-NEXT:   (case name=some index=0 offset=0
 // X64-NEXT:     (multi_payload_enum size=9 alignment=8 stride=16 num_extra_inhabitants=0 bitwise_takable=1
@@ -115,9 +113,7 @@ reflect(enum: B<Int>.a(S<Void>(t: ())) as B<Int>?)
 // X64-NEXT:         (tuple size=0 alignment=1 stride=1 num_extra_inhabitants=0 bitwise_takable=1))))
 // X64-NEXT:   (case name=none index=1))
 
-// X32: FAIL
-
-// CHECK-NEXT: Mangled name: $s34reflect_Enum_MultiPayload_generic81BOySiGSg
+// CHECK: Mangled name: $s34reflect_Enum_MultiPayload_generic81BOySiGSg
 // CHECK-NEXT: Demangled name: Swift.Optional<reflect_Enum_MultiPayload_generic8.B<Swift.Int>>
 
 // CHECK: Enum value:
diff --git a/validation-test/Reflection/reflect_Enum_SinglePayload_generic1.swift b/validation-test/Reflection/reflect_Enum_SinglePayload_generic1.swift
@@ -33,7 +33,7 @@ reflect(enum: SimplePayload1<ClassTypeA>.b(ClassTypeA()))
 
 // CHECK: Type info:
 // X64-NEXT: (single_payload_enum size=8 alignment=8 stride=8 num_extra_inhabitants=2147483645 bitwise_takable=1
-// X32-NEXT: FAIL XXX TODO XXX
+// X32-NEXT: (single_payload_enum size=4 alignment=4 stride=4 num_extra_inhabitants={{[0-9]+}} bitwise_takable=1
 // CHECK-NEXT:   (case name=b index=0 offset=0
 // CHECK-NEXT:     (reference kind=strong refcounting=native))
 // CHECK-NEXT:   (case name=a index=1)
diff --git a/validation-test/Reflection/reflect_dependent.swift b/validation-test/Reflection/reflect_dependent.swift
@@ -0,0 +1,72 @@
+// RUN: %empty-directory(%t)
+// RUN: %target-build-swift-dylib(%t/%target-library-name(ReflectDependentModule)) -enable-library-evolution -module-name ReflectDependentModule -emit-module -emit-module-path %t/ReflectDependentModule.swiftmodule %S/Inputs/reflect_dependent_module.swift
+// RUN: %target-build-swift -I%t -L%t -lReflectDependentModule -lswiftSwiftReflectionTest -o %t/reflect_dependent %target-rpath(%t) %s
+// RUN: %target-codesign %t/reflect_dependent %t/%target-library-name(ReflectDependentModule)
+// RUN: %target-run %target-swift-reflection-test %t/reflect_dependent | tee /dev/stderr | %FileCheck %s --check-prefix=CHECK-%target-ptrsize
+
+// REQUIRES: reflection_test_support
+// REQUIRES: executable_test
+// UNSUPPORTED: use_os_stdlib
+
+
+// REQUIRES: executable_test
+
+import SwiftReflectionTest
+
+import ReflectDependentModule
+
+/*
+protocol P {
+  associatedtype D
+}
+
+class B<T>: P {
+  typealias D = T
+}
+
+class C<T: P>: P {
+  typealias D = T
+}
+
+class A<T: P> where T.D: P {
+  enum E {
+  case t(T)
+  case td(T.D)
+  case tdd(T.D.D)
+  case none
+  }
+  var b : E
+  init(b: T.D.D) { self.b = .tdd(b) }
+}
+
+var obj = A<C<B<Int>>>(b: 17)
+reflect(object: obj)
+*/
+
+
+protocol P {
+  associatedtype A
+}
+protocol Q {}
+
+enum C<T: P & Q> {
+case a(T.A)
+case b(Int)
+case c(String)
+case d
+case t(T)
+}
+
+struct S: P & Q {
+  typealias A = ()
+}
+
+
+reflect(enum: C<S>.b(7))
+
+
+doneReflecting()
+
+// CHECK-64: Done.
+
+// CHECK-32: Done.
